RE: ShEx negation of edge path

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.

Received on Monday, 26 May 2014 09:55:58 UTC