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

[TASK] Generic commit.

This commit is contained in:
Jan Philipp Timme 2016-10-17 16:51:26 +02:00
parent 39774827e5
commit bb2b83d46d
1 changed files with 26 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

52
Bachelorkolloquium.tex
View File

@ -182,32 +182,32 @@ car:23 carOnt:hasNickname "Alf"^^xsd:string .
\begin{frame}[fragile]{Beispiel für eine TBox} \begin{frame}[fragile]{Beispiel für eine TBox}
Definition der Klassen \texttt{Car}, \texttt{CarModel} und \texttt{Driver} in RDFS: Definition der Klassen \texttt{Car}, \texttt{CarModel} und \texttt{Driver} in RDFS:
\begin{lstlisting} \begin{lstlisting}
carOnt:Car rdf:type rdfs:class . :Car rdf:type rdfs:class .
carOnt:CarModel rdf:type rdfs:class . :CarModel rdf:type rdfs:class .
carOnt:Driver rdf:type rdfs:class . :Driver rdf:type rdfs:class .
carOnt:drives rdf:type rdf:Property . :drives rdf:type rdf:Property .
carOnt:drives rdfs:domain carOnt:Driver . :drives rdfs:domain :Driver .
carOnt:drives rdfs:range carOnt:Car . :drives rdfs:range :Car .
carOnt:isCarModel rdf:type rdf:Property . :isCarModel rdf:type rdf:Property .
carOnt:isCarModel rdfs:domain carOnt:Car . :isCarModel rdfs:domain :Car .
carOnt.isCarModel rdfs:range carOnt:CarModel . .isCarModel rdfs:range :CarModel .
\end{lstlisting} \end{lstlisting}
\end{frame} \end{frame}
\begin{frame}[fragile]{Beispiel für eine ABox} \begin{frame}[fragile]{Beispiel für eine ABox}
Beschreibung eines PKW und dessen Fahrer mit Hilfe der Terminologie aus der vorherigen TBox: Beschreibung eines PKW und dessen Fahrer mit Hilfe der Terminologie aus der vorherigen TBox:
\begin{lstlisting} \begin{lstlisting}
car:0 rdf:type carOnt:Car . car:0 rdf:type :Car .
car:0 carOnt:isCarModel carModel:0 . car:0 :isCarModel carModel:0 .
carModel:0 rdf:type carOnt:CarModel . carModel:0 rdf:type :CarModel .
carModel:0 carOnt:maximumMotorRPM 4300 . carModel:0 :maximumMotorRPM 4300 .
driver:0 rdf:type carOnt:Driver . driver:0 rdf:type :Driver .
driver:0 carOnt:drives car:0 . driver:0 :drives car:0 .
driver:0 carOnt:hasName "Max Mustermann"^^xsd:string . driver:0 :hasName "Max Mustermann"^^xsd:string .
\end{lstlisting} \end{lstlisting}
\end{frame} \end{frame}
@ -224,23 +224,23 @@ Dazu folgt nun ein Beispiel
\begin{frame}[fragile]{Beispiel: Reasoning} \begin{frame}[fragile]{Beispiel: Reasoning}
Gegeben sei folgende ABox: Gegeben sei folgende ABox:
\begin{lstlisting} \begin{lstlisting}
:a carOnt:drives :b . :a :drives :b .
\end{lstlisting} \end{lstlisting}
Führt man nun Reasoning mit Hilfe dieser TBox durch: Führt man nun Reasoning mit Hilfe dieser TBox durch:
\begin{lstlisting} \begin{lstlisting}
carOnt:Vehicle rdf:type rdfs:class . :Vehicle rdf:type rdfs:class .
carOnt:Car rdf:type rdfs:class . :Car rdf:type rdfs:class .
carOnt:Car rdfs:subclassOf carOnt:Vehicle . :Car rdfs:subclassOf :Vehicle .
carOnt:drives rdf:type rdf:Property . :drives rdf:type rdf:Property .
carOnt:drives rdfs:domain carOnt:Driver . :drives rdfs:domain :Driver .
carOnt:drives rdfs:range carOnt:Car . :drives rdfs:range :Car .
\end{lstlisting} \end{lstlisting}
So ergibt sich daraus folgendes, zusätzliches Wissen: So ergibt sich daraus folgendes, zusätzliches Wissen:
\begin{lstlisting} \begin{lstlisting}
:a rdf:type carOnt:Driver . :a rdf:type :Driver .
:b rdf:type carOnt:Car . :b rdf:type :Car .
:b rdf:type carOnt:Vehicle . :b rdf:type :Vehicle .
\end{lstlisting} \end{lstlisting}
\end{frame} \end{frame}