Re: shapes-ISSUE-143 (pre-binding in core): more pre-binding is needed in Section 3 [SHACL - Core]

I have added a couple of clarifications. If they do not look sufficient, 
please suggest alternative wording:

https://github.com/w3c/data-shapes/commit/34eed6214ee66c49b2b06cc3926c091318b057f8

Holger


On 9/04/2016 4:11, RDF Data Shapes Working Group Issue Tracker wrote:
> shapes-ISSUE-143 (pre-binding in core): more pre-binding is needed in Section 3 [SHACL - Core]
>
> http://www.w3.org/2014/data-shapes/track/issues/143
>
> Raised by: Peter Patel-Schneider
> On product: SHACL - Core
>
> The SHACL code in Section 3 depends on parameter pre-binding, but there is no support for parameter pre-binding in the core sections.
>
> For example, according to the leadup to Section 3.1.1 $class would be unbound (or unsubstituted) when the code for sh:ClassConstraintComponent is run
>
> SELECT $this ($this AS ?subject) $predicate (?value AS ?object)
> WHERE {
>  $this $predicate ?value .
>  FILTER NOT EXISTS { ?value rdf:type/rdfs:subClassOf* $class } .
> }
>
>
>
>
>

Received on Sunday, 10 April 2016 02:49:50 UTC