![[DL]](dl-small.gif)
DESCRIPTION LOGICS
COURSES AND TUTORIALS
On this page, we list Description Logic courses and tutorials whose
course material is publically available.
- Enrico Franconi's Course on Description
Logics
The material includes slides for 6 modules (~320 slides): A review of
Computational Logics, Structural Description Logics, Propositional
Description Logics, Description Logics and Knowledge Bases,
Description
Logics and Logics, Description Logics and Databases.
A web pointer to an online modified version of CRACK, allowing for
tracing
satisfiability proofs with tableaux, is provided.
Pointers to relevant online literature are provided, too.
- A Description Logic
Tutorial by Ian Horrocks and Ulrike Sattler. The course is designed for three hours and provides insight into the
basic notion of DLs, applications of DLs (including system
demonstrations), tableau-based reasoning techniques and their
implementation, and an overview of complexity results.
- A Description
Logics Course given at ESSLLI
2002 by Carsten Lutz and Ulrike Sattler. The course is designed
for five days, 1.5 hours each, and focusses on reasoning with expressive
Description Logics. Among the topics are the relationship to other
formalisms, tableau algorithms, automata-based approaches, and
complexity bounds.
If you want your own course to be listed here, just send a mail to clu@tcs.inf.tu-dresden.de providing a
link and a brief description of the course.
This page maintained by Carsten Lutz.