Re: How would option b) on the last straw poll of 12 March work?

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1



On 03/15/2015 07:07 PM, Eric Prud'hommeaux wrote:
> cherry-picking the easy stuff 'cause i'm rather late for bed.
> 
> * Peter F. Patel-Schneider <pfpschneider@gmail.com> [2015-03-15
> 18:24-0700]
>> On 03/15/2015 05:39 PM, Eric Prud'hommeaux wrote:
>>> * Peter F. Patel-Schneider <pfpschneider@gmail.com> [2015-03-15 
>>> 12:55-0700]
>>>> A few questions and comments.
>>>> 
>>>> 
>>>> Is this the entirety of SHACL or just the core language?  The
>>>> language here does not cover closed shapes, exclusive or, global
>>>> constraints, maximum cardinality of 0, non-datatype type matching,
>>>> or datatype facets.
>>> 
>>> Agreed, it seemed wisest to start with a conservative subset and
>>> add.
>> 
>> The problem is that adding may be problematic or impossible.  How, for 
>> example, is this account going to handle closed shapes or global
>> constraints or extension via SPARQL code?
> 
> Closed shapes can be implemented if `triple constraint matches` returns a
> set of passing and failing triples and `shape matches` subtracts the
> passing from the failing, returning true if their are no more failing
> triples. `and constraint matches` returns all of the passing and failing
> and `or constraint matches` returns those from the passing disjuncts.

I don't think that this works correctly, or at least it runs counter to my
intuitions as to what closed shapes are supposed to do.  Consider a shape like
  S1 = and ( property p shape S2 ;
      property p shape S3 )
  S2 = property q
  S3 = property r
It seems to me that this should be a closed match to
  x p y .
  y q a .
  y r b .
but the S2 and S3 matches will return false.


peter

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBAgAGBQJVBsUcAAoJECjN6+QThfjzL1cH/0jkT9CSduikLNNdEnkGP+OW
6kaF0YAcDAe1QySRK+ZokvCMIyVsGcJpqBOmkcSCNL4Y+xiMpUT+Vh6xe28KLMsP
x+qyEA/Y2hHF1CIzcQ3LbqmuGZ2MyfaxyauE61OlObXCrM2xw+PGs4KV+HZpCcBK
bCuU6MAYJ3qpQGmjQ9SR1s9ooGbjR/14oK19Dn/c9BFY8X20EzbyLFxtI7jG+T7i
g/lppenSCNly0QnoW2VaPYLBfpZjuyn5kTLIh4FxAg/0mw0EhInsRerIE58Bn81K
4tXZQPFFcKnb1CIKwfYCkALmorBeCA6xrnhPhUlQuNTeUdVrhxV3ufRrKx4lMWs=
=ie3E
-----END PGP SIGNATURE-----

Received on Monday, 16 March 2015 11:57:47 UTC