Material for the Course An Introduction to
Description Logics: Techniques, Properties, and
at NASSLLI 2016
Here are the slides - with thanks to Thomas Schneider, who made the
original versions for most of the slides from the first and fifth
These slides contain results and material from a large variety of papers by a large
variety of authors (Franz
Bernhardo Cuenca Grau,
Patel-Schneider, Rafael Penaloza,
Klaus Schild, Stephan Tobies to name a few), often described
in a rather condensed form - and with almost no references to these
papers inside the slides. To find out more, have a look at
To use the Protégé OWL editor, visit their web site and install
Protégé Desktop (currently version 5).
Feel free to send me an email if you have any questions!
- proceedings of past Description
- proceedings of
KR, Principles of Knowledge Representation and Reasoning
- The Description Logic Handbook, Cambridge University Press
- for stuff on OWL, visit
- Halpern and Moses' "guide"
paper on complexity (among others) of modal
logics if you want to learn a little more about computational