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

Re: cyclic rules

From: Jose Emilio Labra Gayo <jelabra@gmail.com>
Date: Fri, 11 Jul 2014 07:06:34 +0200
Message-ID: <CAJadXXKEqiak9qQCkZ2jMth0gHxuLK2ZpezJT=cT3dxktm2VOg@mail.gmail.com>
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>
I have just implemented ranges.

You can play with this example: http://goo.gl/dAtK8m

Notice that it is not an efficient implementation by now (it just converts
the range to a list of ands and optionals) but it works for small numbers...

Best regards, Jose Labra


On Fri, Jul 11, 2014 at 5:06 AM, Jose Emilio Labra Gayo <jelabra@gmail.com>
wrote:

> 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
>



-- 
Saludos, Labra
Received on Friday, 11 July 2014 05:07:22 UTC

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