A Description Logic Primer
From korrekt.org
Markus Krötzsch, František Simančík, Ian Horrocks
A Description Logic Primer
Abstract. This paper provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before syntax and semantics of the DL SROIQ are defined in detail. Additional sections review light-weight DL languages, discuss the relationship to the Web Ontology Language OWL and give pointers to further reading.
Published at CoRR (Technical report)
Download PDF (last update: Jan 19 2012)
Citation details
- Markus Krötzsch, František Simančík, Ian Horrocks. A Description Logic Primer. In CoRR abs/1201.4089. arxiv.org 2012.
author = {Markus Kr{\"o}tzsch and
Franti\v{s}ek Siman\v{c}\'{i}k and
Ian Horrocks},
title = {A Description Logic Primer},
journal = {CoRR},
volume = {abs/1201.4089},
year = {2012},
ee = {http://arxiv.org/abs/1201.4089}
}
Remarks
This text is meant as a very first reading on description logics that does not require a formal logic background. Yet, there are exact definitions for SROIQ (the "OWL 2 DL"), so maybe the text can also replace the repetitive DL preliminary section in one or the other paper (it is guaranteed to be permanent under the address http://arxiv.org/abs/1201.4089).
The text was written as an introductory chapter for the upcoming book Perspectives of Ontology Learning, edited by Jens Lehmann and Johanna Völker. We are happy to authorise reprints in similar collections; but please contact us first.
We might release updates of this document in the future; comments and suggestions are welcome. The text is meant to stay short, but we could extend it a bit beyond the page limit if the original book chapter.
