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

Aus Semantic-Web-Grundlagen

Wechseln zu: Navigation, Suche
Ü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

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

Download: Übungsblatt (PDF)


Inhaltsverzeichnis

Lösungen

Aufgabe 6.1

Anfrage 1


\exists z (\texttt{verheiratetMit}(x,y) \wedge \texttt{kindVon}(z,x) \wedge \texttt{kindVon}(z,y))

Anfrage 2


\exists y (\texttt{verheiratetMit}(x,y) \wedge \texttt{Weiblich}(x) \wedge \texttt{Katholisch}(x) \wedge \texttt{Priester}(x))

Anfrage 3

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

\exists x,y (\texttt{verheiratetMit}(x,y) \wedge \texttt{kindVon}(z,x) \wedge \texttt{kindVon}(z,y))

...die mit irgendwem verheiratet sind:


\exists x,y,v,w (\texttt{verheiratetMit}(x,v) \wedge \texttt{verheiratetMit}(y,w) \wedge \texttt{kindVon}(z,x) \wedge \texttt{kindVon}(z,y))

Anfrage 4


\exists y (\texttt{Weiblich}(x) \wedge \texttt{verheiratetMit}(x,y) \wedge \texttt{ermordet}(x,y))

Anfrage 5


\texttt{verheiratetMit}(x,y) \wedge \texttt{ermordet}(x,x) \wedge \texttt{ermordet}(y,y)

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:


\texttt{Clever}(x) \leftarrow \texttt{Klug}(x)



\texttt{Clever}(x) \leftarrow \texttt{kennt}(x,y) \wedge \texttt{Klug}(y)

Formel 3

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


\leftarrow \texttt{Dominant}(vater(x)) \wedge \texttt{Dominant}(mutter(x))

Formel 4

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


\texttt{Klein}(x) \leftarrow \texttt{Seemann}(x) \wedge \texttt{Spinat}(y)
\wedge \texttt{liebt}(x,y) \wedge \texttt{liebt}(x,\texttt{olive\_oyl})


\texttt{Stark}(x) \leftarrow \texttt{Seemann}(x) \wedge \texttt{Spinat}(y)
\wedge \texttt{liebt}(x,y) \wedge \texttt{liebt}(x,\texttt{olive\_oyl})

Formel 5

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


\texttt{Weise}(x) \leftarrow \texttt{Maennlich}(x) \wedge \texttt{Klug}(x) \wedge \texttt{verheiratetMit}(x,y)


\texttt{Weise}(x) \leftarrow \texttt{Maennlich}(x) \wedge \texttt{Alt}(x) \wedge \texttt{verheiratetMit}(x,y)


\texttt{Kahl}(x) \leftarrow \texttt{Maennlich}(x) \wedge \texttt{Klug}(x) \wedge \texttt{verheiratetMit}(x,y)


\texttt{Kahl}(x) \leftarrow \texttt{Maennlich}(x) \wedge \texttt{Alt}(x) \wedge \texttt{verheiratetMit}(x,y)


Aufgabe 6.3

Aussage 1

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


\texttt{Ehrlich} \sqcap \exists \texttt{veruebt}.\texttt{Verbrechen}
\sqsubseteq \exists \texttt{zeigtAn}.\mathit{Self}

Aussage 2

Kann in OWL DL ausgedrückt werden:


\texttt{Klug} \sqcap \texttt{Ehrlich}
\sqsubseteq \neg \exists \texttt{veruebt}.\texttt{Verbrechen}

Aussage 3

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


\neg \texttt{zeigtAn}(\texttt{bonnie},\texttt{clyde})

Aussage 4

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


(\geq\! 10 \texttt{veruebt}.\texttt{Verbrechen})(\texttt{clyde})


Aussage 5

Kann in OWL DL ausgedrückt werden:


(\exists \texttt{veruebt}.(\texttt{Verbrechen} \sqcap \exists \texttt{veruebt}^-.\{\texttt{clyde}\}))(\texttt{bonnie})

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):


  \texttt{verdaechtigt} \circ \texttt{kennt}^- \sqsubseteq \texttt{verdaechtigt}

Fakten zu OWL1.1 und Regeln (6. Übung SWebT1 WS07/08)RDF-Feed
Datum 4. Februar 2008  +
Dozent Sebastian Rudolph  +
Endzeit 4. Februar 2008 13:00  +
Nummer 6  +
Ort Gebäude 11.40 Raum 231  +
Serie SWebT1 WS07/08  +
Startzeit 4. Februar 2008 11:30  +
Titel OWL 1.1 und Regeln  +
Unterlagen Uebung6 owl11rules.pdf  +
Persönliche Werkzeuge