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

---
 Bachelorkolloquium.tex | 45 ++++++++++++++++++++++++++++++++++++++----
 1 file changed, 41 insertions(+), 4 deletions(-)

diff --git a/Bachelorkolloquium.tex b/Bachelorkolloquium.tex
index 3f12dd4..ae66c48 100644
--- a/Bachelorkolloquium.tex
+++ b/Bachelorkolloquium.tex
@@ -164,16 +164,53 @@ car:23	carOnt:hasNickname	"Alf"^^xsd:string .
 
 \begin{frame}{Assertion Box (ABox) und Terminlogy Box (TBox)}
 \begin{itemize}
-\item Unterscheidung zwischen Faktenbasis und Terminologie
-\item Terminologie bietet Vokabular
+\item Unterscheidung zwischen Faktenbasis (ABox) und Terminologie (TBox)
+\item TBox enthält Vokabular mit definierter Bedeutung
 \begin{itemize}
 \item Objektklassen
-\item Prädikate zur Verbindung von Objektklassen
+\item Prädikate
+\end{itemize}
+\item ABox enthält konkrete Fakten
+\begin{itemize}
+\item z.B. Wissen über existierende Objekte, \dots
 \end{itemize}
-\item Faktenbasis repräsentiert konkretes Wissen
 \end{itemize}
 \end{frame}
 
+\begin{frame}[fragile]{Beispiel für eine TBox}
+\begin{lstlisting}
+carOnt:Car	rdf:type	rdfs:class .
+carOnt:CarModel	rdf:type	rdfs:class .
+carOnt:Driver	rdf:type	rdfs:class .
+
+carOnt:drives	rdf:type	rdf:Property .
+carOnt:drives	rdfs:domain	carOnt:Driver .
+carOnt:drives	rdfs:range	carOnt:Car .
+
+carOnt:isCarModel	rdf:type	rdf:Property .
+carOnt:isCarModel	rdfs:domain	carOnt:Car .
+carOnt.isCarModel	rdfs:range	carOnt.CarModel .
+\end{lstlisting}
+\end{frame}
+
+\begin{frame}[fragile]{Beispiel für eine ABox}
+\begin{lstlisting}
+car:0	rdf:type	carOnt:Car .
+car:0	carOnt:isCarModel	carModel:0 .
+
+carModel:0	rdf:type	carOnt:CarModel .
+carModel:0	carOnt:minimumMotorRPM	2000 .
+carModel:0	carOnt:maximumMotorRPM	4300 .
+
+driver:0	rdf:type	carOnt:Driver .
+driver:0	carOnt:hasName	"Max Mustermann"^^xsd:string .
+
+car:0	carOnt:isDrivenBy	driver:0 .
+driver:0	carOnt:drives	car:0 .
+\end{lstlisting}
+\end{frame}
+
+
 
 \subsection{Complex Event Processing}
 \begin{frame}{Complex Event Processing}