Computational complexity of terminological reasoning in BACK
Artificial Intelligence
Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
Attributive concept descriptions with complements
Artificial Intelligence
The CLASSIC knowledge representation system: guiding principles and implementation rationale
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Handbook of logic in artificial intelligence and logic programming (vol. 1)
Modal logic
Readings in Knowledge Representation
Readings in Knowledge Representation
An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF
Annals of Mathematics and Artificial Intelligence
Reasoning with Expressive Description Logics: Theory and Practice
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Relationships with other formalisms
The description logic handbook
The description logic handbook
Appendix: description logic terminology
The description logic handbook
A Framework for Representing Knowledge
A Framework for Representing Knowledge
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
WWW '05 Proceedings of the 14th international conference on World Wide Web
Proof-Theoretic Approach to Description-Logic
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Optimizing Terminological Reasoning for Expressive Description Logics
Journal of Automated Reasoning
Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints
Journal of Automated Reasoning
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Journal of Automated Reasoning
Optimized Reasoning in Description Logics Using Hypertableaux
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Pinpointing in the Description Logic $\mathcal {EL}^+$
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
The Complexity of Conjunctive Query Answering in Expressive Description Logics
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Laconic and Precise Justifications in OWL
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Finding maximally satisfiable terminologies for the description logic ALC
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Reasoning Web. Semantic Technologies for Information Systems
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Journal of Artificial Intelligence Research
Modular reuse of ontologies: theory and practice
Journal of Artificial Intelligence Research
Computing least common subsumers in description logics with existential restrictions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
A logical framework for modularity of ontologies
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conjunctive query answering for the description logic SHIQ
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conservative extensions in expressive description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
High performance reasoning with very large knowledge bases: a practical case study
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Deciding inseparability and conservative extensions in the description logic EL
Journal of Symbolic Computation
A tableaux-based method for computing least common subsumers for expressive description logics
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Query answering in description logics with transitive roles
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Novel Architecture for Situation Awareness Systems
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Journal of Ambient Intelligence and Smart Environments
Debugging unsatisfiable classes in OWL ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Axiom Pinpointing in General Tableaux
Journal of Logic and Computation
Swoop: A Web Ontology Editing Browser
Web Semantics: Science, Services and Agents on the World Wide Web
Finding all justifications of OWL DL entailments
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
A comparison of reasoning techniques for querying large description logic ABoxes
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Repairing unsatisfiable concepts in OWL ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
CEL: a polynomial-time reasoner for life science ontologies
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Using semantic technologies to describe robotic embodiments
Proceedings of the 6th international conference on Human-robot interaction
Description logic reasoning for semantic web ontologies
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Introductions to description logics: a guided tour
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
| Hi-index | 0.01 |
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In this paper, we introduce the basic notions of DLs and the techniques that realize subsumption--the fundamental reasoning service of DL systems. We discuss two reasoning methods for this service: the tableau method for expressive DLs such as ALC and the completion method for the light-weight DL EL. We also present methods for generating explanations for computed subsumption relationships in these two DLs.