JPT
/
bachelorcolloquium
0
0
Fork 0
Code Issues Pull Requests Activity

[TASK] Generic commit.

This commit is contained in:
Jan Philipp Timme 2016-10-18 14:04:21 +02:00
parent 29124f83e2
commit 5369fc727d
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Bachelorkolloquium.tex
View File

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