Vorlesung Beschreibungslogik und Ontologiesprachen

Vortragender: Prof. Carsten Lutz

K4, Modulbereich Theorie

Di 17-19 MZH 7250
Do 15-17 MZH 5210

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ühhrung 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

Übungsaufgaben

Mündliche Prüfungen

Termine für mündliche Prüfungen werden individuell per email vereinbart. Nach Möglichkeit sollten diese jedoch an einem der dafür reservierten Termine stattfinden: Bitte rechtzeitig anmelden!

Literatur

AG Theorie der künstlichen Intelligenz