Vorlesung "Description Logics" (SS 2000)

Inhaltsverzeichnis dieser Seite

• Organisatorisches
• Inhalt der Vorlesung
• Literatur
• Unterlagen
• Übungsblätter

Organisatorisches

Vorlesung:

Description Logics. (PG, A) 2+2

Dozent: Hans Jürgen Ohlbach

Zeit und Ort: Di 9-11, Raum 0.15, Oettingenstr. 67.

Übung:

Betreuer: Slim Abdennadher

Zeit und Ort: Mi 13-15, Raum 0.15, Oettingenstr. 67.

für:

Haupt- und Nebenfach Informatik

Vorkenntnisse:

Elementare Logikkenntnisse.

Schein:

Diplomprüfung Haupt- und Nebenfach Informatik, Lehramt (§ 77(2) Punkt 1g) der LPOI).

Voraussetzungen für den Schein:

Mündliche Prüfung am Ende des Semesters mit Zulassungsvoraussetzung.

Auf jedem der wöchentlichen Übungsblätter sind Aufgaben markiert, die schriftlich zu lösen sind (keine Gruppenlösungen). Dreimal während des Semesters werden die schriftlichen Lösungen des aktuellen Übungsblatts am Anfang der Übungsstunde eingesammelt. Die Termine sind vorher nicht bekannt. An der Prüfung kann teilnehmen, wer an wenigstens zwei der drei Termine "sinnvolle" Lösungen abgibt.
In Ausnahmefällen können schriftliche Lösungen vor Beginn der Übungsstunde im Sekretariat abgegeben werden.

Inhalt der Vorlesung

"Description Logics" sind objektorientierte Wissensrepräsentationsformalismen, die in ihrer Anwendung ähnlich zu Datenbankformalismen sind, allerdings wesentlich flexibler und ausdrucksstärker als diese. Sie eignen sich zur Modellierung alltäglicher Zusammenhänge auf abstrakter wie konkreter Ebene.

In der Vorlesung werden die Grundideen und -mechanismen von Description Logics eingeführt, insbesondere:

• Syntax und Semantik der verschiedenen Sprachen
• Problemtypen, die sich damit lösen lassen (Konsistenz, Subsumption, Instanzenbeziehung, Abfragemechanismen)
• Algorithmen zur Lösung dieser Probleme
• Komplexität der verschiedenen Probleme in den verschiedenen Sprachen
• Zusammenhänge mit Modal- und Prädikatenlogik
• Description Logics und Datenbanken

Siehe insbesondere: http://dl.kr.org/

Literatur

Es gibt noch keine Lehrbücher zu diesem Thema, wohl aber viele einschlägige Publikationen. Einige der wichtigsten findet man auf http://www.cs.man.ac.uk/~franconi/dl/course/

Hier sind einige Papiere, die etwas allgemeiner sind

• Reasoning in Description Logics
• Dissertation von Andrea Schaerf
• Buchheit et. al: Decidable Reasoning in Terminological Knowledge Representation Systems

Unterlagen

• Folien (PostScript, 1.9 MB)
• Folien (gzipped PostScript, 290 KB)

Übungsblätter

Die Übungsblätter sind jeweils ab Mittwoch der Vorwoche hier zugänglich.

1. Übungsblatt 1 10.5.2000: Aussagenlogik
2. Übungsblatt 2 17.5.2000: ALC-Formeln
3. Übungsblatt 3 24.5.2000: Tableaux-Methode

   Am 31. Mai 2000 findet der Dies 2000 statt. Die Veranstaltungen des Dies ersetzen an diesem Datum alle Lehrveranstaltungen, also auch diese Übung.

4. Übungsblatt 4 7.6.2000: ALC-Formeln mit Zahlenrestriktionsoperatoren
5. Übungsblatt 5 14.6.2000: ALC-Formeln mit Operatoren auf Rollennamen
6. Übungsblatt 6 21.6.2000: ALC-Formeln mit Rollentermen
7. Übungsblatt 7 28.6.2000: ALC-Formeln mit Nominalen und partiellen Funktionen
8. Übungsblatt 8 5.7.2000: ALC-Formeln mit concrete domains
9. Übungsblatt 9 19.7.2000: DL und Arithmetik

Lösungsvorschläge

1. Lösungsvorschlag für Übungsblatt 1
2. Lösungsvorschlag für Übungsblatt 2
3. Lösungsvorschlag für Übungsblatt 3

Lehr- und Forschungseinheit

Institut

Universität