- From: Jose Emilio Labra Gayo <jelabra@gmail.com>
- Date: Fri, 11 Jul 2014 05:06:09 +0200
- To: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
- Cc: "Eric Prud'hommeaux" <eric@w3.org>, "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: <CAJadXX+tTT9GZF+7p8DhzaK0hx_RDMVs-=Qs-fsLt9ibF+ABrw@mail.gmail.com>
Not yet. They are in my Todo list...I will implement them in the next weeks. On Friday, July 11, 2014, Peter F. Patel-Schneider <pfpschneider@gmail.com> wrote: > Can ShExcala handle number constraints? I get syntax errors when I try to use number constraints like {2,3} > > peter > > > On 07/10/2014 02:20 PM, Jose Emilio Labra Gayo wrote: >> >> I tried it in ShExcala and it validates: http://goo.gl/35ISLa >> >> With regards to your question about the spec, I think one of the goals of the >> charter is to work towards a common semantic specification of Shape Expressions. >> >> In the Shexcala implementation, I tried to follow the semantics of RelaxNG >> specification [1] which is defined using inference rules. I adapted those >> rules to ShEx and I described it here: >> >> https://www.w3.org/2001/sw/wiki/ShEx/OperationalSemantics_Operational_semantics >> >> Best regards, Jose Labra >> >> [1] https://www.oasis-open.org/committees/relax-ng/spec.html#semantics >> >> >> On Thu, Jul 10, 2014 at 11:01 PM, Eric Prud'hommeaux <eric@w3.org >> <mailto:eric@w3.org>> wrote: >> >> * Peter F. Patel-Schneider <pfpschneider@gmail.com >> <mailto: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> >> <mailto: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 <tel:%2B1.617.599.3509> >> mobile: +33.6.80.80.35.59 <tel:%2B33.6.80.80.35.59> >> >> (eric@w3.org <mailto: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. >> >> >> >> >> -- >> Saludos, Labra > -- Saludos, Labra
Received on Friday, 11 July 2014 03:06:37 UTC