Logische Grundlagen von Informationssystemen
Logical Foundations of Information Systems
6 CPWinter (even years)DEno longer offered
Contents
Prädikatenlogik, Herbrand-Semantik, logische Semantik relationaler Datenbanken, Integritätsregeln und Ableitungsregeln in OCL, logische Semantik nichtmonotoner Ableitungsregeln, RDF-Vokabulare, RDF-Abfragen und RDF-Regeln, OWL-Ontologien, SWRL-Ontologie-Regeln.
Learning outcomes
Es werden die Grundbegriffe der Logik durch ihre Anwendung in der Verarbeitung propositionaler Information vermittelt, um dadurch ein tieferes Verständnis der Informationsverarbeitung zu ermöglichen. Insbesondere geht es darum, - die Grundbegriffe der prädikatenlogischen Modelltheorie zu verstehen - den Zusammenhang zwischen logischer Inferenz und der Anfragenbeantwortung in Datenbanken und Wissensbasen zu verstehen - die logische Semantik der Wissensrepräsentationssprachen RDF und OWL sowie der in der Softwaremodellierung verwendeten Logiksprache OCL zu verstehen.
Assessment
1) Multiple-Choice-Zwischenprüfung (35%) 2) Klausur (65%)
Literature (1)
- Materialien werden während der Vorlesung ausgegeben. Teile der Vorlesung basieren auf dem Buch - Gerd Wagner: Foundations of Knowledge Systems, Kluwer 1998
Remarks
- Studiengang Informatik Diplom, Säule „Praktische Informatik“, Niveaustufe 500 - Studiengang Informatik Master, Komplex „Praktische Informatik", Niveaustufe 500 - Studiengang IMT Bachelor, Schwerpunkt 2: Informations- und Kommunikationssysteme (ehem. "Theorie der Datenbanken und Informationssysteme")
Source: BTU's module description · retrieved 18 Oct 2026Original