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

Aus Semantic-Web-Grundlagen

Version vom 15:49, 2. Feb. 2010 bei Markus Krötzsch (Diskussion | Beiträge)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu: Navigation, Suche
Vorlesung
Regeln für OWL
Dozent Sebastian Rudolph
Datum Feb 3 2010
von 11:30
bis 13:00
Ort Gebäude 11.40 Raum 231
Veranstaltungsreihe SWebT1 WS09/10

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:

Übersicht

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

Literaturangaben

Das Lehrbuch zum Thema dieser Vorlesung ist:

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

  • 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.
Persönliche Werkzeuge