Logik und semantische Modellierung

Pflichtfach
5 ECTS-P
4 SWS
jährlich angeboten


Verantwortlich

Prof. Dr. Kristian Fischer


Ziele

Die Studierenden

  • kennen die zentralen Konzepte und Zusammenhänge der Aussagenlogik, der Prädikatenlogik und der Beschreibungslogik und können in den Resolutionskalkülen einfache Beispiele rechnen.
  • kennen im Bereich der semantischen Modellierung die zentralen Sprachen, Techniken und Methoden, können diese in Bezug auf Anwendungen kritisch diskutieren.
  • können mit üblichen Editoren, Systemen und Rahmenwerken Implementierungen im Sinne eines proof-of-concept erstellen.


    • Lehrinhalte

    Im ersten Teil der Vorlesung wird eine Einführung in die mathematische Logik gegeben. Ein Schwerpunkt liegt dabei in der Vermittlung von Konzepten wie „Modell", „Entscheidbarkeit" oder „Kalkül" und deren Diskussion. Die Konzepte der Beschreibungslogik werden eingeführt und in Bezug auf Fragen der Entscheidbarkeit, Komplexität und Unterstützung durch Werkzeuge diskutiert.

    Im zweiten Teil die zentralen Sprachen, Technologien, Methoden und Anwendungen im Bereich der semantischen Modellierung dargestellt. In der Anwendung wird ein Schwerpunkt auf Ontologien in den Bereichen Metadaten und audiovisuelle Inhalte gelegt.

    Im Seminarteil sollen Techniken, Kalküle und Methoden durch die Studierenden angewendet und kritisch diskutiert werden.


    Lehrmethoden

    Vorlesung, Seminar


    Vorraussetzungen

    Keine über die Zulassungsbedingungen hinausgehenden Voraussetzungen

    Empfohlen:
    Kenntnisse der elementaren Aussagenlogik


    Ort, Ressourcen

    • Beamer-gestützte Vorlesungen (Folien in elektronischer Form);
    • Vertiefende Materialien in elektronischer Form

    Literatur

    Basis Literatur:

    D. Allemang et al.: Semantic Web fort he Working Ontologist - Effective Modelling in RDFS and OWL, Morgan Kaufmann Publishers 2008

    Baader et al.(hrsg.): THe Description Logic Handbook - Theory, Implementation and Application 2nd edition, Cambridge University Press 2007

    Breitman et al.: Semantic Web - Concepts, Technologies and Applications, Springer Verlag 2007

    M. Kreuzer et al.: Logik für Informatiker, Pearson Studium 2006


    Weiterführende Literatur:

    J. Cardoso et al.(Hrsg.): Semantic Web Services, Processes and Apllications, Springer Verlag 2006

    V. Kashyap et al.: The Semantic Web - Semantics for Data and Services on the Web, Springer Verlag 2008

    T. Pellegrini et al. (Hrsg.): Semantic Web - Wege zur vernetzten Wissensgesellschaft, Springer Verlag 2006


    raster