Computational complexity of terminological reasoning in BACK
Artificial Intelligence
A four-valued semantics for terminological logics
Artificial Intelligence
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
Subsumption in KL-ONE is undecidable
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems
GWAI '90 Proceedings of the 14th German Workshop on Artificial Intelligence
A Resolution Principle for Clauses with Constraints
Proceedings of the 10th International Conference on Automated Deduction
On the relationship between description logic and predicate logic queries
CIKM '94 Proceedings of the third international conference on Information and knowledge management
A model of multimedia information retrieval
Journal of the ACM (JACM)
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Feasibility of Optimised Disjunctive Reasoning for Approximate Matching
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
The description logic handbook
Modeling a description logic vocabulary for cancer research
Journal of Biomedical Informatics
Deriving and Retrieving Contextual Categorical Information through Instance Inheritance
Fundamenta Informaticae
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
The equivalence of model-theoretic and structural subsumption in description logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Reasoning with concrete domains
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Abductive matchmaking using description logics
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
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
An empirical analysis of terminological representation systems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Semantic web reasoners and languages
Artificial Intelligence Review
A hybrid deliberative layer for robotic agents: fusing DL reasoning with HTN planning in autonomous robots
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
Computing utility from weighted description logic preference formulas
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Deriving and Retrieving Contextual Categorical Information through Instance Inheritance
Fundamenta Informaticae
Modal description logics: modalizing roles
Fundamenta Informaticae
On the Semantics of a Semantic Network
Fundamenta Informaticae
| Hi-index | 0.00 |
The knowledge representation system KL-ONE first appeared in 1977. Subsequently many systems based on the idea of KL-ONE have been built. The formal model-theoretic semantics which has been introduced for KL-ONE languages [9] provides means for investigating soundness and completeness of inference algorithms. It turned out that almost all implemented KL-ONE systems such as BACK, KL-TWO, LOOM, NIKL, SB-ONE use sound but incomplete algorithms.