- From: Solbrig, Harold R. <Solbrig.Harold@mayo.edu>
- Date: Thu, 10 Jul 2014 20:31:39 +0000
- 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