Ontologien im Semantic Web [SerienID : 790]
  • Algorithmen für Aussagenlogik
  • Tableaukalküle

  • Anfänge der (endlichen) Modelltheorie

  • Modal- und Beschreibungslogiken

  • Ontologieentwurf

 

Lernziele und Kompetenzen:

 

Fachkompetenz Wissen Die Studierenden geben Definitionen der Syntax und Semantik verschiedener WIssensrepräsentationssprachen wieder und legen wesentliche Eigenschaften hinsichtlich Entscheidbarkeit, Komplexität und Ausdrucksstärke dar. Anwenden Die Studierenden wenden Deduktionsalgorithmen auf Beispielformeln an. Sie stellen einfache Ontologien auf und führen anhand der diskutierten Techniken Beweise elementarer logischer Metaeigenschaften. Analysieren Die Studierenden klassifizieren Logiken nach grundlegenden Eigenschaften wie Ausdrucksstärke und Komplexität. Sie wählen für ein gegebenes Anwendungsproblem geeignete Formalismen aus. Lern- bzw. Methodenkompetenz Die Studierenden erarbeiten selbständig formale Beweise. Sozialkompetenz Die Studierenden arbeiten in Kleingruppen erfolgreich zusammen.

 

Literatur:

 

  • M Krötzsch, F Simancik, I Horrocks; A description logic primer, arXiv, 2012
  • F. Baader et al. (ed.): The Description Logic Handbook, Cambridge University Press, 2003

  • M. Huth, M. Ryan: Logic in Computer Science, Cambridge University Press, 2004

  • L. Libkin: Elements of Finite Model Theory, Springer, 2004

Semester

Sommersemester 2018

Zugang via

Offener Zugang

aktualisiert

2019-04-27 08:14:31

Abonnements

0

  • # 1
    Offener Zugang
    Ontologien im Semantic Web
    Prof. Dr. Lutz Schröder
    2018-04-09 Sommersemester 2018
  • # 2
    Offener Zugang
    Ontologien im Semantic Web
    Prof. Dr. Lutz Schröder
    2018-04-19 Sommersemester 2018
  • # 3
    Offener Zugang
    Ontologien im Semantic Web
    Prof. Dr. Lutz Schröder
    2018-04-23 Sommersemester 2018
  • # 4
    Offener Zugang
    Ontologien im Semantic Web
    Prof. Dr. Lutz Schröder
    2018-04-26 Sommersemester 2018
  • # 5
    Offener Zugang
    Ontologien im Semantic Web
    Prof. Dr. Lutz Schröder
    2018-04-30 Sommersemester 2018
  • # 6
    Offener Zugang
    Ontologien im Semantic Web
    Prof. Dr. Lutz Schröder
    2018-05-14 Sommersemester 2018
  • # 7
    Offener Zugang
    Ontologien im Semantic Web
    Prof. Dr. Lutz Schröder
    2018-05-17 Sommersemester 2018
  • # 8
    Offener Zugang
    Ontologien im Semantic Web
    Prof. Dr. Lutz Schröder
    2018-05-24 Sommersemester 2018
  • # 9
    Offener Zugang
    Ontologien im Semantic Web
    Prof. Dr. Lutz Schröder
    2018-05-28 Sommersemester 2018
  • # 10
    Offener Zugang
    Ontologien im Semantic Web
    Prof. Dr. Lutz Schröder
    2018-06-04 Sommersemester 2018
  • # 11
    Offener Zugang
    Ontologien im Semantic Web
    Prof. Dr. Lutz Schröder
    2018-06-11 Sommersemester 2018
  • # 12
    Offener Zugang
    Ontologien im Semantic Web
    Prof. Dr. Lutz Schröder
    2018-06-14 Sommersemester 2018
  • # 13
    Offener Zugang
    Ontologien im Semantic Web
    Prof. Dr. Lutz Schröder
    2018-06-18 Sommersemester 2018
  • # 14
    Offener Zugang
    Ontologien im Semantic Web
    Prof. Dr. Lutz Schröder
    2018-06-28 Sommersemester 2018
  • # 15
    Offener Zugang
    Ontologien im Semantic Web
    Prof. Dr. Lutz Schröder
    2018-07-09 Sommersemester 2018
  • # 16
    Offener Zugang
    Ontologien im Semantic Web
    Prof. Dr. Lutz Schröder
    2018-07-12 Sommersemester 2018