Re: ISSUE-68: Simpler definition of pre-binding

On 21/04/2016 22:20, Peter F. Patel-Schneider wrote:
> Sure, basic graph patterns are processed in SPARQL, but this process (Section
> 18.3) does not involve evaluation of variables in basic graph patterns.  An
> implementation of the current spec would not be licensed to do replacement in
> basic graph patterns.

I disagree that BGPs do not evaluate variables (they take prior 
bindings, e.g. from nested elements, into account). Also my definition 
does not talk about replacement in BGPs, but only about injecting 
additional values into the stream of bindings that is used whenever an 
element is evaluated.

I have no idea how to proceed here, as this dialog between myself and 
Peter seems to run in circles. Is there anyone else here in the WG who 
has problems with my current definition, e.g. implementers would not 
know what to do?

Holger

>
> This may be only a matter of terminology.  However the spec is currently so
> imprecise that in many places it is not possible for me to determine the
> intent of the spec.
>
> When I encounter places where the intent of the spec is undeterminable or the
> spec is imprecise or self-contradictory I point them out.  It is vital that
> all these places are fixed before the working group is finished.  It is best
> to fix these places as soon as possible as it is quite often the case that
> elucidating the places where intent is unclear or there are imprecisions or
> contradictions will bring out significant problems.

Received on Friday, 22 April 2016 05:05:11 UTC