Re: cyclic rules

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

Received on Friday, 11 July 2014 01:23:44 UTC