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>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]
> Verzonden: maandag 26 mei 2014 10:12
> Aan: Jose Emilio Labra Gayo
> CC: Eric Prud'hommeaux; 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>> 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>> 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>
> Web: MailScanner has detected a possible fraud attempt from "
> 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.
>
>
>
> --
> 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>
> Web: MailScanner has detected a possible fraud attempt from "
> 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
> 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 for further information and how to apply.
>
> Heriot-Watt University is a Scottish charity registered under charity
> number SC000278.
>
>
>