SPARQL 1.0: variable introduced by GRAPH is not affecting inner OPTIONAL (#230)

Author: Tpt

sparql/sparql10/graph/data-optional.ttl

@@ -0,0 +1,4 @@
+@prefix : <http://example/> .
+
+:s :p :o .
+:s2 :p <> .

sparql/sparql10/graph/graph-optional.rq

@@ -0,0 +1,5 @@
+PREFIX : <http://example/>
+
+SELECT ?g ?s {
+    GRAPH ?g { ?s ?p ?o OPTIONAL { ?s ?p ?g } }
+}

sparql/sparql10/graph/graph-optional.ttl

@@ -0,0 +1,13 @@
+@prefix : <http://example/> .
+@prefix rs:      <http://www.w3.org/2001/sw/DataAccess/tests/result-set#> .
+@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+
+[]    rdf:type      rs:ResultSet ;
+      rs:resultVariable  "g" , "s" ;
+      rs:solution   [ rs:binding    [ rs:value      <data-optional.ttl> ;
+                                      rs:variable   "g"
+                                    ] ;
+                       rs:binding   [ rs:value      :s2 ;
+                                      rs:variable   "s"
+                                    ]
+                    ] .

sparql/sparql10/graph/index.html

@@ -494,6 +494,32 @@ <h2>
             </dd>
           </dl>
         </dd>
+        <dt id='graph-optional'>
+          <a class='testlink' href='#graph-optional'>
+            graph-optional:
+          </a>
+          <span about='http://www.w3.org/2001/sw/DataAccess/tests/data-r2/graph/manifest#graph-optional' property='mf:name'>graph-optional</span>
+        </dt>
+        <dd inlist='true' property='mf:entry' resource='http://www.w3.org/2001/sw/DataAccess/tests/data-r2/graph/manifest#graph-optional' typeof='mf:QueryEvaluationTest'>
+          <div property='rdfs:comment'>
+            <p>The variable bound by the GRAPH operator is not used when evaluating a nested OPTIONAL</p>
+          </div>
+          <dl class='test-detail'>
+            <dt>type</dt>
+            <dd>mf:QueryEvaluationTest</dd>
+            <dt>approval</dt>
+            <dd property='mf:approval' resource=''></dd>
+            <dt>action</dt>
+            <dd>
+              <dl class='test-detail'>
+              </dl>
+            </dd>
+            <dt>result</dt>
+            <dd>
+              <a href='graph-optional.ttl' property='mf:result'>graph-optional.ttl</a>
+            </dd>
+          </dl>
+        </dd>
       </dl>
     </div>
     <footer>

sparql/sparql10/graph/manifest.ttl

@@ -26,6 +26,7 @@
 	:graph-not-exist
 	:graph-variable-scope
 	:graph-variable-join
+	:graph-optional
    ).
 
 :dawg-graph-01  rdf:type mf:QueryEvaluationTest ;
@@ -227,3 +228,13 @@
             ] ;
     mf:result  <graph-variable-join.ttl> ;
     .
+:graph-optional rdf:type mf:QueryEvaluationTest ;
+    mf:name "graph-optional" ;
+    rdfs:comment  "The variable bound by the GRAPH operator is not used when evaluating a nested OPTIONAL" ;
+    mf:action
+            [ qt:query        <graph-optional.rq> ;
+              qt:graphData    <data-optional.ttl> ;
+              qt:graphData    <data-g1.ttl>
+            ] ;
+    mf:result  <graph-optional.ttl> ;
+    .