Description Logics

Franz BaaderFranz Baader, Ian HorrocksIan Horrocks, Ulrike SattlerUlrike Sattler

Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics
In Frank van Harmelen and Vladimir Lifschitz and Bruce Porter, eds., Handbook of Knowledge Representation, 135-179. Elsevier, 2007

Details
Bibtex

KurzfassungAbstract
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an application domain in a structured way. We will first review their provenance and history, and show how the field has developed. We will then introduce the basic description logic ALC in some detail, including definitions of syntax, semantics and basic reasoning services, and describe important extensions such as inverse roles, number restrictions, and concrete domains. Next, we will discuss the relationship between description logics and other formalisms, in particular first order and modal logics; the most commonly used reasoning techniques, in particular tableaux, resolution and automata based techniques; and the computational complexity of basic reasoning problems. After reviewing some of the most prominent applications of description logics, in particular ontology language applications, we will conclude with an overview of other aspects of description logic research, and with pointers to the relevant literature.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@incollection{ BaHS07,
  author = {F. {Baader} and I. {Horrocks} and U. {Sattler}},
  booktitle = {Handbook of Knowledge Representation},
  editor = {Frank van {Harmelen} and Vladimir {Lifschitz} and Bruce {Porter}},
  pages = {135--179},
  publisher = {Elsevier},
  title = {Description Logics},
  year = {2007},
}