Konjunktive Anfragen und Regelsprachen (11. Vorlesung SWebT1 WS07/08)

Aus Semantic-Web-Grundlagen

In dieser Vorlesung der Veranstaltung Semantic Web Technologies 1 beschäftigen wir uns zunächst mit konjunktiven Anfragen für OWL DL. Im zweiten Teil der Vorlesung geben wir einen Überblick über verschiedene Regelsprachen für das Semantic Web als ausdrucksstarke Erweiterungen von Ontologiesprachen. Dabei behandlen wir zunächst Ansätze, die gut mit OWL und RDF integriert werden können: Datalog, SWRL, und DL-safe Rules.

Die Darstellung von konjunktiven Anfragen orientiert sich am zweiten Teil von Kapitel 7 des Lehrbuchs, und einige weitere Details sind auf der entsprechenden Seite zu finden. Der zweite Teil zu Regelsprachen im Semantic Web ist dagegen nicht Bestandteil des Lehrbuches.

Folien:

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

Übersicht

• Einleitung und Motivation
• Konjunktive Anfragen für OWL DL
• Regelsprachen und das Semantic Web
• Hornlogik und Datalog
• SWRL und DL-safe Rules
• Zusammenfassung

Literaturangaben

Konjunktive Anfragen werden in Kapitel 7 des Lehrbuchs besprochen und weitere Literaturangaben sind auf der entsprechenden Webseite zu finden. Für Regelsprachen machen wir hier verschiedene weitere Literaturangaben (optional, viele Originalquellen):

• Evgeny Dantsin, Thomas Eiter, Georg Gottlob, and Andrei Voronkov: Complexity and expressive power of logic programming. ACM Computing Surveys, 33(3), S. 374–425, 2001. Ausführliche Übersicht zur Komplexität von Datalog und verwandten Ansätzen.

• Ian Horrocks, Peter F. Patel-Schneider, Harold Boley, Said Tabet, Benjamin Grosof, Mike Dean: SWRL: A Semantic Web Rule Language Combining OWL and RuleML. Die W3C-Einreichung zu SWRL.

• 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

• 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 ihre 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 Verarbeiting von DL-safe Rules in Tableau-Algorithmen, wie in Pellet umgesetzt.