W3C home > Mailing lists > Public > public-data-shapes-wg@w3.org > January 2015

Re: example of recursive shapes

From: Arthur Ryman <ryman@ca.ibm.com>
Date: Thu, 29 Jan 2015 12:38:24 -0500
To: public-data-shapes-wg@w3.org
Message-ID: <OF526D5D7A.597DCB22-ON85257DDC.005F61F3-85257DDC.0060E7A8@ca.ibm.com>
"Peter F. Patel-Schneider" <pfpschneider@gmail.com> wrote on 01/24/2015 
12:18:41 PM:

> Shapes and Constraints (in ShExC plus OSLC controls)
> 
> <Polentoni> {
>    ex:livesIn ( ex:NorthernItaly ),
>    ex:knows @<Polentoni>*
> }
> 
> ex:Diego oslc:instanceShape <Polentoni> .
> 
> I don't believe that this setup can require that Enrico is not 
Polentoni.

Interesting example, but it would be a problem for OSLC Resource Shape 
since the spec did not specify how to terminate in the presence of cycles 
in the graph. 

-- Arthur Ryman
Received on Thursday, 29 January 2015 17:38:57 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 29 January 2015 17:38:57 UTC