W3C home > Mailing lists > Public > public-data-shapes-wg@w3.org > March 2015

Re: is there an implementation of Shape Expressions that correctly handles recursive shapes?

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Sat, 21 Mar 2015 18:10:13 -0700
Message-ID: <550E1675.2090804@gmail.com>
To: Eric Prud'hommeaux <eric@w3.org>
CC: RDF Data Shapes Working Group <public-data-shapes-wg@w3.org>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

I don't know whether that has helped.  I'm now getting an error.

peter


On 03/21/2015 05:15 PM, Eric Prud'hommeaux wrote:
> * Eric Prud'hommeaux <eric@w3.org> [2015-03-20 13:25-0400]
>> * Peter F. Patel-Schneider <pfpschneider@gmail.com> [2015-03-20
>> 09:29-0700]
>>> On 03/20/2015 07:53 AM, Eric Prud'hommeaux wrote:
>>>> * Peter F. Patel-Schneider <pfpschneider@gmail.com> [2015-03-20 
>>>> 06:54-0700]
>>> .
>>>>> 
>>>>> I tried the following example of a recursive shape in all the
>>>>> ways that I could think of in the online tools:
>>>>> 
>>>>> 
>>>>> SCHEMA:
>>>>> 
>>>>> PREFIX ex: <http://ex.example/#> start = <S> <S> { ex:p @<T>* }
>>>>> <T> { ( ex:q @<Z> | ex:r @<T> ) } <Z> { }
>>>>> 
>>>>> DATA:
>>>>> 
>>>>> PREFIX ex: <http://ex.example/#> ex:a ex:p ex:b . ex:a ex:p ex:c
>>>>> . ex:b ex:q ex:z . ex:c ex:q ex:z . ex:b ex:r ex:c . ex:c ex:r
>>>>> ex:b .
>>>>> 
>>>>> ShEx Demo (http://www.w3.org/2013/ShEx/FancyShExDemo) appears to
>>>>> go into an infinite loop on this input.
>>>> 
>>>> Interesting, what browser were you using?
>>> 
>>> Firefox.  I have attached a screenshot.
>> 
>> I tracked it down and I have a race condition in my parallelized 
>> validator. I'm going to have to scratch my head a bit to figure out how
>> to deal with this. In the mean time, I add a switch to run it in 
>> synchronous mode.
> 
> Added an Async switch.
> 
> http://www.w3.org/2013/ShEx/FancyShExDemo.html?starting-nodes=ex%3Aa&schema=PREFIX%20ex%3A%20%3Chttp%3A%2F%2Fex.example%2F%23%3E%0Astart%20%3D%20%3CS%3E%0A%3CS%3E%20%7B%20ex%3Ap%20%40%3CT%3E*%20%7D%0A%3CT%3E%20%7B%20(%20ex%3Aq%20%40%3CZ%3E%20%7C%20ex%3Ar%20%40%3CT%3E%20)%20%7D%0A%3CZ%3E%20%7B%20%7D%0A&data=PREFIX%20ex%3A%20%3Chttp%3A%2F%2Fex.example%2F%23%3E%0Aex%3Aa%20ex%3Ap%20ex%3Ab%20.%0Aex%3Aa%20ex%3Ap%20ex%3Ac%20.%0Aex%3Ab%20ex%3Aq%20ex%3Az%20.%0Aex%3Ac%20ex%3Aq%20ex%3Az%20.%0Aex%3Ab%20ex%3Ar%20ex%3Ac%20.%0Aex%3Ac%20ex%3Ar%20ex%3Ab%20.%0A#resNo0
>
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBAgAGBQJVDhZ0AAoJECjN6+QThfjzA7sH/A8SmkdEjo4vbExDC633xA6g
zPhRGXTxlwd9xgeYUKT7ndQ66CSodiAlU4Uy1qsp7WloV5P7gvAiyCEFWOXmxzob
Hx5BKCxePcnCyb2A88H1L8Wzx6E3E4PFk+TxRQnAgpurfwbL1kdwM43+dzLK3JBV
IzA+MrpmBMRZzR+mKOvwzxN0ozH9S7dvoAPMuEUb4DSDdZ+2VNyECY6uzi3f2vRN
fzC8pr1OD+qphH40o/GhoixeOobl5JxZVW1o5B/I42uRU7D0Sr0W1gX2KQETH+rj
rdZvnlMvpGzflZOZ3ySuhEn3ihuhOSUSrquiFisE59u/+HrpHN7X+VwX/gbWXLU=
=uLX9
-----END PGP SIGNATURE-----

ShEx.png
(image/png attachment: ShEx.png)

Received on Sunday, 22 March 2015 01:10:45 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:30:18 UTC