Vorlesung Beschreibungslogik (Sommersemester 2017)

Prof. Dr. Thomas Schneider

K4, Modulbereich Theorie, Profile KIKR, DMI

Mi 16–18 MZH 6210
Do 12–14 MZH 6190   


Kurzbeschreibung

Beschreibungslogiken sind eine Familie von Wissensrepräsentationsformalismen, die es erlauben, die wichtigen Begriffe eines Anwendungsbereiches (seine Terminologie) in einer formalen, logik-basierten Sprache zu beschreiben. Derartige Logiken werden in verschiedenen Anwendungen eingesetzt, insbesondere aber zur semantischen Annotation von Daten in der Datenintegration und im World Wide Web. So basiert etwa die bekannte Web Ontology Language OWL im wesentlichen auf einer Beschreibungslogik. Die Vorlesung beginnt mit einer Einführung in das Gebiet der Beschreibungslogik und der Ontologien. In diesem Teil werden die Syntax und Semantik verschiedener Beschreibungslogiken sowie grundlegende Schlussfolgerungsprobleme diskutiert. Darauf aufbauend werden wir die Ausdrucksstärke verschiedener Logiken untersuchen, die Komplexität der wichtigsten Schlussfolgerungsprobleme analysieren, sowie die Grundlagen für in der Praxis effiziente Algorithmen entwickeln.

Folien

Kapitel 1: Einleitung   4 pro Seite    
Kapitel 2: Grundlagen   4 pro Seite    
Kapitel 3: Ausdrucksstärke und Modellkonstruktionen   4 pro Seite    
Kapitel 4: Tableau-Algorithmen   4 pro Seite    
Kapitel 5: Komplexität   4 pro Seite   Stand 22. 6.: Korrektur Folie 43; Ergänzung zum Literaturverzeichnis  
Kapitel 6: Effiziente Beschreibungslogiken   4 pro Seite   Stand 22. 6.: Ergänzungen Folien 21+22; neu: Literaturverzeichnis, Links  
Kapitel 7: ABoxen und Anfragebeantwortung, Teil 1   4 pro Seite   (22. 6.)  
Kapitel 7: ABoxen und Anfragebeantwortung, Teil 2   4 pro Seite   (28. 6.–5. 7.)  
Überblick Modularität   4 pro Seite   (nur zur Info, nicht prüfungsrelevant)  

Die Beispiele und Beweise an der Tafel stehen zum größten Teil in Form einer inoffiziellen Vorlesungsmitschrift zur Verfügung. Diese wurde dankenswerterweise von einem früheren Teilnehmer der Vorlesung, Sascha Jongebloed, angefertigt. Mithilfe beim Vervollständigen und/oder ggfs. bei Fehlerkorrektur ist willkommen – bei Interesse meldet Euch bitte über Github bei Sascha (Nutzername: sasjonge).

Das Ergebnis der Lehrevaluation steht auf Stud.IP zum Download bereit.

Fragebögen aus der Vorlesung

Fragebogen 1    (5. 4.)
Fragebogen 2    (6. 4.)
Fragebogen 3    (12. 4.)
Fragebogen 4    (13. 4.)
Fragebogen 5    (19. 4.)
Fragebogen 6    (27. 4.)
Fragebogen 7    (3. 5.)
Fragebogen 8    (4. 5.)
Fragebogen 9    (17. 5.)
Fragebogen 10    (14. 6.)

Übungsaufgaben

... werden zu gegebener Zeit hier zur Verfügung gestellt.

Übungsblatt 1    (Abgabe am 23. 4. in Stud.IP, Besprechung am 26. 4.)
Übungsblatt 2    (Abgabe am 7. 5. in Stud.IP, Besprechung am 10. 5.)
Übungsblatt 3    (Abgabe am 21. 5. in Stud.IP, Besprechung am 24. 5.)
Übungsblatt 4    (Abgabe am 4. 6. in Stud.IP, Besprechung am 7. 6.)
Übungsblatt 5    (Abgabe am 19. 6. (Mo.) in Stud.IP, Besprechung am 21. 6.)
Übungsblatt 6    (Abgabe am 3. 7. (Mo.) in Stud.IP, Besprechung am 5. 7.) — Änderung am Anfang von Aufgabe 1 am 21. 6.

Prüfungen

Die Prüfungsmodalitäten werden in der Vorlesung bekanntgegeben.

Literatur


AG Theorie der künstlichen Intelligenz 9. Juli 2017  Thomas Schneider
Valid HTML 4.0 Transitional