12520 - Logische Grundlagen von Informationssystemen Modulübersicht

Modulnummer: 12520 - Modul nicht mehr im Angebot ab SS 2010
Modultitel:Logische Grundlagen von Informationssystemen
  Logical Foundations of Information Systems
Einrichtung: Fakultät 1 - Mathematik, Naturwissenschaften und Informatik
Verantwortlich:
  • Prof. Dr. phil. habil. Wagner, Gerd
Lehr- und Prüfungssprache:Deutsch
Dauer:1 Semester
Angebotsturnus: jedes Wintersemester 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
  • Hausarbeit / 60 Stunden
  • Übung/Praktikum / 2 SWS
  • 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:Keine Angabe - Angabe ab Wintersemester 2016/17 erforderlich!
Prüfungsleistung/en für Modulprüfung:1) Multiple-Choice-Zwischenprüfung (35%)
2) Klausur (65%)
Bewertung der Modulprüfung:Prüfungsleistung - benotet
Teilnehmerbeschränkung:keine
Zuordnung zu Studiengängen:
  • keine Zuordnung vorhanden
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")
Veranstaltungen zum Modul:keine
Veranstaltungen im aktuellen Semester:
  • keine Zuordnung vorhanden
Nachfolgemodul/e: Auslaufmodul ab: 04.10.2010