- 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>
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