W3C home > Mailing lists > Public > public-data-shapes-wg@w3.org > April 2016

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

From: Holger Knublauch <holger@topquadrant.com>
Date: Sun, 10 Apr 2016 12:49:16 +1000
To: public-data-shapes-wg@w3.org
Message-ID: <5709BF2C.5000609@topquadrant.com>
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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:30:31 UTC