Regeln für OWL (14. Vorlesung SWebT1 WS08/09)

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.

Folien:

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

Übersicht

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

Literaturangaben

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.