From Semantic Web Technologies

Jump to: navigation, search
(Slides)
 
Line 13: Line 13:
Slides:
Slides:
[[media:DL-Foundations-RW2011.pdf|Foundations of Description Logics]] (PDF)
[[media:DL-Foundations-RW2011.pdf|Foundations of Description Logics]] (PDF)
 +
Lecture Notes:
Lecture Notes:
[http://www.springerlink.com/content/nx6266773645v428/ via SpringerLink]
[http://www.springerlink.com/content/nx6266773645v428/ via SpringerLink]

Current revision as of 12:01, 2 September 2011


Foundations of Description Logics

Lecture at the Reasoning Web Summer School, Galway, Ireland, August 2011.

Lecturer: Sebastian Rudolph, Karlsruhe Institute of Technology, Germany.

Abstract

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

Slides: Foundations of Description Logics (PDF)

Lecture Notes: via SpringerLink

References

  • Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider, The Description Logic Handbook. Second Edition, Cambridge University Press, 2007.