Re: cyclic rules

* Peter F. Patel-Schneider <pfpschneider@gmail.com> [2014-07-10 13:11-0700]
> I played around with Eric's implementation, and it doesn't recognize
> <Foo> :patron <Foo>, <Foo> .
> as a <FooShape>.
> 
> Isn't that a bug?

needs an '@' before the <FooShape>.
also, my quick hack of an RDF DB was a list instead of a set. fixed (i think).

http://www.w3.org/2013/ShEx/FancyShExDemo?starting-node=%3CFoo%3E&schema=PREFIX%20%3A%20%3C...%3E%0Astart%3D%3CFooShape%3E%0A%3CFooShape%3E%20%7B%0A%20%20%3Apatron%20%40%3CFooShape%3E%0A%7D%0A&data=PREFIX%20%3A%20%3C...%3E%0A%3CFoo%3E%20%3Apatron%20%3CFoo%3E%20.


> peter
> 
> 
> On 07/10/2014 12:53 PM, Jose Emilio Labra Gayo wrote:
> >I have tried your example in both implementations and it passes without
> >infinite loops.
> >
> >You can check it here:
> >
> >Eric's implementaion: http://goo.gl/kBbgCZ
> >Shexcala implementation: http://goo.gl/rUJ8OS
> >
> >
> >Best regards, Jose Labra
> >
> >
> >On Thu, Jul 10, 2014 at 9:24 PM, Peter F. Patel-Schneider
> ><pfpschneider@gmail.com <mailto:pfpschneider@gmail.com>> wrote:
> >
> >    Doesn't this cause an infinite loop on cyclic rules when there are cycles
> >    in the RDF graph?
> >
> >    Consider, for example
> >
> >    schema:
> >       <FooShape> {
> >         :patron <FooShape>
> >       }
> >
> >    data:
> >       <Foo> :patron <Foo> .
> >
> >
> >    peter
> >
> >
> >
> 

-- 
-ericP

office: +1.617.599.3509
mobile: +33.6.80.80.35.59

(eric@w3.org)
Feel free to forward this message to any list for any purpose other than
email address distribution.

There are subtle nuances encoded in font variation and clever layout
which can only be seen by printing this message on high-clay paper.

Received on Thursday, 10 July 2014 21:01:48 UTC