Logische Grundlagen von Informationssystemen
Logical Foundations of Information Systems
6 LPWiSe (gerade Jahre)DEwird nicht mehr angeboten
Inhalte
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.
Lernziele
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.
Prüfungsleistung
1) Multiple-Choice-Zwischenprüfung (35%) 2) Klausur (65%)
Literatur (1)
- Materialien werden während der Vorlesung ausgegeben. Teile der Vorlesung basieren auf dem Buch - Gerd Wagner: Foundations of Knowledge Systems, Kluwer 1998
Bemerkungen
- 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")
Quelle: Modulbeschreibung der BTU · abgerufen 18.10.2026Original