Re: example of recursive shapes

"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