OWL 2 (8. Vorlesung SWebT1 WS09/10)

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.

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

Das deutsche Lehrbuch enthält OWL 2 noch nicht, aber es gibt bereits ein englischsprachiges Lehrbuch, in dem die Inhalte der Vorlesung im Detail nachgelesen werden können:

• Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph: Foundations of Semantic Web Technologies Chapman & Hall/CRC, 2009, 455 Seiten, Hardcover, ISBN: 9781420090505.

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

• Offiziellen W3C-Spezifikationen zu OWL 2:
  • Überblick über die Teile der Spezifikation
  • OWL 2 Primer: Einleitung zu OWL 2 (allgemein verständliche Einführung mit vielen Beispielen)
  • 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.