[TASK] Generic commit.

Bachelorkolloquium.tex

@@ -143,6 +143,7 @@ Es folgt ein Beispiel \dots
 \end{frame}
 
 \begin{frame}[fragile]{Beispiel: Zwei RDF-Tripel in Turtle-Notation}
+RDF-Daten 
 \begin{lstlisting}
 @prefix car: <http://example.org/carSim/objects/Car#> .
 @prefix carModel: <http://example.org/carSim/objects/CarModel#> .
@@ -178,6 +179,7 @@ car:23	carOnt:hasNickname	"Alf"^^xsd:string .
 \end{frame}
 
 \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 .
@@ -189,11 +191,12 @@ carOnt:drives	rdfs:range	carOnt:Car .
 
 carOnt:isCarModel	rdf:type	rdf:Property .
 carOnt:isCarModel	rdfs:domain	carOnt:Car .
-carOnt.isCarModel	rdfs:range	carOnt.CarModel .
+carOnt.isCarModel	rdfs:range	carOnt:CarModel .
 \end{lstlisting}
 \end{frame}
 
 \begin{frame}[fragile]{Beispiel für eine ABox}
+Beschreibung eines PKW und dessen Fahrer mit der vorherigen TBox:
 \begin{lstlisting}
 car:0	rdf:type	carOnt:Car .
 car:0	carOnt:isCarModel	carModel:0 .
@@ -210,6 +213,13 @@ driver:0	carOnt:drives	car:0 .
 \end{lstlisting}
 \end{frame}
 
+\begin{frame}{Reasoning}
+\begin{itemize}
+\item Automatisches Anreichern von RDF-Daten
+\item Basiert auf der gegebenen TBox
+\item Ermittelt implizites Wissen in der ABox
+\end{itemize}
+\end{frame}
 
 
 \subsection{Complex Event Processing}