Seminar: Further Topics in Description Logics

Prof. Franz Baader , Dr. (habil.) Anni-Yasmin Turhan

Course Description

Description logics (DLs) are a family of logic-based knowledge representation formalisms. The seminar is about description logics that have not been captured in the lecture Description Logic.

Prerequisites: Knowing the basic material of the lecture Description Logic would be helpful, but is not mandatory.

Seminar talks

The talks of the seminar take place on 18th of January. The times, presented papers and speakers are the following:

Time Topic Speaker
9:20 Franz Baader and Phillip Hanschke: A Scheme for Integrating Concrete Domains into Concept Languages Maximilian Schlosser
10:05 Karsten Lehmann and Anni-Yasmin Turhan: A Framework for Semantic-based Similarity Measures for ELH-Concepts Filippo De Bortoli
11:10 Franz Baader, Rafael Peñaloza, and Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL Lorenz Leutgeb
11:55 Franz Baader, Carsten Lutz, Eldar Karabaev, and Manfred Theißen: A New n-ary Existential Quantifier in Description Logics Daniel Guimares

In case you are interested to attend the talks, send an email to Anni-Yasmin Turhan.


There is an initial meeting on October 19th 2017 at 11:10 (3.DS) in room APB/005. There, topics are sketched and assigned to interested students. Further organisational matters are covered as well.
Students who cannot attend the initial meeting, but want to participate in the seminar, should contact Anni-Yasmin Turhan.
The students taking the seminar should get acquainted with their respective topic, write a report (c. 12 pages) about it, and give a presentation (of 30 minutes) at the end of the semester. They receive indiviual supervision by a tutor.
The students are expected to stick to the following schedule.


SWS: –/2/–

This course can be used in the following modules:


The papers covered in the seminar are: Students are welcome to suggest other papers on Description Logics that they would like to cover.