diff --git a/Bachelorkolloquium.tex b/Bachelorkolloquium.tex
index 6631c8d..fab8e44 100644
--- a/Bachelorkolloquium.tex
+++ b/Bachelorkolloquium.tex
@@ -186,6 +186,7 @@ car:23	carOnt:hasNickname	"Alf"^^xsd:string .
 \end{itemize}
 \end{frame}
 
+\begin{comment}
 \begin{frame}[fragile]{Beispiel für eine TBox}
 Definition der Klassen \texttt{Car}, \texttt{CarModel} und \texttt{Driver} in RDF-Schema (RDFS):
 \begin{lstlisting}
@@ -217,6 +218,7 @@ driver:1	:drives	car:5 .
 driver:1	:hasName	"Max Mustermann"^^xsd:string .
 \end{lstlisting}
 \end{frame}
+\end{comment}
 
 \begin{frame}{Reasoning}
 \begin{itemize}
@@ -229,11 +231,11 @@ Dazu folgt nun ein Beispiel \dots
 \end{frame}
 
 \begin{frame}[fragile]{Beispiel: Reasoning}
-Gegeben sei folgende ABox:
+Gegeben sei folgende Faktenbasis (ABox):
 \begin{lstlisting}
 :a	:drives	:b .
 \end{lstlisting}
-Führt man nun Reasoning mit Hilfe dieser TBox durch:
+Führt man nun Reasoning mit Hilfe dieser Terminologie (TBox) durch:
 \begin{lstlisting}
 :drives	rdf:type	rdf:Property .
 :drives	rdfs:domain	:Driver .