Kurs Beschreibungslogik (Sommersemester 2020)

Dr. Jean Christoph Jung, Prof. Dr. Thomas Schneider

K4, Modulbereich Theorie, Profile KIKR, DMI

Mo 10–12 MZH 1110
Mi 16–18 MZH 1090


Aktuelle Information

Während der Schließung der Universität wegen der Corona-Pandemie findet die Vorlesung online statt. Weitere Informationen sind auf Stud.IP zu finden.


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 und Übungsaufgaben

werden in Stud.IP zur Verfügung gestellt.


Prüfungen

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

Literatur


AG Theorie der künstlichen Intelligenz 21. April 2020  Thomas Schneider
Valid HTML 4.0 Transitional