The KREME knowledge editing environment
International Journal of Man-Machine Studies - Special Issue: Knowledge Acquisition for Knowledge-based Systems. Part 4
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Using Polymorphism to Improve Expert System Maintainability
IEEE Expert: Intelligent Systems and Their Applications
Configuration as a Consistency Maintenance Task
Künstliche Intelligenz, GWAI-88, 12. Jahrestagung
A storage system for scalable knowledge representation
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Integrating Multiple Paradigms within the Blackboard Framework
IEEE Transactions on Software Engineering
OKBC: a programmatic foundation for knowledge base interoperability
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Explanation Over Inference Hierarchies in Active Mediation Applications
Applied Intelligence
IEEE Expert: Intelligent Systems and Their Applications
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
The description logic handbook
Indexing and exploiting a discourse history to generate context-sensitive explanations
HLT '93 Proceedings of the workshop on Human Language Technology
Recognition algorithms for the loom classifier
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Hi-index | 0.01 |
A specialized technology for reasoning with descriptions that extends the class of useful inferences beyond simple inheritance has been developed as part of the Strategic Computing Initiative of the US Dept. of Defense's Defense Advanced Research Projects Agency. Loom and the Knowledge Representation Editing and Modeling Environment (KREME), which capture this technology in the form of an inference engine, called a classifier, are described. These systems share the notion that the ability to define and reason with descriptions is basic to the task of knowledge representation. Loom supports a description language (the frame component) and a rule language, and uses its classifier to help bridge the gap between the two. The classifier gives Loom the additional deductive power to provide inference capabilities not found in current knowledge-representation tools. KREME, a knowledge acquisition and editing tool, uses a classifier to help knowledge engineers maintain consistency while developing knowledge bases. One of KREME's functions is to bring both actual and potential conflicts to developers' attention. KREME can also help merge separately developed knowledge bases. Description unification is compared with Prolog-style unification, and the benefits of description technology are examined.