shex negation examples

from ShEx Dev:
[6:30:31 AM] Eric Prud'hommeaux: @ivoka, alasdair and i were working through negation expressions.
<S_1> { !dc:created xsd:date }    # dc:created xsd:date: reject, dc:created xsd:time ???
<S_2> { dc:created !xsd:date }    # dc:created xsd:date: reject, dc:created xsd:time reject
<S_3> { dc:created xsd:date {0} } # dc:created xsd:date: reject, dc:created xsd:time reject

<SE1> EXTRA dc:created { !dc:created xsd:date }    # dc:created xsd:date: reject, dc:created xsd:time ??? (maybe more likely to accept?)
<SE2> EXTRA dc:created { dc:created !xsd:date }    # dc:created xsd:date: reject, dc:created xsd:time accept
<SE3> EXTRA dc:created { dc:created xsd:date {0} } # dc:created xsd:date: reject, dc:created xsd:time accept

(Re: <S_1>, <SE1>, He's using the ShExDemo, which still has this negation. This is not defined in current ShEx
[6:36:31 AM] Benjamin Good: A potential shape validation problem in wikidata for genes, proteins, and annotations:  https://www.wikidata.org/wiki/User:I9606/shapes
[6:39:16 AM] Eric Prud'hommeaux: ultimately, i can't remember how `predicate !type` (with a simple type) differs from `predicate type{0}`
[6:39:51 AM] Eric Prud'hommeaux: i know you thought a lot about this so i'm hoping to take advantage of that

-- 
-ericP

office: +1.617.599.3509
mobile: +33.6.80.80.35.59

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

Received on Friday, 11 December 2015 13:33:37 UTC