Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Attributive concept descriptions with complements
Artificial Intelligence
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
First-order logic and automated theorem proving (2nd ed.)
First-order logic and automated theorem proving (2nd ed.)
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
A Framework for Representing Knowledge
A Framework for Representing Knowledge
Complexity of the Two-Variable Fragment with Counting Quantifiers
Journal of Logic, Language and Information
Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning)
Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning)
The Description Logic Handbook
The Description Logic Handbook
The foundational model of anatomy in OWL: Experience and perspectives
Web Semantics: Science, Services and Agents on the World Wide Web
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
A Resolution-Based Decision Procedure for $\boldsymbol{\mathcal{SHOIQ}}$
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
Handbook of Knowledge Representation
Handbook of Knowledge Representation
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization
Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization
Logic for Computer Scientists
Terminological reasoning in SHIQ with ordered binary decision diagrams
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Conjunctive query answering for the description logic SHIQ
Journal of Artificial Intelligence Research
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Foundations of Semantic Web Technologies
Foundations of Semantic Web Technologies
Handbook on Ontologies
Regular path queries in expressive description logics with nominals
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Consequence-driven reasoning for horn SHIQ ontologies
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Exploiting Partial Information in Taxonomy Construction
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research
DL-Learner: Learning Concepts in Description Logics
The Journal of Machine Learning Research
Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!
Journal of Artificial Intelligence Research
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
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Consequence-based reasoning beyond horn ontologies
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Scalable OWL 2 reasoning for linked data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Advocatus diaboli --- exploratory enrichment of ontologies with negative constraints
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
RDFS and OWL reasoning for linked data
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Hi-index | 0.00 |
This chapter accompanies the foundational lecture onDescription Logics (DLs) at the 7th Reasoning Web Summer School in Galway, Ireland, 2011. It introduces basic notions and facts about this family of logics which has significantly gained in importance over the recent years as these logics constitute the formal basis for today's most expressive ontology languages, the OWL (Web Ontology Language) family. We start out from some general remarks and examples demonstrating the modeling capabilities of description logics as well as their relation to first-order predicate logic. Then we begin our formal treatment by introducing the syntax of DL knowledge bases which comes in three parts: RBox, TBox and ABox. Thereafter, we provide the corresponding standard model-theoretic semantics and give a glimpse of the alternative way of defining the semantics via an embedding into first-order logic with equality. We continue with an overview of the naming conventions for DLs before we delve into considerations about different notions of semantic alikeness (concept and knowledge base equivalence as well as emulation). These are crucial for investigating the expressivity of DLs and performing normalization. We move on by reviewing knowledge representation capabilities brought about by different DL features and their combinations as well as some model-theoretic properties associated thereto. Subsequently, we consider typical reasoning tasks occurring in the context of DL knowledge bases. We show how some of these tasks can be reduced to each other, and have a look at different algorithmic approaches to realize automated reasoning in DLs. Finally, we establish connections between DLs and OWL. We show how DL knowledge bases can be expressed in OWL and, conversely, how OWL modeling features can be translated into DLs. In our considerations, we focus on the description logic SROIQ which underlies the most recent and most expressive yet decidable version of OWL called OWL 2 DL. We concentrate on the logical aspects and omit data types as well as extralogical features from our treatise. Examples and exercises are provided throughout the chapter.