W3C home > Mailing lists > Public > public-rdf-shapes@w3.org > July 2014

Re: cyclic rules

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Thu, 10 Jul 2014 13:11:32 -0700
Message-ID: <53BEF374.6000101@gmail.com>
To: Jose Emilio Labra Gayo <jelabra@gmail.com>
CC: "Solbrig, Harold R." <Solbrig.Harold@mayo.edu>, "public-rdf-shapes@w3.org" <public-rdf-shapes@w3.org>, Jim Davies <jim.davies@cs.ox.ac.uk>
I played around with Eric's implementation, and it doesn't recognize
<Foo> :patron <Foo>, <Foo> .
as a <FooShape>.

Isn't that a bug?

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
>
>
>
Received on Thursday, 10 July 2014 20:12:02 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:02:39 UTC