CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Configuration as a Consistency Maintenance Task
Künstliche Intelligenz, GWAI-88, 12. Jahrestagung
Translating description logics to information server queries
CIKM '93 Proceedings of the second international conference on Information and knowledge management
ON-LINE: an architecture for modelling legal information
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
The use of description logics in KBSE systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
The use of description logics in KBSE systems: experience report
ICSE '94 Proceedings of the 16th international conference on Software engineering
A model of multimedia information retrieval
Journal of the ACM (JACM)
Design of knowledge-based systems with the ontology-domain-system approach
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Automated Deduction Techniques for Classification in Description Logic Systems
Journal of Automated Reasoning
Describing Database Objects in a Concept Language Environment
IEEE Transactions on Knowledge and Data Engineering
Building and (Re)Using an Ontology of Air Campaign Planning
IEEE Intelligent Systems
DAML+OIL: An Ontology Language for the Semantic Web
IEEE Intelligent Systems
A Roadmap to Ontology Specification Languages
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Methodologies, tools and languages for building ontologies: where is their meeting point?
Data & Knowledge Engineering
The description logic handbook
Ontologies for corporate web applications
AI Magazine
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Modeling a description logic vocabulary for cancer research
Journal of Biomedical Informatics
Validation of terminological inference in an information extraction task
HLT '93 Proceedings of the workshop on Human Language Technology
web services customization: a composition-based approach
ICWE '06 Proceedings of the 6th international conference on Web engineering
Methods in biomedical ontology
Journal of Biomedical Informatics - Special issue: Biomedical ontologies
An approach to ontology-aided performance engineering through NFR framework
WOSP '07 Proceedings of the 6th international workshop on Software and performance
The Galois lattice as a hierarchical structure for topological relations
Annals of Mathematics and Artificial Intelligence
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
On Automated Testing of Description Logic Reasoners
ICDCIT '08 Proceedings of the 5th International Conference on Distributed Computing and Internet Technology
Towards Building a Knowledge Base for Research on Andean Weaving
BNCOD 26 Proceedings of the 26th British National Conference on Databases: Dataspace: The Final Frontier
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
Semantic inference in natural language: validating a tractable approach
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Looking at AlFresco from the standard reference model viewpoint
Computer Standards & Interfaces
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Reconciling description logics and rules
Journal of the ACM (JACM)
Part-whole reasoning in an object-centered framework
Part-whole reasoning in an object-centered framework
Non-standard inferences in description logics
Non-standard inferences in description logics
Logic-based knowledge representation
Artificial intelligence today
A linguistic ontology of space for natural language processing
Artificial Intelligence
An empirical analysis of terminological representation systems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Recognition algorithms for the loom classifier
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
An alternative proof method for possibilistic logicand its application to terminological logics
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
A DDL–Based software architecture model
ACSAC'06 Proceedings of the 11th Asia-Pacific conference on Advances in Computer Systems Architecture
A formal framework for reasoning on metadata based on CWM
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Hi-index | 0.01 |
This paper presents a symbol level account of some of the representation and reasoning structures within the LOOM knowledge representation system. Reasoning in LOOM centers around a classifier whose primary function is to construct a taxonomy of all descriptions that have been entered into the system. The LOOM classifier is unique in that it constructs a separate taxonomy for each of seven kinds of non-composite descriptions, and uses a marker passing algorithm to replace the quadratic time subsumption test found in most classifiers with a linear time test. We briefly illustrate how the selection of data structures within LOOM impacts the completeness of the classification algorithm, and we describe the LOOM option that allows concepts to be reasoned with in either a forward-chaining or a backward-chaining mode.