Description Logics

Franz Baader (), Ian Horrocks () and Ulrike Sattler ()
Additional contact information
Franz Baader: Institut für Theoretische Informatik
Ian Horrocks: Oxford University
Ulrike Sattler: University of Manchester

A chapter in Handbook on Ontologies, 2009, pp 21-43 from Springer

Abstract: Summary 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.

Date: 2009
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:ihichp:978-3-540-92673-3_1

Ordering information: This item can be ordered from
http://www.springer.com/9783540926733

DOI: 10.1007/978-3-540-92673-3_1

Access Statistics for this chapter

More chapters in International Handbooks on Information Systems from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().