Type subsumption as a model of computation
Proceedings from the first international workshop on Expert database systems
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
Subsumption in KL-ONE is undecidable
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Reasoning with individuals in concept languages
Data & Knowledge Engineering
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
An Industrial Strength Description Logics-Based Configurator Platform
IEEE Intelligent Systems
IAAI '93 Proceedings of the The Fifth Conference on Innovative Applications of Artificial Intelligence
BACK to Consistency and Incompleteness
GWAI '85 Proceedings of the 9th German Workshop on Artificial Intelligence
Explaining reasoning in description logics
Explaining reasoning in description logics
Conceptual modelling for configuration: A description logic-based approach
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A description logic-based configurator on the web
ACM SIGART Bulletin
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
Extensible knowledge representation: the case of description reasoners
Journal of Artificial Intelligence Research
Explaining subsumption in description logics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Description logic in practice: a CLASSIC application
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
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.