Seminar: Further Topics in Description Logics

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.

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
	Break
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.

• last week of October: mandatory meeting with the tutor
• middle of December: first complete version of the report due
• middle of January: first complete version of the presentation slides due
• early February: 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)

The papers covered in the seminar are:

• Karsten Lehmann and Anni-Yasmin Turhan: A Framework for Semantic-based Similarity Measures for ELH-Concepts, 2012
  (supervised by Dr. Turhan, taken)
• Franz Baader and Barbara Morawska: SAT Encoding of Unification in EL, 2010.
  (supervised by Prof Baader, available)
• Meghyn Bienvenu: Prime Implicate Normal Form for ALC Concepts, 2008
  (supervised by Dr. Turhan, available)
• Franz Baader, Rafael Peñaloza, and Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL, 2007.
  (supervised by Prof Baader, taken)
• Franz Baader, Carsten Lutz, Eldar Karabaev, and Manfred Theißen: A New n-ary Existential Quantifier in Description Logics, 2005.
  (supervised by Prof Baader, taken)
• Sebastian Brandt, Ralf Küsters, and Anni-Yasmin Turhan: Approximation and Difference in Description Logics, 2002.
  (supervised by Dr. Turhan, taken)
• Natasha Kurtonina and Maarten de Rijke Expressiveness of concept expressions in first-order description logics, 1999
  (supervised by Prof Baader, available)
• Franz Baader and Phillip Hanschke: A Scheme for Integrating Concrete Domains into Concept Languages, 1991.
  (supervised by Prof Baader, taken)

Students are welcome to suggest other papers on Description Logics that they would like to cover.