From 88c855fc563d26bd80a95913a135d3348c02a5bf Mon Sep 17 00:00:00 2001 From: Jan Philipp Timme Date: Wed, 12 Oct 2016 15:28:10 +0200 Subject: [PATCH] [TASK] Generic commit. --- Bachelorarbeit.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 .