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 held in the winter semester 2015/16.

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

There is an initial meeting on 21 April 2016 at 14:50 in room APB/E005. 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 (not for modules INF-D-520, INF-B-{510,520,610}), and give a presentation (of 25 minutes) at the end of the semester. They receive indiviual supervision by Prof. Dr.-Ing. Franz Baader, Dr. Marcel Lippmann, and Dr. Monika Sturm.

The topics have been assigned as follows:

Student	Topic	Supervisor
…	…	…

The students are expected to stick to the following schedule.

• 2nd week of May: mandatory meeting with the supervisor
• 4 weeks before presentation: first complete version of the report due
• 2 weeks before presentation: first complete version of the presentation slides due
• in July: give the presentation and participate in the discussion

SWS: –/2/–

This course can be used in the following modules:

• Bachelor-Studiengang (Medien-)Informatik: INF-B-510, INF-B-520, INF-B-610
• Master-Studiengang (Medien-)Informatik: INF-AQUA
• Diplom-Studiengang Informatik: INF-D-520, INF-D-940
• Master in Computational Logic: MCL-PCS, MCL-TCSL, MCL-PI
• Diplom-Studiengang Informatik (PO 2004): Proseminar, Hauptseminar

Will be provided.