[TU Dresden]

Advanced Topics in Description Logics

Technische Universität Dresden
Institut für Theoretische Informatik
Lehrstuhl für Automatentheorie

Anni-Yasmin Turhan


The next additional lecture will take place Thurdsay 14th of January 5. DS (14:50 o'clock) in INF / E005.

Course Description

This lecture uses the notions from the lecture "Description Logics" as a basis to introduce reasoning problems for Description Logics that are strongly motivated by practical applications. For instance, it will cover explanation of inference results and query answering for ABoxes as well as the algorithms solving these reasoning problems and their complexity.

Prerequisites: lecture "Description Logics" or a good background on logics such as modal logics.


The lecture starts on 13th of October and takes place Tuesdays 2. DS (9:20 - 10:50) in room INF / E005.

Credits / Examinations

Computational logic students can earn 3 credits for the modules KRAI, TCSL and IT by attending this lecture. In order to get the credits, CL students have to pass an oral examination at the end of the term.

Student's solutions to exercises:

Further reading on the ...

Anni-Yasmin Turhan