From fcbfddc71959ed7568250483e5e64928eddabf73 Mon Sep 17 00:00:00 2001
From: Jan Philipp Timme <jan.philipp@timme.it>
Date: Mon, 17 Oct 2016 13:50:52 +0200
Subject: [PATCH] [TASK] Generic commit.

---
 Bachelorkolloquium.tex | 33 ++++++++++++++++++++++++++++-----
 1 file changed, 28 insertions(+), 5 deletions(-)

diff --git a/Bachelorkolloquium.tex b/Bachelorkolloquium.tex
index f2b15f1..540712e 100644
--- a/Bachelorkolloquium.tex
+++ b/Bachelorkolloquium.tex
@@ -143,7 +143,7 @@ Es folgt ein Beispiel \dots
 \end{frame}
 
 \begin{frame}[fragile]{Beispiel: Zwei RDF-Tripel in Turtle-Notation}
-RDF-Daten 
+Fakten über ein beispielhaftes Subjekt in RDF:
 \begin{lstlisting}
 @prefix car: <http://example.org/carSim/objects/Car#> .
 @prefix carModel: <http://example.org/carSim/objects/CarModel#> .
@@ -196,7 +196,7 @@ carOnt.isCarModel	rdfs:range	carOnt:CarModel .
 \end{frame}
 
 \begin{frame}[fragile]{Beispiel für eine ABox}
-Beschreibung eines PKW und dessen Fahrer mit der vorherigen TBox:
+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 .
@@ -215,12 +215,35 @@ driver:0	carOnt:drives	car:0 .
 
 \begin{frame}{Reasoning}
 \begin{itemize}
-\item Automatisches Anreichern von RDF-Daten
-\item Basiert auf der gegebenen TBox
-\item Ermittelt implizites Wissen in der ABox
+\item Prozess zum automatischen Anreichern von RDF-Daten
+\item Basiert auf einer gegebenen TBox
+\item Ermittelt in der ABox enthaltenes, implizites Wissen
 \end{itemize}
 \end{frame}
 
+\begin{frame}[fragile]{Beispiel: Reasoning}
+Gegeben sei folgende ABox:
+\begin{lstlisting}
+:a carOnt: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 .
+
+carOnt:drives	rdf:type	rdf:Property .
+carOnt:drives	rdfs:domain	carOnt:Driver .
+carOnt:drives	rdfs:range	carOnt: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 .
+\end{lstlisting}
+\end{frame}
+
 
 \subsection{Complex Event Processing}
 \begin{frame}{Complex Event Processing}