[TASK] Generic commit.
This commit is contained in:
parent
90fec1ba41
commit
7fbcaa96d2
@ -164,16 +164,53 @@ car:23 carOnt:hasNickname "Alf"^^xsd:string .
|
|||||||
|
|
||||||
\begin{frame}{Assertion Box (ABox) und Terminlogy Box (TBox)}
|
\begin{frame}{Assertion Box (ABox) und Terminlogy Box (TBox)}
|
||||||
\begin{itemize}
|
\begin{itemize}
|
||||||
\item Unterscheidung zwischen Faktenbasis und Terminologie
|
\item Unterscheidung zwischen Faktenbasis (ABox) und Terminologie (TBox)
|
||||||
\item Terminologie bietet Vokabular
|
\item TBox enthält Vokabular mit definierter Bedeutung
|
||||||
\begin{itemize}
|
\begin{itemize}
|
||||||
\item Objektklassen
|
\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}
|
\end{itemize}
|
||||||
\item Faktenbasis repräsentiert konkretes Wissen
|
|
||||||
\end{itemize}
|
\end{itemize}
|
||||||
\end{frame}
|
\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}
|
\subsection{Complex Event Processing}
|
||||||
\begin{frame}{Complex Event Processing}
|
\begin{frame}{Complex Event Processing}
|
||||||
|
Loading…
Reference in New Issue
Block a user