Quelltext betrachten

{{Veranstaltung|
  Typ=Übung|
  Nummer=6|
  Titel=OWL 1.1 und Regeln|
  Serie=SWebT1 WS07/08|
  Datum=Feb 4 2008|  
  Startzeit=11:30|
  Endzeit=13:00|
  Ort=Gebäude 11.40 Raum 231|
  Dozent=Sebastian Rudolph|
 }}
Diese Übung umfasst Stoff aus den vorangegangenen beiden Vorlesungen zu '''[[OWL 1.1 - Syntax und Semantik (11. Vorlesung SWT1 WS07/08)|OWL 1.1]]''' und '''[[Semantic Web und Regeln (12. Vorlesung SWT1 WS07/08)|Regelsprachen im Semantic Web]]'''.

Download: [[Unterlagen::media:uebung6_owl11rules.pdf|Übungsblatt (PDF)]]

<noinclude>
== Lösungen ==

=== Aufgabe 6.1 ===

''Anfrage 1''

<math>
\exists z (\texttt{verheiratetMit}(x,y) \wedge \texttt{kindVon}(z,x) \wedge \texttt{kindVon}(z,y)) 
</math>

''Anfrage 2''

<math>
\exists y (\texttt{verheiratetMit}(x,y) \wedge \texttt{Weiblich}(x) \wedge \texttt{Katholisch}(x) \wedge \texttt{Priester}(x)) 
</math>

''Anfrage 3''

Hier gibt es zwei Interpretationen:<br> 
...die '''miteinander''' verheiratet sind:<br>
<math>
\exists x,y (\texttt{verheiratetMit}(x,y) \wedge \texttt{kindVon}(z,x) \wedge \texttt{kindVon}(z,y)) 
</math>

...die mit irgendwem verheiratet sind:<br>

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

''Anfrage 4''

<math>
\exists y (\texttt{Weiblich}(x) \wedge \texttt{verheiratetMit}(x,y) \wedge \texttt{ermordet}(x,y)) 
</math>

''Anfrage 5''

<math>
\texttt{verheiratetMit}(x,y) \wedge \texttt{ermordet}(x,x) \wedge \texttt{ermordet}(y,y) 
</math>

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

<math>
\texttt{Clever}(x) \leftarrow \texttt{Klug}(x) 
</math>


<math>
\texttt{Clever}(x) \leftarrow \texttt{kennt}(x,y) \wedge \texttt{Klug}(y) 
</math>

''Formel 3''

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

<math>
\leftarrow \texttt{Dominant}(vater(x)) \wedge \texttt{Dominant}(mutter(x))
</math>

''Formel 4''

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

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

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

''Formel 5''

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

<math>
\texttt{Weise}(x) \leftarrow \texttt{Maennlich}(x) \wedge \texttt{Klug}(x) \wedge \texttt{verheiratetMit}(x,y) 
</math>

<math>
\texttt{Weise}(x) \leftarrow \texttt{Maennlich}(x) \wedge \texttt{Alt}(x) \wedge \texttt{verheiratetMit}(x,y) 
</math>

<math>
\texttt{Kahl}(x) \leftarrow \texttt{Maennlich}(x) \wedge \texttt{Klug}(x) \wedge \texttt{verheiratetMit}(x,y) 
</math>

<math>
\texttt{Kahl}(x) \leftarrow \texttt{Maennlich}(x) \wedge \texttt{Alt}(x) \wedge \texttt{verheiratetMit}(x,y) 
</math>


=== Aufgabe 6.3 ===

''Aussage 1''

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

<math>
\texttt{Ehrlich} \sqcap \exists \texttt{veruebt}.\texttt{Verbrechen}
\sqsubseteq \exists \texttt{zeigtAn}.\mathit{Self} 
</math>

''Aussage 2''

Kann in OWL DL ausgedrückt werden:

<math>
\texttt{Klug} \sqcap \texttt{Ehrlich}
\sqsubseteq \neg \exists \texttt{veruebt}.\texttt{Verbrechen}
</math>

''Aussage 3''

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

<math>
\neg \texttt{zeigtAn}(\texttt{bonnie},\texttt{clyde})
</math>

''Aussage 4''

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

<math>
(\geq\! 10 \texttt{veruebt}.\texttt{Verbrechen})(\texttt{clyde})
</math>


''Aussage 5''

Kann in OWL DL ausgedrückt werden:

<math>
(\exists \texttt{veruebt}.(\texttt{Verbrechen} \sqcap \exists \texttt{veruebt}^-.\{\texttt{clyde}\}))(\texttt{bonnie})
</math>

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

<math>
  \texttt{verdaechtigt} \circ \texttt{kennt}^- \sqsubseteq \texttt{verdaechtigt}
</math>
</noinclude>