From b21d9c2eae2219c0930b6b09aadb34f43da8b652 Mon Sep 17 00:00:00 2001
From: Jan Philipp Timme <jan.philipp@timme.it>
Date: Thu, 29 Sep 2016 18:29:53 +0200
Subject: [PATCH] [TASK] Generic commit.

---
 Bachelorarbeit.tex | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/Bachelorarbeit.tex b/Bachelorarbeit.tex
index b94abee..d3a8de9 100644
--- a/Bachelorarbeit.tex
+++ b/Bachelorarbeit.tex
@@ -700,6 +700,28 @@ verwendet werden.
 
 \todo{\dots} Ereignismuster lassen sich durch Sequenzen von auftretenden bzw. nicht auftretenden Ereignissen definieren. Um diese zu finden, müssen Tripel selektiert werden, die zu den benötigten Ereignistypen korrespondieren, wobei diese später über \texttt{FILTER}-Anweisungen in ihrer Reihenfolge festgelegt werden. Über Differenzen der durch \texttt{f:timestamp(?s,?p,?o)} angegebenen Zeitstempel von gegebenen Tripeln lassen sich auch zeitliche Beziehungen eingrenzen und festlegen.
 
+Pattern: A, NOT B, C:
+\begin{lstlisting}[label={},caption={C-SPARQL-Query für Muster $A\ \rightarrow\ (\neg B)\ \rightarrow C$}]
+REGISTER QUERY matchANotBC AS
+PREFIX f: <http://larkc.eu/csparql/sparql/jena/ext#>
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
+SELECT ?a ?b ?c
+FROM STREAM <http://example.org> [RANGE 5s STEP 1s]
+WHERE {
+	?a a <http://example.org/type/A> .
+	?c a <http://example.org/type/C> .
+	BIND(f:timestamp(?a,rdf:type,<http://example.org/type/A>) AS ?tsa)
+	BIND(f:timestamp(?c,rdf:type,<http://example.org/type/C>) AS ?tsc)
+	FILTER(?tsa < ?tsc)
+	FILTER NOT EXISTS {
+		?b a <http://example.org/type/B> .
+		BIND(f:timestamp(?b,rdf:type,<http://example.org/type/B>) AS ?tsb)
+		FILTER(?tsa < ?tsb && ?tsb < ?tsc)
+	}
+}
+\end{lstlisting}
+
 \paragraph{Aggregation von Ereignissen}
 \dots
 \begin{lstlisting}