[TASK] Generic commit.

This commit is contained in:
Jan Philipp Timme 2016-10-17 13:50:52 +02:00
parent e734adff32
commit fcbfddc719

View File

@ -143,7 +143,7 @@ Es folgt ein Beispiel \dots
\end{frame} \end{frame}
\begin{frame}[fragile]{Beispiel: Zwei RDF-Tripel in Turtle-Notation} \begin{frame}[fragile]{Beispiel: Zwei RDF-Tripel in Turtle-Notation}
RDF-Daten Fakten über ein beispielhaftes Subjekt in RDF:
\begin{lstlisting} \begin{lstlisting}
@prefix car: <http://example.org/carSim/objects/Car#> . @prefix car: <http://example.org/carSim/objects/Car#> .
@prefix carModel: <http://example.org/carSim/objects/CarModel#> . @prefix carModel: <http://example.org/carSim/objects/CarModel#> .
@ -196,7 +196,7 @@ carOnt.isCarModel rdfs:range carOnt:CarModel .
\end{frame} \end{frame}
\begin{frame}[fragile]{Beispiel für eine ABox} \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} \begin{lstlisting}
car:0 rdf:type carOnt:Car . car:0 rdf:type carOnt:Car .
car:0 carOnt:isCarModel carModel:0 . car:0 carOnt:isCarModel carModel:0 .
@ -215,12 +215,35 @@ driver:0 carOnt:drives car:0 .
\begin{frame}{Reasoning} \begin{frame}{Reasoning}
\begin{itemize} \begin{itemize}
\item Automatisches Anreichern von RDF-Daten \item Prozess zum automatischen Anreichern von RDF-Daten
\item Basiert auf der gegebenen TBox \item Basiert auf einer gegebenen TBox
\item Ermittelt implizites Wissen in der ABox \item Ermittelt in der ABox enthaltenes, implizites Wissen
\end{itemize} \end{itemize}
\end{frame} \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} \subsection{Complex Event Processing}
\begin{frame}{Complex Event Processing} \begin{frame}{Complex Event Processing}