[TASK] Generic commit.

This commit is contained in:
Jan Philipp Timme 2016-10-17 13:56:07 +02:00
parent fcbfddc719
commit eb0269978d
1 changed files with 2 additions and 4 deletions

View File

@ -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}