Re: ShEx negation of edge path

Having an implementation to play with will definitely help clarify usages
and relevancy of that feature.
(I am pretty sure this is a very important one).



On Mon, May 26, 2014 at 11:55 AM, Dam, Jesse van <jesse.vandam@wur.nl>wrote:

> Hi Olivier,
>
> There has been no clear discussion on the topic of negation, I think on
> one side it would be nice to have this feature and its easy to implement on
> the other side it might make the language going away from the essence of
> SHAPE expression and make the expression to complex to be easily readable.
>
> However I will add support for it in my javascript,SHEX/RDF based test
> script.
>
> Greetz,
> Jesse
> ________________________________
> Van: Olivier Rossel [olivier.rossel@gmail.com]
> Verzonden: maandag 26 mei 2014 11:25
> Aan: Dam, Jesse van
> CC: Gray, Alasdair J G; Jose Emilio Labra Gayo; Eric Prud'hommeaux;
> public-rdf-shapes@w3.org
> Onderwerp: Re: ShEx negation of edge path
>
> For my information:
>
> Will it be possible to negate a group?
> Something (roughly) like:
> <XXX> {
>  ^ (:p1 rdf:Resource | :p2 xsd:string)
> }
>
> Will it also be possible to negate a valueReference to a shape value?
> <XXX> {
>  ^ (:p3 @<YYY>)
> }
>
> Will I be able to say something like:
> <XXX> {
>  ^ :p3 @<YYY> ,
>  ^ (:p3 xsd:string | :p3 xsd:dateTime)
> }
>
>
> On Mon, May 26, 2014 at 11:04 AM, Dam, Jesse van <jesse.vandam@wur.nl
> <mailto:jesse.vandam@wur.nl>> wrote:
> Hi Alasdair and other,
>
> I would like to make you aware that is there is also my javscript based
> validation set, however this uses the SHEX/RDF representation instead of
> the SHEXc format.
> For the definition of the Shex/RDF in itself see
> https://www.w3.org/2001/sw/wiki/ShEx/RDF_serialization. Self validation
> succeeds and any test case is first validated before tested.
>
> The not operator is not implemented here yet, but I will add that this
> week.
>
> Here you can find https://github.com/jessevdam/shextest/ the complete
> set. It is completely coded in javascript. You can start the webserver
> using ruby(uses sinatra) and go to localhost:4567.
>
> The validation is bit different form to other validators and some test
> cases are failing as I try to find discussion point to improve SHEX. See
> the discussion page on
> https://www.w3.org/2001/sw/wiki/ShEx/CurrentDiscussion for the current
> most important discussion points. This test script contains a definition
> for a start element, however the final form of this is yet determined and
> will be part of a future discussion.
>
> This and next week I will try to include a parser for the ShexC format.
>
> Greetz Jesse
>
>
> ________________________________
> Van: Gray, Alasdair J G [A.J.G.Gray@hw.ac.uk<mailto:A.J.G.Gray@hw.ac.uk>]
> Verzonden: maandag 26 mei 2014 10:12
> Aan: Jose Emilio Labra Gayo
> CC: Eric Prud'hommeaux; public-rdf-shapes@w3.org<mailto:
> public-rdf-shapes@w3.org>
> Onderwerp: Re: ShEx negation of edge path
>
>
> On 24 May 2014, at 06:46, Jose Emilio Labra Gayo <jelabra@gmail.com
> <mailto:jelabra@gmail.com><mailto:jelabra@gmail.com<mailto:
> jelabra@gmail.com>>> wrote:
>
> On Fri, May 23, 2014 at 5:05 PM, Gray, Alasdair J G <A.J.G.Gray@hw.ac.uk
> <mailto:A.J.G.Gray@hw.ac.uk><mailto:A.J.G.Gray@hw.ac.uk<mailto:
> A.J.G.Gray@hw.ac.uk>>> wrote:
> Hi Eric, All,
>
> I want to be able to express the constraint that a certain resource in an
> RDF document should not have certain a property.
>
> Specifically, I want to express that the follow triple is not permitted
> because ex:resource is not permitted to have an ex:invalidProperty edge.
> ex:resource ex:invalidProperty “Some value” .
>
> You can negations with symbol !. For example:
>
> <Shape> { ! ex:invalidProperty . }
>
> That’s what I thought would be in the syntax.
>
> However, I think, negations are not yet implemented in the Javascript
> implementation.
>
> Thanks for that piece of information.
>
> I have just added negations to the Scala implementation (
> http://labra.github.io/ShExcala/)
>
> Unfortunately the deployment environment I’m working with requires that I
> use the Javascript implementation, although I may try the Scala version to
> validate the approach.
>
> Best regards
>
> Alasdair
>
> Best regards, Jose Labra
>
> Thanks
>
> Alasdair
>
> Alasdair J G Gray
> Lecturer in Computer Science, Heriot-Watt University, UK.
> Email: A.J.G.Gray@hw.ac.uk<mailto:A.J.G.Gray@hw.ac.uk><mailto:
> A.J.G.Gray@hw.ac.uk<mailto:A.J.G.Gray@hw.ac.uk>>
> Web: MailScanner has detected a possible fraud attempt from "
> www.macs.hw.ac.uk<http://www.macs.hw.ac.uk>" claiming to be
> http://www.alasdairjggray.co.uk<http://www.macs.hw.ac.uk/~ajg33>
> ORCID: http://orcid.org/0000-0002-5711-4872
> Telephone: +44 131 451 3429
> <tel:%2B44%20131%20451%203429><tel:%2B44%20131%20451%203429>
> Twitter: @gray_alasdair
>
>
>
>
>
>
> ________________________________
>
> Sunday Times Scottish University of the Year 2011-2013
> Top in the UK for student experience
> Fourth university in the UK and top in Scotland (National Student Survey
> 2012)
>
> We invite research leaders and ambitious early career researchers to join
> us in leading and driving research in key inter-disciplinary themes. Please
> see www.hw.ac.uk/researchleaders<http://www.hw.ac.uk/researchleaders><
> http://www.hw.ac.uk/researchleaders> for further information and how to
> apply.
>
> Heriot-Watt University is a Scottish charity registered under charity
> number SC000278.
>
>
>
> --
> Saludos, Labra
>
> Alasdair J G Gray
> Lecturer in Computer Science, Heriot-Watt University, UK.
> Email: A.J.G.Gray@hw.ac.uk<mailto:A.J.G.Gray@hw.ac.uk><mailto:
> A.J.G.Gray@hw.ac.uk<mailto:A.J.G.Gray@hw.ac.uk>>
> Web: MailScanner has detected a possible fraud attempt from "
> www.macs.hw.ac.uk<http://www.macs.hw.ac.uk>" claiming to be
> http://www.alasdairjggray.co.uk<http://www.macs.hw.ac.uk/~ajg33>
> ORCID: http://orcid.org/0000-0002-5711-4872
> Telephone: +44 131 451 3429<tel:%2B44%20131%20451%203429>
> Twitter: @gray_alasdair
>
>
>
>
>
>
> ________________________________
>
> Sunday Times Scottish University of the Year 2011-2013
> Top in the UK for student experience
> Fourth university in the UK and top in Scotland (National Student Survey
> 2012)
>
> We invite research leaders and ambitious early career researchers to join
> us in leading and driving research in key inter-disciplinary themes. Please
> see www.hw.ac.uk/researchleaders<http://www.hw.ac.uk/researchleaders> for
> further information and how to apply.
>
> Heriot-Watt University is a Scottish charity registered under charity
> number SC000278.
>
>
>
>
>