OWL 2 (12. Vorlesung SWebT1 WS08/09)

Aus Semantic-Web-Grundlagen

In dieser Vorlesung der Veranstaltung Semantic Web Technologies 1 beschäftigen wir uns mit der aktuellen Erweiterung der Web Ontology Language zu OWL 2. Diese neue ausdrucksstärkere Version des OWL-Standards wird zurzeit durch eine Arbeitsgruppe des W3C entwickelt, und ist deshalb noch nicht Bestandteil des Lehrbuchs.

Folien:

• Bildschirmpräsentation (PDF)
• Druckversion (PDF)

Übersicht

• Einleitung und Motivation
• Die Beschreibungslogik SROIQ
• Inferenz mit SROIQ
• OWL 2 DL
• "OWL 2 Lite" (Profile von OWL 2)
• OWL 2 Full
• Zusammenfassung

Literaturangaben

Die folgenden zusätzlichen Originalquellen liefern weitere Hintergrundinformationen zu den besprochenen Themen (kein Prüfungsstoff):

• Homepage der OWL-Arbeitsgruppe des W3C

• Aktuelle Arbeitsentwürfe für OWL 2 (an selber Stelle werden später die offiziellen Spezifikationen zu finden sein):
  • Struktur und (funktionale) Syntax
  • RDF-Syntax für OWL
  • XML-Syntax für OWL
  • Semantik von OWL 2 DL (basierend auf , wie in der Vorlesung besprochen)
  • Semantik von OWL 2 Full
  • Profiles von OWL 2 (OWL 2 EL, OWL 2 QL, OWL 2 RL)
  • Konformitätsbedingungen und Tests

• Ian Horrocks, Oliver Kutz, and Ulrike Sattler: The Even More Irresistible SROIQ. Im Tagungsband der 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), S. 57–67. AAAI Press, 2006. Wissenschaftlicher Artikel über die OWL 2 zugrundeliegende Beschreibungslogik .

• Yevgeny Kazakov: RIQ and SROIQ are Harder than SHOIQ. 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008). AAAI Press, 2008. Wissenschaftlicher Artikel, in dem die Berechnungskomplexität von OWL 2 gezeigt wird.