Seminar: Extensions of Description Logics

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 10 April 2017 at 11:10 (3.DS) in room APB/005. 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 students are expected to stick to the following schedule.

• 3rd week of April: mandatory meeting with the tutor
• 20 June: first complete version of the report due
• 26th of June: first complete version of the presentation slides due
• 10th of July: give the presentation and participate in the discussion

SWS: –/2/–

This course can be used in the following modules:

• Master-Studiengang (Medien-)Informatik: INF-AQUA (Allgemeine Qualifikationen)
• Diplom-Studiengang Informatik: INF-D-940 (Berufsspezifische Schlüsselkompetenzen)
• Master in Computational Logic: MCL-PCS (Presentation and Communication Skills), MCL-TCSL (Theoretical Computer Science and Logic), MCL-PI (Principles of Inference)
• Diplom-Studiengang Informatik (Studienordnung 2004): Hauptseminar

Will be provided.