Konjunktive Anfragen und Regelsprachen (11. Vorlesung SWebT1 WS09/10)

Aus Semantic-Web-Grundlagen

Vorlesung
Konjunktive Anfragen/Einführung Regelsprachen
Dozent	Markus Krötzsch
Datum	January 20 2010
von	11:30
bis	13:00
Ort	Gebäude 11.40 Raum 231
Veranstaltungsreihe SWebT1 WS09/10
Termin merken (iCalendar)

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 beginnen wir mir der Betrachtung verschiedener Regelsprachen für das Semantic Web als ausdrucksstarke Erweiterungen von Ontologiesprachen. Dabei behandeln wir Ansätze, die gut mit OWL und RDF integriert werden können: Datalog und SWRL.

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 noch nicht Bestandteil des Lehrbuches. Hier kann das englischsprachige Lehrbuch konsultiert werden.

Folien:

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

Übersicht

• Einleitung und Motivation
• Konjunktive Anfragen für OWL DL
• Regelsprachen und das Semantic Web
• Datalog
• Regeln für OWL: SWRL
• 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):

• 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.

• Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison Wesley, 1994. (ISBN 0201537710) Englischsprachiges Lehrbuch mit umfangreichen Erklärungen zu Datalog und dessen Zusammenhang mit relationalen und deduktiven Datenbanken.

• 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.