Computational complexity of terminological reasoning in BACK
Artificial Intelligence
Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 1)
Readings in Knowledge Representation
Readings in Knowledge Representation
OilEd: A Reason-able Ontology Editor for the Semantic Web
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
The evolution of Protégé: an environment for knowledge-based systems development
International Journal of Human-Computer Studies
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
An introduction to description logics
The description logic handbook
The description logic handbook
The description logic handbook
Relationships with other formalisms
The description logic handbook
The description logic handbook
The description logic handbook
The description logic handbook
Description logics for databases
The description logic handbook
Appendix: description logic terminology
The description logic handbook
A Framework for Representing Knowledge
A Framework for Representing Knowledge
A reference ontology for biomedical informatics: the foundational model of anatomy
Journal of Biomedical Informatics - Special issue: Unified medical language system
WWW '05 Proceedings of the 14th international conference on World Wide Web
NCI Thesaurus: A semantic model integrating cancer-related clinical and molecular information
Journal of Biomedical Informatics
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
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Journal of Automated Reasoning
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
Mathematical Logic for Life Science Ontologies
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Reasoning Web. Semantic Technologies for Information Systems
Ontologies and Databases: The DL-Lite Approach
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
Modular reuse of ontologies: theory and practice
Journal of Artificial Intelligence Research
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
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
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
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Description logic reasoning for semantic web ontologies
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
A little semantic web goes a long way in biology
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
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
The logical difference for the lightweight description logic EL
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
Description Logics (DLs) are the logical formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for many powerful reasoning services. This paper provides an overview of basic topics in the field of Description Logics by surveying the introductory literature and course material with a focus on DL reasoning services. The resulting compilation also gives a historical perspective on DLs as a research area.