Re: proposed test pre-binding-006

It does SELECT * and thus returns only the variables that are in-scope
(visible) in the pattern.  The only variable that this covers is this, i.e.,
not the other pre-bound variables.

This is not a matter of intention.  This is a matter of the definition of SPARQL.

peter

On 05/12/2017 04:19 PM, Holger Knublauch wrote:
> It does SELECT * and thus returns all pre-bound variables. If in doubt, the
> test case has the intended semantics.
> 
>     SELECT $this
>     WHERE {
>         {
>             SELECT *
>             WHERE {
>                 FILTER ($this = ex:InvalidResource) .
>             }
>         }
>     }
> 
> Holger
> 
> 
> On 13/05/2017 3:44, Peter F. Patel-Schneider wrote:
>> The proposed test pre-binding-006 has a subquery that does not return all
>> potentially pre-bound variables, which means that the query does not meet the
>> requirements for pre-binding in SHACL and thus that SHACL-SPARQL
>> implementations must report a failure for the shape.
>>
>> However, the expected result of the test is not a failure.
>>
>> Peter F. Patel-Schneider
>> Nuance Communications
>>
> 
>

Received on Friday, 12 May 2017 23:33:56 UTC