Konjunktive Anfragen und Regeln für OWL (5. Übung SWebT1 WS09/10)

Aus Semantic-Web-Grundlagen

Wechseln zu: Navigation, Suche
Übung
Konjunktive Anfragen und Regeln für OWL
Dozent Sebastian Rudolph
Datum Feb 1 2010
von 9:45
bis 11:15
Ort Gebäude 11.40 Raum 231
Veranstaltungsreihe SWebT1 WS09/10
Nummer 5

Diese Übung umfasst Stoff aus den vorangegangenen beiden Vorlesungen zu konjunktiven Anfragen und Regelsprachen und Regeln für OWL.

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 2 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 2 direkt ausgedrückt werden (Negation einer Rolle):


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

Aussage 4

Kann nur in OWL 2 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 2 ausgedrückt werden.


Aussage 7

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


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

Fakten zu Konjunktive Anfragen und Regeln für OWL (5. Übung SWebT1 WS09/10)RDF-Feed
Datum 1. Februar 2010  +
Dozent Sebastian Rudolph  +
Endzeit 1. Februar 2010 11:15  +
Nummer 5  +
Ort Gebäude 11.40 Raum 231  +
Serie SWebT1 WS09/10  +
Startzeit 1. Februar 2010 09:45  +
Titel Konjunktive Anfragen und Regeln für OWL  +
Unterlagen Uebung6-regeln-owl2-ws0910.pdf  +
Persönliche Werkzeuge