diff --git a/Bachelorarbeit.tex b/Bachelorarbeit.tex index 34d358a..39deb5f 100644 --- a/Bachelorarbeit.tex +++ b/Bachelorarbeit.tex @@ -776,7 +776,7 @@ Um nun in C-SPARQL Ereignismuster formulieren zu können, die den Mustern aus Ka \begin{lstlisting} ?eventA rdf:type . \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 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: Ein Ereignis vom Typ X kam vor einem Ereignis von Typ Y. Innerhalb der \texttt{WHERE}-Klausel sieht dies wie folgt aus: \begin{lstlisting} ?eventX rdf:type .