"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality

From Tetherless World Wiki

Jump to: navigation, search

Citation: Ronald J. Brachman and Alexander Borgida and Deborah L. McGuinness and Peter F. Patel-Schneider. (1999) "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. In KSL-99-12, October,1999.

Publication techreport ( Edit )
type Technical Report
bibtype techreport
Bibtex basics
author Ronald J. Brachman and Alexander Borgida and Deborah L. McGuinness and Peter F. Patel-Schneider
title "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality
number KSL-99-12
institution Artificial Intelligence 114 (1-2)
year 1999
month October
Bibtex more
Access Paper
abstract Most recent key developments in research on knowledge representation (KR) have been of the more theoretical sort, involving worst-case complexity results, solutions to technical challenge problems, etc. While some of this work has influenced practice in Artificial Intelligence, it is rarely if ever made clear what is compromised when the transition is made from relatively abstract theory to the real world. CLASSIC is a description logic with an ancestry of extensive theoretical work (tracing back over twenty years to KL-ONE), and several novel contributions to KR theory. Basic research on CLASSIC paved the way for an implementation that has been used significantly in practice, including by users not versed in KR theory. In moving from a pure logic to a practical tool, many compromises and changes of perspective were necessary. We report on this transition and articulate some of the profound influences practice can have on relatively idealistic theoretical work. We have found that CLASSIC has been quite useful in practice, yet still strongly retains most of its original spirit, but much of our thinking and many details had to change along the way.

KSL Technical Report ID: KSL-99-12
Facts about "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets RealityRDF feed
Abstract Most recent key developments in research o … Most recent key developments in research on knowledge representation (KR) have been of the more theoretical sort, involving worst-case complexity results, solutions to technical challenge problems, etc. While some of this work has influenced practice in Artificial Intelligence, it is rarely if ever made clear what is compromised when the transition is made from relatively abstract theory to the real world. CLASSIC is a description logic with an ancestry of extensive theoretical work (tracing back over twenty years to KL-ONE), and several novel contributions to KR theory. Basic research on CLASSIC paved the way for an implementation that has been used significantly in practice, including by users not versed in KR theory. In moving from a pure logic to a practical tool, many compromises and changes of perspective were necessary. We report on this transition and articulate some of the profound influences practice can have on relatively idealistic theoretical work. We have found that CLASSIC has been quite useful in practice, yet still strongly retains most of its original spirit, but much of our thinking and many details had to change along the way. many details had to change along the way.
Author Ronald J. Brachman and Alexander Borgida and Deborah L. McGuinness and Peter F. Patel-Schneider  +
Bibtype techreport  +
Has author Ronald J. Brachman and Alexander Borgida and Deborah L. McGuinness and Peter F. Patel-Schneider  +
Has identifier KSL-99-12  +
Has publishing details October,1999  +
Has title "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality  +
Has where published KSL-99-12  +
Has year 1999  +
Institution Artificial Intelligence 114 (1-2)  +
Ksl tr id KSL-99-12  +
Month October  +
Number KSL-99-12  +
Process note NO  +
Title "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality  +
Year 1999  +
Retrieved from "http://tw.rpi.edu/wiki/%22Reducing%22_CLASSIC_to_Practice:_Knowledge_Representation_Theory_Meets_Reality"
Personal tools