12347 - Logische Grundlagen von Informationssystemen Modulübersicht

Modulnummer: 12347 - Modul nicht mehr im Angebot ab WS 2018/19
Modultitel:Logische Grundlagen von Informationssystemen
  Logical Foundations of Information Systems
Einrichtung: Fakultät 1 - MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik
Verantwortlich:
  • Prof. Dr. phil. habil. Wagner, Gerd
Lehr- und Prüfungssprache:Deutsch
Dauer:1 Semester
Angebotsturnus: jedes Sommersemester gerader Jahre
Leistungspunkte: 6
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.
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.
Empfohlene Voraussetzungen:keine
Zwingende Voraussetzungen:keine
Lehrformen und Arbeitsumfang:
  • Vorlesung / 2 SWS
  • Übung / 2 SWS
  • Projekt / 60 Stunden
  • Selbststudium / 60 Stunden
Unterrichtsmaterialien und Literaturhinweise:Materialien werden während der Vorlesung ausgegeben.
Teile der Vorlesung basieren auf dem Buch
  • Gerd Wagner: Foundations of Knowledge Systems, Kluwer 1998
Modulprüfung:Continuous Assessment (MCA)
Prüfungsleistung/en für Modulprüfung:
  • Erfolgreiche Bearbeitung der zwei Projektaufgaben (50%)
  • Vier Online-Tests / Tests, je 15 Minuten (50%)
Bewertung der Modulprüfung:Prüfungsleistung - benotet
Teilnehmerbeschränkung:keine
Zuordnung zu Studiengängen:
  • keine Zuordnung vorhanden
Bemerkungen:Bei Bedarf kann das Modul auf Englisch angeboten werden.
(ehem. „Logik & Information (LogIS)“).
Veranstaltungen zum Modul:Vorlesung: Logische Grundlagen von Informationssystemen
Übung zur Vorlesung
Veranstaltungen im aktuellen Semester:
  • keine Zuordnung vorhanden
Nachfolgemodul/e: Auslaufmodul ab: 05.06.2018
  • ohne Nachfolgemodul/e