From eb0269978d27c867359c8d8a3bd1d6fad4913d62 Mon Sep 17 00:00:00 2001 From: Jan Philipp Timme Date: Mon, 17 Oct 2016 13:56:07 +0200 Subject: [PATCH] [TASK] Generic commit. --- Bachelorkolloquium.tex | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/Bachelorkolloquium.tex b/Bachelorkolloquium.tex index 540712e..94751ad 100644 --- a/Bachelorkolloquium.tex +++ b/Bachelorkolloquium.tex @@ -202,14 +202,11 @@ 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 . +driver:0 carOnt:hasName "Max Mustermann"^^xsd:string . \end{lstlisting} \end{frame} @@ -219,6 +216,7 @@ driver:0 carOnt:drives car:0 . \item Basiert auf einer gegebenen TBox \item Ermittelt in der ABox enthaltenes, implizites Wissen \end{itemize} +Bitte nicht erschrecken, die nächste Folie ist etwas voll. \end{frame} \begin{frame}[fragile]{Beispiel: Reasoning}