|
Courses and Workshops
|
| Title: | Description logics |
| Lecturer(s): | Carsten Lutz (TU Dresden) and Ulrike Sattler (University of
Manchester) |
| Type: | Introductory Course |
| Section: | Logic and Computation |
| Week: | First | | Time: | 14.00-15.30 (Slot 3) |
| Webpage: | http://lat.inf.tu-dresden.de/~clu/
|
| Reader: | Download | | Room: | A2 |
Description Description Logics (DLs) are a prominent family of
knowledge representation formalisms closely related to modal and dynamic
logics. Partly due to their use as ontology languages in the emerging
semantic web, a greatly increased interest in DLs and related techniques
can currently be observed.
The course begins with an introduction of the basic principles
underlying knowledge representation with DLs. Starting from basic
description logics such as ALC, we then gradually increase the
expressive power of the presented logics. For all introduced logics, we
present decision procedures and investigate the computational
complexity. Attendees of the course will thus become acquainted with,
e.g., tableaux-and automata-based decision procedures, and tiling
problems.
This course is targeted at participants with a basic background in
computer science or logic. In particular, some knowledge of first-order
or modal logics will be helpful since we will keep track of the
correspondence between these formalisms and DLs throughout the course.
|
© 2003, 2004 LORIA, Carlos Areces. |
2004-05-01
| |
