Logical Foundations of Information Systems
Logische Grundlagen von Informationssystemen
6 CPSummer (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
• Erfolgreiche Bearbeitung der zwei Projektaufgaben (50%) • Vier Online-Tests / Tests, je 15 Minuten (50%)
Literature (1)
- Gerd Wagner: Foundations of Knowledge Systems, Kluwer 1998
Remarks
Bei Bedarf kann das Modul auf Englisch angeboten werden. (ehem. „Logik & Information (LogIS)“).
Source: BTU's module description · retrieved 19 Oct 2026Original