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

Re: cyclic rules

From: Eric Prud'hommeaux <eric@w3.org>
Date: Thu, 10 Jul 2014 17:01:43 -0400
To: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
Cc: Jose Emilio Labra Gayo <jelabra@gmail.com>, "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>
Message-ID: <20140710210141.GC21491@w3.org>
* 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

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