Re: is this query in scope for sparql-exists

• From: Jeremy J Carroll <jjc@syapse.com>
• Date: Tue, 27 Sep 2016 09:19:49 -0700
• To: public-sparql-exists@w3.org
• Message-Id: <A4B1D4BD-50FF-43D3-A8C1-57F8C7CC3648@syapse.com>

james andersion suggested:
> it would be valuable to reduce the query and the dataset to the minimum case which demonstrates the deficiency, 
> record the correct result, and include the case in the test suite.

I found this case to be simple, with an empty dataset.


select *
{ BIND (1 as ?x) 
  FILTER EXISTS {
   # Uncomment optional block to correct
   #	OPTIONAL {
   #    <http://does.not.exist> <http://does.not.exist>  ?x
   # }
  	FILTER EXISTS {
   		FILTER (?x = 1) 
  	}
  }
}


correct answer is a single binding of ?x with value 1.
The particular implementation I am using gets confused with a doubly nested FILTER EXISTS: a confusion which the OPTIONAL block referring to ?x resolves.

Jeremy

Received on Tuesday, 27 September 2016 16:20:22 UTC