[TASK] Generic commit.

This commit is contained in:
Jan Philipp Timme 2016-10-12 15:27:14 +02:00
parent dcbc043bca
commit d9c2d66092
1 changed files with 1 additions and 1 deletions

View File

@ -776,7 +776,7 @@ Um nun in C-SPARQL Ereignismuster formulieren zu können, die den Mustern aus Ka
\begin{lstlisting} \begin{lstlisting}
?eventA rdf:type <http://example.org/type/A> . ?eventA rdf:type <http://example.org/type/A> .
\end{lstlisting} \end{lstlisting}
\item Der \textbf{Sequenzoperator} $X\ \rightarrow\ Y$: Um die zeitliche Abfolge von Ereignissen mit C-SPARQL zu formulieren, wird die \texttt{f:timestamp(?s,?p,?o)}-Funktion mit der \texttt{FILTER}-Anweisung kombiniert. Hat man bereits zwei Ereignisse --- je eines vom Typ X beziehungsweise Y --- selektiert, so kann man diese Anhand ihrer Zeitstempel filtern, sodass nur in der Ergebnismenge nur die Ereignisinstanzen übrig bleiben, für die gilt: Ereignis vom Typ X kam vor dem Ereignis von Typ Y. \item Der \textbf{Sequenzoperator} $X\ \rightarrow\ Y$: Um die zeitliche Abfolge von Ereignissen mit C-SPARQL zu formulieren, wird die \texttt{f:timestamp(?s,?p,?o)}-Funktion mit der \texttt{FILTER}-Anweisung kombiniert. Hat man bereits zwei Ereignisse --- je eines vom Typ X beziehungsweise Y --- selektiert, so kann man diese Anhand ihrer Zeitstempel filtern, sodass in der Ergebnismenge nur die Ereignisinstanzen übrig bleiben, für die gilt: Ereignis vom Typ X kam vor dem Ereignis von Typ Y.
Innerhalb der \texttt{WHERE}-Klausel sieht dies wie folgt aus: Innerhalb der \texttt{WHERE}-Klausel sieht dies wie folgt aus:
\begin{lstlisting} \begin{lstlisting}
?eventX rdf:type <http://example.org/type/X> . ?eventX rdf:type <http://example.org/type/X> .