From bb2b83d46d16fce0016bfc34a8cac203277cad75 Mon Sep 17 00:00:00 2001
From: Jan Philipp Timme <jan.philipp@timme.it>
Date: Mon, 17 Oct 2016 16:51:26 +0200
Subject: [PATCH] [TASK] Generic commit.

---
 Bachelorkolloquium.tex | 52 +++++++++++++++++++++---------------------
 1 file changed, 26 insertions(+), 26 deletions(-)

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