Seminar: Extensions of Description Logics

Dr. (habil.) Anni-Yasmin Turhan

Course Description

Description logics (DLs) are a family of logic-based knowledge representation formalisms. The seminar is about extensions of description logics (such as temporalised DLs, fuzzy DLs, DLs with defaults, …) that have not been captured in the lecture Description Logic.

Prerequisites: Knowing the basic material of the lecture Description Logic would be helpful.


There is an initial meeting on 17 October 2016 at 14:50 in room APB/3027. There, topics are assigned to interested students and further organisational matters are covered.

The students taking the seminar should get acquainted with their respective topic, write a report (c. 15 pages) about it, and give a presentation (of 30 minutes) at the end of the semester. They receive indiviual supervision by a tutor.
The topics have so far been assigned as follows:

Student Topic Supervisor
K. Salama Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro:
A new semantics for overriding in description logics
Anni-Yasmin Turhan

The students are expected to stick to the following schedule.


SWS: –/2/–

This course can be used in the following modules:


Will be provided.