JPT
/
bachelorthesis
0
0
Fork 0
Code Issues Pull Requests Activity

[TASK] Generic commit.

This commit is contained in:
Jan Philipp Timme 2016-10-12 20:40:08 +02:00
parent 174687ef57
commit a42acadd94
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Bachelorarbeit.tex
View File

@ -969,6 +969,7 @@ Das Ergebnis hieraus sind folgende Tripel, die \emph{zusätzlich} zu den Tripeln
:someEvent rdf:type :CarWearEvent .
:someOtherEvent rdf:type :CarWearEvent .
\end{lstlisting}
Wie man an dem Ergebnis erkennen kann, wurde für die beiden Subjekte aus der gegebenen ABox ermittelt, dass sie ebenfalls vom Typ \texttt{:CarWearEvent} sind. Dies ist darin begründet, dass die beiden Subjekte \texttt{:someEvent} und \texttt{:someOtherEvent} Instanzen von Klassen sind, welche laut den Aussagen in der TBox jeweils eine Unterklasse der Klasse \texttt{:CarWearEvent} sind. Somit tritt die Reasoning-Regel von RDFS in Kraft, die sinngemäß besagt: \enquote{Wenn ein Subjekt A Instanz einer Objektklasse X ist, welche wiederrum eine Subklasse der Klasse Y ist, so ist dieses Subjekt A ebenfalls Instanz der Klasse Y.}
Somit können innerhalb eines C-SPARQL-Queries beispielsweise alle Ereignisse einer bestimmten Sorte über ihre Oberklasse selektiert werden --- ein zusätzlicher Komfort, der durch den Einsatz von Rechenleistung erkauft werden kann. Die technischen Details von Reasoning innerhalb der C-SPARQL-Engine werden in Kapitel~\ref{cpt:csparql_reasoning} beleuchtet.