Logical Foundations of Information Systems
Logische Grundlagen von Informationssystemen
6 LPSoSe (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
• Erfolgreiche Bearbeitung der zwei Projektaufgaben (50%) • Vier Online-Tests / Tests, je 15 Minuten (50%)
Literatur (1)
- Gerd Wagner: Foundations of Knowledge Systems, Kluwer 1998
Bemerkungen
Bei Bedarf kann das Modul auf Englisch angeboten werden. (ehem. „Logik & Information (LogIS)“).
Quelle: Modulbeschreibung der BTU · abgerufen 19.10.2026Original