OWL1.1 und Regeln (6. Übung SWebT1 WS07/08)

Aus Semantic-Web-Grundlagen

Übung
OWL 1.1 und Regeln
Dozent	Sebastian Rudolph
Datum	Feb 4 2008
von	11:30
bis	13:00
Ort	Gebäude 11.40 Raum 231
Veranstaltungsreihe SWebT1 WS07/08
Nummer	6
Termin merken (iCalendar)

Diese Übung umfasst Stoff aus den vorangegangenen beiden Vorlesungen zu OWL 1.1 und Regelsprachen im Semantic Web.

Download: Übungsblatt (PDF)

Inhaltsverzeichnis 1 Lösungen 1.1 Aufgabe 6.1 1.2 Aufgabe 6.2 1.3 Aufgabe 6.3

Lösungen

Aufgabe 6.1

Anfrage 1

Anfrage 2

Anfrage 3

Hier gibt es zwei Interpretationen:
...die miteinander verheiratet sind:

...die mit irgendwem verheiratet sind:

Anfrage 4

Anfrage 5

Aufgabe 6.2

Formel 1

Diese Formel ist "nur" eine Klausel (Disjunktion im Regelkopf, aufgrund der Funktionen auch kein disjunktives Datalog)

Formel 2

Diese Formel lässt sich in die folgenden beiden Datalog-Ausdrücke umwandeln:

Formel 3

Diese Formel ist äquivalent zur (nicht definiten) Hornklausel:

Formel 4

Konjunktionen im Regelkopf können auf zwei Regeln aufgeteilt werden, was in diesem fall zu zwei Datalog-konformen definiten Hornklauseln führt.

Formel 5

Auch diese Formel lässt sich äquivalent in die folgenden vier definiten Datalog-Regeln umformen:

Aufgabe 6.3

Aussage 1

Kann nur in OWL DL 1.1 ausgedrückt werden (es wird das Self-Konstrukt benötigt):

Aussage 2

Kann in OWL DL ausgedrückt werden:

Aussage 3

Kann nur in OWL 1.1 direkt ausgedrückt werden (Negation einer Rolle):

Aussage 4

Kann nur in OWL 1.1 direkt ausgedrückt werden (qualifizierte Kardinalität):

Aussage 5

Kann in OWL DL ausgedrückt werden:

Aussage 6

Kann weder in OWL DL noch in OWL 1.1 ausgedrückt werden.

Aussage 7

Kann nur in OWL 1.1 ausgedrückt werden (Rollenverknüpfung):