Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen
Zeige Informatik-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Digitale Medien-Format Pdf_icon Systems Engineering-Format Pdf_icon

Informatik-Ansicht

Beschreibungslogik


Description Logic
Modulnummer
MB-605.02
Master
Pflicht/Wahl
Wahl Basis Ergänzung
Sonderfall
Zugeordnet zu Masterprofil
Basis Ergänzung
Sicherheit und Qualität
KI, Kognition, Robotik
Digitale Medien und Interaktion
Modulbereich : Mathematik und Theoretische Informatik
Modulteilbereich : 605 Logik
Anzahl der SWS
V UE K S Prak. Proj.
0 0 4 0 0 0 4
Kreditpunkte : 6 Turnus

i. d. R. angeboten alle 2 Semester

Formale Voraussetzungen : -
Inhaltliche Voraussetzungen : Grundlagen der Aussagenlogik und der Logik erster Stufe sind wünschenswert, jedoch nicht zwingend erforderlich.
Vorgesehenes Semester : ab 1. Semester
Sprache : Deutsch
Ziele :
  • Grundlegende Ideen der formalen Logik kennen, ihre Bedeutung für die Informatik einschätzen können und logische Formalismen in einfachen Anwendungen selbst einsetzen können.

  • Mathematische Beweise verstehen können und in der Lage sein, einfache Beweise selbst zu führen.

  • Wesentliche Konzepte und Ideen aus den Gebieten der
    Wissensrepräsentation und Ontologien kennen und wiedergeben können.

  • Grundlegendes Verständnis der Ziele und Methoden der Beschreibungslogik erwerben.

  • Ein Gespür für das Wechselspiel zwischen Ausdrucksstärke
    und Berechnungskomplexität in logischen Formalismen
    erwerben, die Ursachen von hoher Berechnungskomplexität in solchen Formalismen kennen und die prinzipiellen
    Beschränkungen in der Ausdrucksstärke entscheidbarer Formalismen verstehen.

Inhalte :

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 wird die Ausdrucksstärke verschiedener Logiken untersucht, die Komplexität der wichtigsten Schlussfolgerungsprobleme analysiert, sowie die Grundlagen für in der Praxis effiziente Algorithmen entwickelt.

Unterlagen (Skripte, Literatur, Programme usw.) :
  • Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler. An Introduction to Description Logic. Cambridge University Press, 2017.

  • Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, and Peter F. Patel-Schneider. The Description Logic Handbook, 2. Auflage. Cambridge University Press, 2007.

  • An Overview of Tableau Algorithms for Description Logics. Baader und Sattler. Studia Logica, 69:5-40, 2001.

Form der Prüfung : Bearbeitung von Übungsaufgaben und Fachgespräch oder mündliche Prüfung
Arbeitsaufwand
Präsenz 56
Übungsbetrieb/Prüfungsvorbereitung 124
Summe 180 h
Lehrende: Prof. Dr. C. Lutz Verantwortlich Prof. Dr. C. Lutz
Zurück

Zeige Informatik-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Digitale Medien-Format Pdf_icon Systems Engineering-Format Pdf_icon