From Semantic Web Technologies
Foundations of Description Logics
Lecture at the Reasoning Web Summer School, Galway, Ireland, August 2011.
Lecturer: Sebastian Rudolph, Karlsruhe Institute of Technology, Germany.
Description Logics (DLs) constitute the basis of the Web Ontology Languages OWL 1 and OWL 2. DL research started as early as in the 1970s and by now has led to an impressive amount of theoretical results as well as several highly optimized tools for working with ontological knowledge. The lecture will provide an overview of the state of the art in DLs and draw relations to other logical formalisms. We will introduce syntax and semantics and provide examples for modelling specific situations. We will review the most common approaches to reasoning and finally explain the tight correspondences between DLs and OWL.
Slides: Foundations of Description Logics (PDF)
Lecture Notes: via SpringerLink
- Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider, The Description Logic Handbook. Second Edition, Cambridge University Press, 2007.
- Pascal Hitzler, Markus Krötzsch, Bijan Parsia, Peter Patel-Schneider, Sebastian Rudolph, OWL 2 Web Ontology Language: Primer. W3C Working Draft 11 June 2009. Latest version.
- Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Foundations of Semantic Web Technologies. Chapman & Hall / CRC Textbooks in Computing, 2009.
- W3C OWL Working Group, OWL 2 Web Ontology Language: Document Overview. W3C Working Draft 11 June 2009. Latest version.