Kapitel 6 – Formale Semantik von OWL

Aus Semantic-Web-Grundlagen

Version vom 14:20, 8. Jan. 2008 bei Markus Krötzsch (Diskussion | Beiträge)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu: Navigation, Suche

Im sechsten Kapitel des Lehrbuchs Semantic Web – Grundlagen vertiefen wir OWL durch eine ausführliche Behandlung ihrer formalen Semantik. Wir besprechen außerdem die wichtigsten Algorithmen, die zur Ableitung impliziten Wissens aus OWL-Ontologien verwendet werden.

Das Kapitel ist zweigeteilt: In den Abschnitten 6.1 und 6.2 behandeln wir zunächst die modelltheoretische Semantik von OWL, während wir in Abschnitt 6.3 auf Algorithmen für automatisches Schlussfolgern eingehen. Die modelltheoretische Semantik erklären wir auf zwei verschiedene, aber äquivalente Weisen, nämlich zum einen durch Rückführung auf die Prädikatenlogik erster Stufe in Abschnitt 6.1 und zum anderen als sogenannte extensionale Semantik in Abschnitt 6.2.

Inhaltsverzeichnis

  1. Prädikatenlogische Semantik von OWL
    1. Die Beschreibungslogik ALC
    2. OWL als Beschreibungslogik
    3. Bezeichner für Beschreibungslogiken
  2. Extensionale Semantik von OWL
    1. Interpretation von Individuen, Klassen und Rollen
    2. Interpretation von Axiomen
    3. Erfüllbarkeit und Folgerung
  3. Automatisiertes Schlussfolgern mit OWL
    1. Tableauverfahren
    2. Die KAON2-Algorithmen
    3. Komplexität von Beschreibungslogiken
  4. Zusammenfassung
  5. Aufgaben
  6. Weiterführende Literatur

Weiterführende Literatur

Persönliche Werkzeuge