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 rôle 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 ontologies.
%0 Book Section
%1 BaaderHorrocksSattler09p21
%A Baader, Franz
%A Horrocks, Ian
%A Sattler, Ulrike
%B Handbook on Ontologies
%C Dordrecht
%D 2009
%E Staab, Steffen
%E Studer, Rudi
%I Springer
%K 01614 springer paper ai ontology logic knowledge processing
%P 21--43
%R 10.1007/978-3-540-92673-3_1
%T Description Logics
%X 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 rôle 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 ontologies.
%7 2
@incollection{BaaderHorrocksSattler09p21,
abstract = {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 rôle 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 ontologies.},
added-at = {2016-09-09T19:47:29.000+0200},
address = {Dordrecht},
author = {Baader, Franz and Horrocks, Ian and Sattler, Ulrike},
biburl = {https://www.bibsonomy.org/bibtex/2820e1399e0592402daa16778cfa8d7a6/flint63},
booktitle = {Handbook on Ontologies},
crossref = {StaabStuder2009},
doi = {10.1007/978-3-540-92673-3_1},
edition = 2,
editor = {Staab, Steffen and Studer, Rudi},
file = {SpringerLink:2009/BaaderHorrocksSattler09p21.pdf:PDF},
groups = {public},
interhash = {6b6c1fde4e516d6862836c85696b3854},
intrahash = {820e1399e0592402daa16778cfa8d7a6},
keywords = {01614 springer paper ai ontology logic knowledge processing},
pages = {21--43},
publisher = {Springer},
timestamp = {2018-04-16T12:31:55.000+0200},
title = {Description Logics},
username = {flint63},
year = 2009
}