diff --git a/rdf/rdf12/rdf-semantics/index.html b/rdf/rdf12/rdf-semantics/index.html index f88086cc..b9bbac5a 100644 --- a/rdf/rdf12/rdf-semantics/index.html +++ b/rdf/rdf12/rdf-semantics/index.html @@ -541,7 +541,17 @@

type
mf:PositiveEntailmentTest
approval
-
+
none
+
entailmentRegime
+
+
recognizedDatatypes
+
+ xsd:integer +
+
unrecognizedDatatypes
+
+ none +
action
canonical-literal-control.ttl diff --git a/sparql/sparql11/negation/graph-minus.rq b/sparql/sparql11/negation/graph-minus.rq new file mode 100644 index 00000000..8cb12d0e --- /dev/null +++ b/sparql/sparql11/negation/graph-minus.rq @@ -0,0 +1,10 @@ +prefix : + +SELECT ?a WHERE { + GRAPH ?g { + ?a :p :o + MINUS { + ?b :p :o + } + } +} \ No newline at end of file diff --git a/sparql/sparql11/negation/graph-minus.srx b/sparql/sparql11/negation/graph-minus.srx new file mode 100644 index 00000000..93f32878 --- /dev/null +++ b/sparql/sparql11/negation/graph-minus.srx @@ -0,0 +1,13 @@ + + + + + + + + + http://example/a + + + + diff --git a/sparql/sparql11/negation/graph-minus.ttl b/sparql/sparql11/negation/graph-minus.ttl new file mode 100644 index 00000000..799b40e0 --- /dev/null +++ b/sparql/sparql11/negation/graph-minus.ttl @@ -0,0 +1,3 @@ +@prefix : . + +:a :p :o . diff --git a/sparql/sparql11/negation/index.html b/sparql/sparql11/negation/index.html index e912d1ec..6dad54da 100644 --- a/sparql/sparql11/negation/index.html +++ b/sparql/sparql11/negation/index.html @@ -352,6 +352,31 @@

+
+ + graph-minus: + + outer GRAPH operator does not affect MINUS disjointness +
+
+
+
+
+
type
+
mf:QueryEvaluationTest
+
approval
+
+
action
+
+
+
+
+
result
+
+ graph-minus.srx +
+
+