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

Re: ISSUE-68: Updated definition

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Thu, 10 Mar 2016 20:29:14 -0800
To: Holger Knublauch <holger@topquadrant.com>, "public-data-shapes-wg@w3.org" <public-data-shapes-wg@w3.org>
Message-ID: <56E2499A.6010807@gmail.com>
On 03/10/2016 08:18 PM, Holger Knublauch wrote:
> On 11/03/2016 14:00, Peter F. Patel-Schneider wrote:
[...]
>> It appears that magic properties are where pre-binding is most needed.  This
>> is even outside a FILTER construct, so there is a need to allow multiple
>> values for the same variable.
> 
> Yes, but these multiple values are never passed in at once, but magic
> properties iterate over all input bindings, just like BGPs do.

Hmm.  The documentation at
https://www.w3.org/Submission/2011/SUBM-spin-modeling-20110222/#spin-rules-thisUnbound
seems to indicate that the pre-binding is for all permissible values at once.

The difference is noticeable, for example by using COUNT.

>> Given that pre-binding is in use in SPIN, is there a definition from SPIN that
>> can be used in SHACL?
> 
> SPIN never defined this, just vaguely hinted at "whatever Jena does".

So there is no pre-existing art that can be fallen back on.  Too bad.

> 
> Holger

peter
Received on Friday, 11 March 2016 04:29:46 UTC

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