Regeln für OWL (12. Vorlesung SWebT1 WS09/10)

Aus Semantic-Web-Grundlagen

In dieser Vorlesung der Veranstaltung Semantic Web Technologies 1 beschäftigen wir uns näher mit der in Vorlesung 11 eingeführten Regelsprache SWRL. Es stellt sich heraus, dass SWRL selbst für praktische Anwendungen oft nicht geeignet ist: geschickte Einschränkungen sind nötig, um Regeln für OWL (und OWL 2) praktisch umsetzen zu können. Als zwei mögliche Lösungsansätze lernen wir Description Logic Rules und DL-safe Rules kennen. Diese können sogar miteinander kombiniert werden.

Regelsprachen sind bisher nicht Bestandteil des Lehrbuches, aber sie können ausführlich im englischsprachigen Lehrbuch Foundations of Semantic Web Technologies nachgelesen werden. Die Darstellung der entsprechenden Themen dort ist eng an diese Vorlesung angelehnt.

Folien:

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

Übersicht

• Einleitung und Wiederholung
• Logisches Schließen in SWRL
• Description Logic Rules
• DL-safe Rules
• Zusammenfassung

Literaturangaben

Das Lehrbuch zum Thema dieser Vorlesung ist:

• Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph: Foundations of Semantic Web Technologies. CRC Press, 2009. ISBN 9781420090505.

Neben den Literaturhinwiesen zu Vorlesung 11 liefern folgende Originalquellen weitere Details zu den hier behandelten Themen (optional, kein Vorlesungsstoff):

• Bijan Parsia: Understanding SWRL. Serie von erklärenden Blog-Einträgen zu SWRL und DL-safe Rules: Teil 1, Teil 2: DL Safety, Teil 3: Some tricky bits

• Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler: Description Logic Rules. 18th European Conference on Artificial Intelligence (ECAI-08), IOS Press, 2008. Wissenschaftlicher Artikel, in dem DL Rules eingeführt werden.

• Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler: ELP: Tractable Rules for OWL 2. 7th International Semantic Web Conference (ISWC-08), Springer, 2008. Wissenschaftlicher Artikel über eine OWL-basierte Regelsprache mit niedriger (polynomieller) Rechenkomplexität; basiert auf DL Rules.

• Boris Motik, Uli Sattler, Rudi Studer: Query Answering for OWL-DL with Rules. Journal of Web Semantics 3 (1), S. 41–60, July 2005. Wissenschaftlicher Artikel zu DL-safe Rules und ihrer Umsetzung in KAON2.

• Vladimir Kolovski, Bijan Parsia, Evren Sirin: Extending the SHOIQ(D) Tableaux with DL-safe Rules: First Results. Internationaler Description-Logic-Workshop 2006 (DL-2006), Lake District, UK. Ansätze zur Verarbeitung von DL-safe Rules in Tableau-Algorithmen, wie in Pellet umgesetzt.