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

Re: cyclic rules

From: Solbrig, Harold R. <Solbrig.Harold@mayo.edu>
Date: Thu, 10 Jul 2014 20:31:39 +0000
Message-Id: <d46aec$hoo2e1@ironport9.mayo.edu>
To: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>, Jose Emilio Labra Gayo <jelabra@gmail.com>
Cc: "public-rdf-shapes@w3.org" <public-rdf-shapes@w3.org>, Jim Davies <jim.davies@cs.ox.ac.uk>
Donąt think so ‹ <FooShape> says that every subject has exactly one patron
of shape Foo.  The shape below would pass your example:

prefix : <http://example.org/>

<FooShape> {
    :patron @<FooShape>+
}

As would the instance
<X> :patron <Y>.
<Y> :patron <X>.

(Note that the the ł<Foo>˛ in your example is *not* related to the shape
named <Foo>.   <X> :patron <X>,<X>. Would be an equally valid test)


On 7/10/14, 2:11 PM, "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
wrote:

>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:32:04 UTC

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