Vorlesung Beschreibungslogik und Ontologiesprachen

Vortragender: Prof. Carsten Lutz

K4, Modulbereich Theorie

Mo 14-16 MZH 1460
Mi 12-14 MZH 1470

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

Die Beispiele und Beweise an der Tafel stehen nicht in Form eines Skriptes zur Verfügung. Mitschrift wird daher empfohlen.

Übungsaufgaben

Mündliche Prüfungen

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

Literatur

AG Theorie der künstlichen Intelligenz