Description Logics

Franz BaaderFranz Baader, Ian HorrocksIan Horrocks, Ulrike SattlerUlrike Sattler

Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics
In S. Staab and R. Studer, eds., Handbook on Ontologies, International Handbooks in Information Systems, 3-28. Springer, 2004

Details
Bibtex

KurzfassungAbstract
In this chapter, we explain what description logics are and why they make good ontology languages. In particular, we introduce the description logic SHIQ, which has formed the basis of several well-known ontology languages, including OWL.We argue that, without the last decade of basic research in description logics, this family of knowledge representation languages could not have played such an important role in this context. Description logic reasoning can be used both during the design phase, in order to improve the quality of ontologies, and in the deployment phase, in order to exploit the rich structure of ontologies and ontology based information. We discuss the extensions to SHIQ that are required for languages such as OWL and, finally, we sketch how novel reasoning services can support building DL knowledge bases.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@incollection{ BaHoSaOntologyHB,
  address = {Berlin, Germany},
  author = {F. {Baader} and I. {Horrocks} and U. {Sattler}},
  booktitle = {Handbook on Ontologies},
  editor = {S. {Staab} and R. {Studer}},
  pages = {3--28},
  publisher = {Springer--Verlag},
  series = {International Handbooks in Information Systems},
  title = {Description Logics},
  year = {2004},
}