shex-test
Version:
Shape Expressions library tests.
991 lines (869 loc) • 37.2 kB
text/shex
<../schemas/NOT1dotOR2dot.shex> ; "<S1> NOT { <p1> . } OR { <p1> .; <p2> . }"
<#NOT1dotOR2dot_pass-empty> "{ }" ; <empty.ttl> ;
<#NOT1dotOR2dot_pass-NoShape1> "{ <n1> <p2> <n2> }" ; <In1_Ip2_In2.ttl> ;
<#NOT1dotOR2dot_pass-Shape2> "{ <n1> <p1> <n2> . <n1> <p2> <n3> }" ; <In1_Ip1_In2.In1_Ip2_In3.ttl> ;
<#NOT1dotOR2dot_fail-Shape2> "{ <n1> <p1> <n2> }" ; <In1_Ip1_In2.ttl> ;
<../schemas/NOT1dotOR2dotX3.shex> ; "<S1> ((NOT { <p1> . } OR { <p1> .; <p2> . }) AND (NOT { <p3> . } OR { <p3> .; <p4> . }) AND (NOT { <p5> . } OR { <p5> .; <p6> . }) )"
<#NOT1dotOR2dotX3_pass-empty> "{ }" ; <empty.ttl> ;
<#NOT1dotOR2dotX3_pass-NoShape1> "{ <n1> <p2> <n2> }" ; <In1_Ip2_In2.ttl> ;
<#NOT1dotOR2dotX3_pass-Shape2> "{ <n1> <p1> <n2> . <n1> <p2> <n3> }" ; <In1_Ip1_In2.In1_Ip2_In3.ttl> ;
<#NOT1dotOR2dotX3_fail-Shape2> "{ <n1> <p1> <n2> }" ; <In1_Ip1_In2.ttl> ;
<../schemas/NOT1dotOR2dotX3AND1.shex> ; "<S1> ((NOT { <p1> . } OR { <p1> .; <p2> . }) AND (NOT { <p3> . } OR { <p3> .; <p4> . }) AND (NOT { <p5> . } OR { <p5> .; <p6> . }) AND ({ <p1> . } OR { <p3> . } OR { <p5> . } ) )"
<#NOT1dotOR2dotX3AND1_fail-empty> "{ }" ; <empty.ttl> ;
<#NOT1dotOR2dotX3AND1_fail-NoShape1> "{ <n1> <p2> <n2> }" ; <In1_Ip2_In2.ttl> ;
<#NOT1dotOR2dotX3AND1_pass-Shape2> "{ <n1> <p1> <n2> . <n1> <p2> <n3> }" ; <In1_Ip1_In2.In1_Ip2_In3.ttl> ;
<#NOT1dotOR2dotX3AND1_fail-Shape2> "{ <n1> <p1> <n2> }" ; <In1_Ip1_In2.ttl> ;
<S0> { <p1> NOT IRI }
<S1> { <p1> NOT(NOT IRI) }
<S2> { <p1> NOT [<v1> <v2> <v3>] }
<S3> { <p1> NOT(NOT [<v1>]) }
<S4> { <p1> NOT . }
<S5> { <p1> NOT(NOT .) }
<S6> { <p1> (NOT IRI) AND [<v1> <v2> <v3>] }
<S7> { <p1> NOT (IRI AND [<v1> <v2> <v3>]) }
<S8> { <p1> NOT IRI AND [<v1> <v2> <v3>] }
<S9> { <p1> (NOT [<v1>]) AND [<v2> <v3>] }
<S10> { <p1> NOT ([<v1>] AND [<v2> <v3>]) }
<S11> { <p1> NOT [<v1>] AND [<v2> <v3>] }
<S12> { <p1> (NOT IRI) OR [<v1> <v2> <v3>] }
<S13> { <p1> NOT (IRI OR [<v1> <v2> <v3>]) }
<S14> { <p1> NOT IRI OR [<v1> <v2> <v3>] }
<S15> { <p1> (NOT [<v1>]) OR [<v2> <v3>] }
<S16> { <p1> NOT ([<v1>] OR [<v2> <v3>]) }
<S17> { <p1> NOT [<v1>] OR [<v2> <v3>] }
<S18> NOT { <p1> NOT [<v1> <v2> <v3>] }
<../schemas/1NOTIRI.shex> <S1> { <p1> NOT IRI }
P <Is1_Ip1_Lv.ttl> { <s1> <p1> 'v' }
F <Is1_Ip1_Io1.ttl> { <s1> <p1> <o1> }
F <empty.ttl> { }
<../schemas/1NOTNOTIRI.shex><S1> { <p1> NOT(NOT IRI) }
F <Is1_Ip1_Lv.ttl> { <s1> <p1> 'v' }
P <Is1_Ip1_Io1.ttl> { <s1> <p1> <o1> }
<../schemas/1NOTvs.shex> <S1> { <p1> NOT [<v1> <v2> <v3>] }
F <Is1_Ip1_Iv1.ttl> { <s1> <p1> <v1> }
P <Is1_Ip1_Io1.ttl> { <s1> <p1> <o1> }
F <empty.ttl> { }
<../schemas/1NOTNOTvs.shex> <S1> { <p1> NOT(NOT [<v1>]) }
P <Is1_Ip1_Iv1.ttl> { <s1> <p1> <v1> }
F <Is1_Ip1_Io1.ttl> { <s1> <p1> <o1> }
<../schemas/1NOTdot.shex> <S1> { <p1> NOT . }
F <Is1_Ip1_Iv1.ttl> { <s1> <p1> <v1> }
F <Is1_Ip1_Io1.ttl> { <s1> <p1> <o1> }
F <empty.ttl> { }
<../schemas/1NOTNOTdot.shex> <S1> { <p1> NOT(NOT .) }
P <Is1_Ip1_Iv1.ttl> { <s1> <p1> <v1> }
P <Is1_Ip1_Io1.ttl> { <s1> <p1> <o1> }
<../schemas/1_NOTliteral_ANDvs.shex> <S1> { <p1> (NOT LITERAL) AND [<v1> <v2>] }
P <Is1_Ip1_Iv1.ttl> { <s1> <p1> <v1> }
F <Is1_Ip1_Io1.ttl> { <s1> <p1> <o1> }
F <Is1_Ip1_Lv.ttl> { <s1> <p1> 'v' }
<../schemas/1NOT_literalANDvs_.shex> <S1> { <p1> NOT (LITERAL AND [<v1> <v2>]) }
P <Is1_Ip1_Iv1.ttl> { <s1> <p1> <v1> }
P <Is1_Ip1_Lv.ttl> { <s1> <p1> 'v' }
<../schemas/1NOTliteralANDvs.shex> <S1> { <p1> NOT LITERAL AND [<v1> <v2>] }
P <Is1_Ip1_Iv1.ttl> { <s1> <p1> <v1> }
F <Is1_Ip1_Io1.ttl> { <s1> <p1> <o1> }
F <Is1_Ip1_Lv.ttl> { <s1> <p1> 'v' }
<../schemas/1_NOTvs_ANDvs.shex> <S1> { <p1> (NOT [<v1>]) AND [<v2>] }
F <Is1_Ip1_Iv1.ttl> { <s1> <p1> <v1> }
P <Is1_Ip1_Iv2.ttl> { <s1> <p1> <v2> }
F <Is1_Ip1_Iv3.ttl> { <s1> <p1> <v3> }
<../schemas/1NOT_vsANDvs_.shex> <S1> { <p1> NOT ([<v1>] AND [<v2>]) }
P <Is1_Ip1_Iv1.ttl> { <s1> <p1> <v1> }
P <Is1_Ip1_Iv2.ttl> { <s1> <p1> <v2> }
P <Is1_Ip1_Iv3.ttl> { <s1> <p1> <v3> }
<../schemas/1NOTvsANDvs.shex> <S1> { <p1> NOT [<v1>] AND [<v2>] }
F <Is1_Ip1_Iv1.ttl> { <s1> <p1> <v1> }
P <Is1_Ip1_Iv2.ttl> { <s1> <p1> <v2> }
F <Is1_Ip1_Iv3.ttl> { <s1> <p1> <v3> }
<../schemas/1_NOTliteral_ORvs.shex><S1> { <p1> (NOT LITERAL) OR [<v1> <v2>] }
F <Is1_Ip1_Iv1.ttl> { <s1> <p1> <v1> }
F <Is1_Ip1_Io1.ttl> { <s1> <p1> <o1> }
P <Is1_Ip1_Lv.ttl> { <s1> <p1> 'v' }
<../schemas/1NOT_literalORvs_.shex><S1> { <p1> NOT (LITERAL OR [<v1> <v2>]) }
F <Is1_Ip1_Iv1.ttl> { <s1> <p1> <v1> }
P <Is1_Ip1_Io1.ttl> { <s1> <p1> <o1> }
F <Is1_Ip1_Lv.ttl> { <s1> <p1> 'v' }
<../schemas/1NOTliteralORvs.shex><S1> { <p1> NOT LITERAL OR [<v1> <v2>] }
P <Is1_Ip1_Iv1.ttl> { <s1> <p1> <v1> }
P <Is1_Ip1_Io1.ttl> { <s1> <p1> <o1> }
F <Is1_Ip1_Lv.ttl> { <s1> <p1> 'v' }
<../schemas/1_NOTvs_ORvs.shex> <S1> { <p1> (NOT [<v1>]) OR [<v2>] }
F <Is1_Ip1_Iv1.ttl> { <s1> <p1> <v1> }
P <Is1_Ip1_Iv2.ttl> { <s1> <p1> <v2> }
P <Is1_Ip1_Iv3.ttl> { <s1> <p1> <v3> }
<../schemas/1NOT_vsORvs_.shex> <S1> { <p1> NOT ([<v1>] OR [<v2>]) }
F <Is1_Ip1_Iv1.ttl> { <s1> <p1> <v1> }
F <Is1_Ip1_Iv2.ttl> { <s1> <p1> <v2> }
P <Is1_Ip1_Iv3.ttl> { <s1> <p1> <v3> }
<../schemas/1NOTvsORvs.shex> <S1> { <p1> NOT [<v1>] OR [<v2>] }
F <Is1_Ip1_Iv1.ttl> { <s1> <p1> <v1> }
F <Is1_Ip1_Iv2.ttl> { <s1> <p1> <v2> }
P <Is1_Ip1_Iv3.ttl> { <s1> <p1> <v3> }
<../schemas/NOT1NOTvs.shex> <S1> NOT { <p1> NOT [<v1> <v2>] }
F <Is1_Ip1_Iv1.ttl> { <s1> <p1> <v1> }
F <Is1_Ip1_Iv2.ttl> { <s1> <p1> <v2> }
P <Is1_Ip1_Iv3.ttl> { <s1> <p1> <v3> }
P <../schemas/1NOTIRI.shex> <Is1_Ip1_Lv.ttl> "<S1> { <p1> NOT IRI } on { <s1> <p1> 'v' }" ;
F <../schemas/1NOTIRI.shex> <Is1_Ip1_Io1.ttl> "<S1> { <p1> NOT IRI } on { <s1> <p1> <o1> }" ;
F <../schemas/1NOTIRI.shex> <empty.ttl> "<S1> { <p1> NOT IRI } on { }" ;
F <../schemas/1NOTNOTIRI.shex> <Is1_Ip1_Lv.ttl> "<S1> { <p1> NOT(NOT IRI) } on { <s1> <p1> 'v' }" ;
P <../schemas/1NOTNOTIRI.shex> <Is1_Ip1_Io1.ttl> "<S1> { <p1> NOT(NOT IRI) } on { <s1> <p1> <o1> }" ;
F <../schemas/1NOTvs.shex> <Is1_Ip1_Iv1.ttl> "<S1> { <p1> NOT [<v1> <v2> <v3>] } on { <s1> <p1> <v1> }" ;
P <../schemas/1NOTvs.shex> <Is1_Ip1_Io1.ttl> "<S1> { <p1> NOT [<v1> <v2> <v3>] } on { <s1> <p1> <o1> }" ;
F <../schemas/1NOTvs.shex> <empty.ttl> "<S1> { <p1> NOT [<v1> <v2> <v3>] } on { }" ;
P <../schemas/1NOTNOTvs.shex> <Is1_Ip1_Iv1.ttl> "<S1> { <p1> NOT(NOT [<v1>]) } on { <s1> <p1> <v1> }" ;
F <../schemas/1NOTNOTvs.shex> <Is1_Ip1_Io1.ttl> "<S1> { <p1> NOT(NOT [<v1>]) } on { <s1> <p1> <o1> }" ;
F <../schemas/1NOTdot.shex> <Is1_Ip1_Iv1.ttl> "<S1> { <p1> NOT . } on { <s1> <p1> <v1> }" ;
F <../schemas/1NOTdot.shex> <Is1_Ip1_Io1.ttl> "<S1> { <p1> NOT . } on { <s1> <p1> <o1> }" ;
F <../schemas/1NOTdot.shex> <empty.ttl> "<S1> { <p1> NOT . } on { }" ;
P <../schemas/1NOTNOTdot.shex> <Is1_Ip1_Iv1.ttl> "<S1> { <p1> NOT(NOT .) } on { <s1> <p1> <v1> }" ;
P <../schemas/1NOTNOTdot.shex> <Is1_Ip1_Io1.ttl> "<S1> { <p1> NOT(NOT .) } on { <s1> <p1> <o1> }" ;
P <../schemas/1_NOTliteral_ANDvs.shex> <Is1_Ip1_Iv1.ttl> "<S1> { <p1> (NOT LITERAL) AND [<v1> <v2>] } on { <s1> <p1> <v1> }" ;
F <../schemas/1_NOTliteral_ANDvs.shex> <Is1_Ip1_Io1.ttl> "<S1> { <p1> (NOT LITERAL) AND [<v1> <v2>] } on { <s1> <p1> <o1> }" ;
F <../schemas/1_NOTliteral_ANDvs.shex> <Is1_Ip1_Lv.ttl> "<S1> { <p1> (NOT LITERAL) AND [<v1> <v2>] } on { <s1> <p1> 'v' }" ;
P <../schemas/1NOT_literalANDvs_.shex> <Is1_Ip1_Iv1.ttl> "<S1> { <p1> NOT (LITERAL AND [<v1> <v2>]) } on { <s1> <p1> <v1> }" ;
P <../schemas/1NOT_literalANDvs_.shex> <Is1_Ip1_Lv.ttl> "<S1> { <p1> NOT (LITERAL AND [<v1> <v2>]) } on { <s1> <p1> 'v' }" ;
P <../schemas/1NOTliteralANDvs.shex> <Is1_Ip1_Iv1.ttl> "<S1> { <p1> NOT LITERAL AND [<v1> <v2>] } on { <s1> <p1> <v1> }" ;
F <../schemas/1NOTliteralANDvs.shex> <Is1_Ip1_Io1.ttl> "<S1> { <p1> NOT LITERAL AND [<v1> <v2>] } on { <s1> <p1> <o1> }" ;
F <../schemas/1NOTliteralANDvs.shex> <Is1_Ip1_Lv.ttl> "<S1> { <p1> NOT LITERAL AND [<v1> <v2>] } on { <s1> <p1> 'v' }" ;
F <../schemas/1_NOTvs_ANDvs.shex> <Is1_Ip1_Iv1.ttl> "<S1> { <p1> (NOT [<v1>]) AND [<v2>] } on { <s1> <p1> <v1> }" ;
P <../schemas/1_NOTvs_ANDvs.shex> <Is1_Ip1_Iv2.ttl> "<S1> { <p1> (NOT [<v1>]) AND [<v2>] } on { <s1> <p1> <v2> }" ;
F <../schemas/1_NOTvs_ANDvs.shex> <Is1_Ip1_Iv3.ttl> "<S1> { <p1> (NOT [<v1>]) AND [<v2>] } on { <s1> <p1> <v3> }" ;
P <../schemas/1NOT_vsANDvs_.shex> <Is1_Ip1_Iv1.ttl> "<S1> { <p1> NOT ([<v1>] AND [<v2>]) } on { <s1> <p1> <v1> }" ;
P <../schemas/1NOT_vsANDvs_.shex> <Is1_Ip1_Iv2.ttl> "<S1> { <p1> NOT ([<v1>] AND [<v2>]) } on { <s1> <p1> <v2> }" ;
P <../schemas/1NOT_vsANDvs_.shex> <Is1_Ip1_Iv3.ttl> "<S1> { <p1> NOT ([<v1>] AND [<v2>]) } on { <s1> <p1> <v3> }" ;
F <../schemas/1NOTvsANDvs.shex> <Is1_Ip1_Iv1.ttl> "<S1> { <p1> NOT [<v1>] AND [<v2>] } on { <s1> <p1> <v1> }" ;
P <../schemas/1NOTvsANDvs.shex> <Is1_Ip1_Iv2.ttl> "<S1> { <p1> NOT [<v1>] AND [<v2>] } on { <s1> <p1> <v2> }" ;
F <../schemas/1NOTvsANDvs.shex> <Is1_Ip1_Iv3.ttl> "<S1> { <p1> NOT [<v1>] AND [<v2>] } on { <s1> <p1> <v3> }" ;
F <../schemas/1_NOTliteral_ORvs.shex> <Is1_Ip1_Iv1.ttl> "<S1> { <p1> (NOT LITERAL) OR [<v1> <v2>] } on { <s1> <p1> <v1> }" ;
F <../schemas/1_NOTliteral_ORvs.shex> <Is1_Ip1_Io1.ttl> "<S1> { <p1> (NOT LITERAL) OR [<v1> <v2>] } on { <s1> <p1> <o1> }" ;
P <../schemas/1_NOTliteral_ORvs.shex> <Is1_Ip1_Lv.ttl> "<S1> { <p1> (NOT LITERAL) OR [<v1> <v2>] } on { <s1> <p1> 'v' }" ;
F <../schemas/1NOT_literalORvs_.shex> <Is1_Ip1_Iv1.ttl> "<S1> { <p1> NOT (LITERAL OR [<v1> <v2>]) } on { <s1> <p1> <v1> }" ;
P <../schemas/1NOT_literalORvs_.shex> <Is1_Ip1_Io1.ttl> "<S1> { <p1> NOT (LITERAL OR [<v1> <v2>]) } on { <s1> <p1> <o1> }" ;
F <../schemas/1NOT_literalORvs_.shex> <Is1_Ip1_Lv.ttl> "<S1> { <p1> NOT (LITERAL OR [<v1> <v2>]) } on { <s1> <p1> 'v' }" ;
P <../schemas/1NOTliteralORvs.shex> <Is1_Ip1_Iv1.ttl> "<S1> { <p1> NOT LITERAL OR [<v1> <v2>] } on { <s1> <p1> <v1> }" ;
P <../schemas/1NOTliteralORvs.shex> <Is1_Ip1_Io1.ttl> "<S1> { <p1> NOT LITERAL OR [<v1> <v2>] } on { <s1> <p1> <o1> }" ;
F <../schemas/1NOTliteralORvs.shex> <Is1_Ip1_Lv.ttl> "<S1> { <p1> NOT LITERAL OR [<v1> <v2>] } on { <s1> <p1> 'v' }" ;
F <../schemas/1_NOTvs_ORvs.shex> <Is1_Ip1_Iv1.ttl> "<S1> { <p1> (NOT [<v1>]) OR [<v2>] } on { <s1> <p1> <v1> }" ;
P <../schemas/1_NOTvs_ORvs.shex> <Is1_Ip1_Iv2.ttl> "<S1> { <p1> (NOT [<v1>]) OR [<v2>] } on { <s1> <p1> <v2> }" ;
P <../schemas/1_NOTvs_ORvs.shex> <Is1_Ip1_Iv3.ttl> "<S1> { <p1> (NOT [<v1>]) OR [<v2>] } on { <s1> <p1> <v3> }" ;
F <../schemas/1NOT_vsORvs_.shex> <Is1_Ip1_Iv1.ttl> "<S1> { <p1> NOT ([<v1>] OR [<v2>]) } on { <s1> <p1> <v1> }" ;
F <../schemas/1NOT_vsORvs_.shex> <Is1_Ip1_Iv2.ttl> "<S1> { <p1> NOT ([<v1>] OR [<v2>]) } on { <s1> <p1> <v2> }" ;
P <../schemas/1NOT_vsORvs_.shex> <Is1_Ip1_Iv3.ttl> "<S1> { <p1> NOT ([<v1>] OR [<v2>]) } on { <s1> <p1> <v3> }" ;
F <../schemas/1NOTvsORvs.shex> <Is1_Ip1_Iv1.ttl> "<S1> { <p1> NOT [<v1>] OR [<v2>] } on { <s1> <p1> <v1> }" ;
F <../schemas/1NOTvsORvs.shex> <Is1_Ip1_Iv2.ttl> "<S1> { <p1> NOT [<v1>] OR [<v2>] } on { <s1> <p1> <v2> }" ;
P <../schemas/1NOTvsORvs.shex> <Is1_Ip1_Iv3.ttl> "<S1> { <p1> NOT [<v1>] OR [<v2>] } on { <s1> <p1> <v3> }" ;
F <../schemas/NOT1NOTvs.shex> <Is1_Ip1_Iv1.ttl> "<S1> NOT { <p1> NOT [<v1> <v2>] } on { <s1> <p1> <v1> }" ;
F <../schemas/NOT1NOTvs.shex> <Is1_Ip1_Iv2.ttl> "<S1> NOT { <p1> NOT [<v1> <v2>] } on { <s1> <p1> <v2> }" ;
P <../schemas/NOT1NOTvs.shex> <Is1_Ip1_Iv3.ttl> "<S1> NOT { <p1> NOT [<v1> <v2>] } on { <s1> <p1> <v3> }" ;
-----------------------------------------------------
<#1NOTIRI_passLv> a sht:ValidationTest ;
mf:name "1NOTIRI_passLv" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT IRI } on { <s1> <p1> 'v' }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTIRI.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Lv.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTIRI_failIo1> a sht:ValidationFailure ;
mf:name "1NOTIRI_failIo1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT IRI } on { <s1> <p1> <o1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTIRI.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Io1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTIRI_failempty> a sht:ValidationFailure ; ;
mf:name "1NOTIRI_Fempty" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT IRI } on { }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTIRI.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <empty.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTNOTIRI_failLv> a sht:ValidationFailure ;
mf:name "1NOTNOTIRI_failLv" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT(NOT IRI) } on { <s1> <p1> 'v' }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTNOTIRI.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Lv.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTNOTIRI_passIo1> a sht:ValidationTest ;
mf:name "1NOTNOTIRI_passIo1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT(NOT IRI) } on { <s1> <p1> <o1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTNOTIRI.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Io1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTvs_failIv1> a sht:ValidationFailure ;
mf:name "1NOTvs_failIv1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT [<v1> <v2> <v3>] } on { <s1> <p1> <v1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTvs_passIo1> a sht:ValidationTest ;
mf:name "1NOTvs_passIo1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT [<v1> <v2> <v3>] } on { <s1> <p1> <o1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Io1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTvs_failempty> a sht:ValidationFailure ; ;
mf:name "1NOTvs_Fempty" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT [<v1> <v2> <v3>] } on { }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <empty.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTNOTvs_passIv1> a sht:ValidationTest ;
mf:name "1NOTNOTvs_passIv1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT(NOT [<v1>]) } on { <s1> <p1> <v1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTNOTvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTNOTvs_failIo1> a sht:ValidationFailure ;
mf:name "1NOTNOTvs_failIo1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT(NOT [<v1>]) } on { <s1> <p1> <o1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTNOTvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Io1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTdot_failIv1> a sht:ValidationFailure ;
mf:name "1NOTdot_failIv1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT . } on { <s1> <p1> <v1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTdot.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTdot_failIo1> a sht:ValidationFailure ;
mf:name "1NOTdot_failIo1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT . } on { <s1> <p1> <o1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTdot.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Io1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTdot_failempty> a sht:ValidationFailure ; ;
mf:name "1NOTdot_Fempty" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT . } on { }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTdot.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <empty.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTNOTdot_passIv1> a sht:ValidationTest ;
mf:name "1NOTNOTdot_passIv1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT(NOT .) } on { <s1> <p1> <v1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTNOTdot.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTNOTdot_passIo1> a sht:ValidationTest ;
mf:name "1NOTNOTdot_passIo1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT(NOT .) } on { <s1> <p1> <o1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTNOTdot.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Io1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1_NOTliteral_ANDvs_passIv1> a sht:ValidationTest ;
mf:name "1_NOTliteral_ANDvs_passIv1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> (NOT LITERAL) AND [<v1> <v2>] } on { <s1> <p1> <v1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1_NOTliteral_ANDvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1_NOTliteral_ANDvs_failIo1> a sht:ValidationFailure ;
mf:name "1_NOTliteral_ANDvs_failIo1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> (NOT LITERAL) AND [<v1> <v2>] } on { <s1> <p1> <o1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1_NOTliteral_ANDvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Io1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1_NOTliteral_ANDvs_failLv> a sht:ValidationFailure ;
mf:name "1_NOTliteral_ANDvs_failLv" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> (NOT LITERAL) AND [<v1> <v2>] } on { <s1> <p1> 'v' }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1_NOTliteral_ANDvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Lv.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOT_literalANDvs__passIv1> a sht:ValidationTest ;
mf:name "1NOT_literalANDvs__passIv1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT (LITERAL AND [<v1> <v2>]) } on { <s1> <p1> <v1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOT_literalANDvs_.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOT_literalANDvs__passLv> a sht:ValidationTest ;
mf:name "1NOT_literalANDvs__passLv" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT (LITERAL AND [<v1> <v2>]) } on { <s1> <p1> 'v' }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOT_literalANDvs_.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Lv.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTliteralANDvs_passIv1> a sht:ValidationTest ;
mf:name "1NOTliteralANDvs_passIv1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT LITERAL AND [<v1> <v2>] } on { <s1> <p1> <v1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTliteralANDvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTliteralANDvs_failIo1> a sht:ValidationFailure ;
mf:name "1NOTliteralANDvs_failIo1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT LITERAL AND [<v1> <v2>] } on { <s1> <p1> <o1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTliteralANDvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Io1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTliteralANDvs_failLv> a sht:ValidationFailure ;
mf:name "1NOTliteralANDvs_failLv" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT LITERAL AND [<v1> <v2>] } on { <s1> <p1> 'v' }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTliteralANDvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Lv.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1_NOTvs_ANDvs_failIv1> a sht:ValidationFailure ;
mf:name "1_NOTvs_ANDvs_failIv1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> (NOT [<v1>]) AND [<v2>] } on { <s1> <p1> <v1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1_NOTvs_ANDvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1_NOTvs_ANDvs_passIv2> a sht:ValidationTest ;
mf:name "1_NOTvs_ANDvs_passIv2" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> (NOT [<v1>]) AND [<v2>] } on { <s1> <p1> <v2> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1_NOTvs_ANDvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv2.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1_NOTvs_ANDvs_failIv3> a sht:ValidationFailure ;
mf:name "1_NOTvs_ANDvs_failIv3" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> (NOT [<v1>]) AND [<v2>] } on { <s1> <p1> <v3> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1_NOTvs_ANDvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv3.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOT_vsANDvs__passIv1> a sht:ValidationTest ;
mf:name "1NOT_vsANDvs__passIv1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT ([<v1>] AND [<v2>]) } on { <s1> <p1> <v1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOT_vsANDvs_.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOT_vsANDvs__passIv2> a sht:ValidationTest ;
mf:name "1NOT_vsANDvs__passIv2" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT ([<v1>] AND [<v2>]) } on { <s1> <p1> <v2> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOT_vsANDvs_.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv2.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOT_vsANDvs__passIv3> a sht:ValidationTest ;
mf:name "1NOT_vsANDvs__passIv3" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT ([<v1>] AND [<v2>]) } on { <s1> <p1> <v3> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOT_vsANDvs_.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv3.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTvsANDvs_failIv1> a sht:ValidationFailure ;
mf:name "1NOTvsANDvs_failIv1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT [<v1>] AND [<v2>] } on { <s1> <p1> <v1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTvsANDvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTvsANDvs_passIv2> a sht:ValidationTest ;
mf:name "1NOTvsANDvs_passIv2" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT [<v1>] AND [<v2>] } on { <s1> <p1> <v2> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTvsANDvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv2.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTvsANDvs_failIv3> a sht:ValidationFailure ;
mf:name "1NOTvsANDvs_failIv3" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT [<v1>] AND [<v2>] } on { <s1> <p1> <v3> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTvsANDvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv3.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1_NOTliteral_ORvs_passIv1> a sht:ValidationTest ;
mf:name "1_NOTliteral_ORvs_passIv1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> (NOT LITERAL) OR [<v1> <v2>] } on { <s1> <p1> <v1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1_NOTliteral_ORvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1_NOTliteral_ORvs_failIo1> a sht:ValidationFailure ;
mf:name "1_NOTliteral_ORvs_failIo1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> (NOT LITERAL) OR [<v1> <v2>] } on { <s1> <p1> <o1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1_NOTliteral_ORvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Io1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1_NOTliteral_ORvs_passLv> a sht:ValidationTest ;
mf:name "1_NOTliteral_ORvs_passLv" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> (NOT LITERAL) OR [<v1> <v2>] } on { <s1> <p1> 'v' }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1_NOTliteral_ORvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Lv.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOT_literalORvs__failIv1> a sht:ValidationFailure ;
mf:name "1NOT_literalORvs__failIv1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT (LITERAL OR [<v1> <v2>]) } on { <s1> <p1> <v1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOT_literalORvs_.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOT_literalORvs__passIo1> a sht:ValidationTest ;
mf:name "1NOT_literalORvs__passIo1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT (LITERAL OR [<v1> <v2>]) } on { <s1> <p1> <o1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOT_literalORvs_.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Io1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOT_literalORvs__failLv> a sht:ValidationFailure ;
mf:name "1NOT_literalORvs__failLv" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT (LITERAL OR [<v1> <v2>]) } on { <s1> <p1> 'v' }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOT_literalORvs_.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Lv.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTliteralORvs_passIv1> a sht:ValidationTest ;
mf:name "1NOTliteralORvs_passIv1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT LITERAL OR [<v1> <v2>] } on { <s1> <p1> <v1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTliteralORvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTliteralORvs_passIo1> a sht:ValidationTest ;
mf:name "1NOTliteralORvs_passIo1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT LITERAL OR [<v1> <v2>] } on { <s1> <p1> <o1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTliteralORvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Io1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTliteralORvs_failLv> a sht:ValidationFailure ;
mf:name "1NOTliteralORvs_failLv" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT LITERAL OR [<v1> <v2>] } on { <s1> <p1> 'v' }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTliteralORvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Lv.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1_NOTvs_ORvs_failIv1> a sht:ValidationFailure ;
mf:name "1_NOTvs_ORvs_failIv1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> (NOT [<v1>]) OR [<v2>] } on { <s1> <p1> <v1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1_NOTvs_ORvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1_NOTvs_ORvs_passIv2> a sht:ValidationTest ;
mf:name "1_NOTvs_ORvs_passIv2" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> (NOT [<v1>]) OR [<v2>] } on { <s1> <p1> <v2> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1_NOTvs_ORvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv2.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1_NOTvs_ORvs_passIv3> a sht:ValidationTest ;
mf:name "1_NOTvs_ORvs_passIv3" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> (NOT [<v1>]) OR [<v2>] } on { <s1> <p1> <v3> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1_NOTvs_ORvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv3.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOT_vsORvs__failIv1> a sht:ValidationFailure ;
mf:name "1NOT_vsORvs__failIv1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT ([<v1>] OR [<v2>]) } on { <s1> <p1> <v1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOT_vsORvs_.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOT_vsORvs__failIv2> a sht:ValidationFailure ;
mf:name "1NOT_vsORvs__failIv2" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT ([<v1>] OR [<v2>]) } on { <s1> <p1> <v2> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOT_vsORvs_.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv2.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOT_vsORvs__passIv3> a sht:ValidationTest ;
mf:name "1NOT_vsORvs__passIv3" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT ([<v1>] OR [<v2>]) } on { <s1> <p1> <v3> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOT_vsORvs_.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv3.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTvsORvs_failIv1> a sht:ValidationFailure ;
mf:name "1NOTvsORvs_failIv1" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT [<v1>] OR [<v2>] } on { <s1> <p1> <v1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTvsORvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTvsORvs_failIv2> a sht:ValidationFailure ;
mf:name "1NOTvsORvs_failIv2" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT [<v1>] OR [<v2>] } on { <s1> <p1> <v2> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTvsORvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv2.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTvsORvs_passIv3> a sht:ValidationTest ;
mf:name "1NOTvsORvs_passIv3" ;
sht:trait null ;
rdfs:comment "<S1> { <p1> NOT [<v1>] OR [<v2>] } on { <s1> <p1> <v3> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/1NOTvsORvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv3.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#NOT1NOTvs_failIv1> a sht:ValidationFailure ;
mf:name "NOT1NOTvs_failIv1" ;
sht:trait null ;
rdfs:comment "<S1> NOT { <p1> NOT [<v1> <v2>] } on { <s1> <p1> <v1> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/NOT1NOTvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv1.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#NOT1NOTvs_failIv2> a sht:ValidationFailure ;
mf:name "NOT1NOTvs_failIv2" ;
sht:trait null ;
rdfs:comment "<S1> NOT { <p1> NOT [<v1> <v2>] } on { <s1> <p1> <v2> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/NOT1NOTvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv2.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#NOT1NOTvs_passIv3> a sht:ValidationTest ;
mf:name "NOT1NOTvs_passIv3" ;
sht:trait null ;
rdfs:comment "<S1> NOT { <p1> NOT [<v1> <v2>] } on { <s1> <p1> <v3> }" ;
mf:status mf:proposed ;
mf:action [
sht:schema <../schemas/NOT1NOTvs.shex> ;
sht:shape <http://a.example/S1> ;
sht:data <Is1_Ip1_Iv3.ttl> ;
sht:focus <http://a.example/s1>
]
.
<#1NOTIRI_passLv>
<#1NOTIRI_failIo1>
<#1NOTIRI_failempty> ;
<#1NOTNOTIRI_failLv>
<#1NOTNOTIRI_passIo1>
<#1NOTvs_failIv1>
<#1NOTvs_passIo1>
<#1NOTvs_failempty> ;
<#1NOTNOTvs_passIv1>
<#1NOTNOTvs_failIo1>
<#1NOTdot_failIv1>
<#1NOTdot_failIo1>
<#1NOTdot_failempty> ;
<#1NOTNOTdot_passIv1>
<#1NOTNOTdot_passIo1>
<#1_NOTliteral_ANDvs_passIv1>
<#1_NOTliteral_ANDvs_failIo1>
<#1_NOTliteral_ANDvs_failLv>
<#1NOT_literalANDvs__passIv1>
<#1NOT_literalANDvs__passLv>
<#1NOTliteralANDvs_passIv1>
<#1NOTliteralANDvs_failIo1>
<#1NOTliteralANDvs_failLv>
<#1_NOTvs_ANDvs_failIv1>
<#1_NOTvs_ANDvs_passIv2>
<#1_NOTvs_ANDvs_failIv3>
<#1NOT_vsANDvs__passIv1>
<#1NOT_vsANDvs__passIv2>
<#1NOT_vsANDvs__passIv3>
<#1NOTvsANDvs_failIv1>
<#1NOTvsANDvs_passIv2>
<#1NOTvsANDvs_failIv3>
<#1_NOTliteral_ORvs_passIv1>
<#1_NOTliteral_ORvs_failIo1>
<#1_NOTliteral_ORvs_passLv>
<#1NOT_literalORvs__failIv1>
<#1NOT_literalORvs__passIo1>
<#1NOT_literalORvs__failLv>
<#1NOTliteralORvs_passIv1>
<#1NOTliteralORvs_passIo1>
<#1NOTliteralORvs_failLv>
<#1_NOTvs_ORvs_failIv1>
<#1_NOTvs_ORvs_passIv2>
<#1_NOTvs_ORvs_passIv3>
<#1NOT_vsORvs__failIv1>
<#1NOT_vsORvs__failIv2>
<#1NOT_vsORvs__passIv3>
<#1NOTvsORvs_failIv1>
<#1NOTvsORvs_failIv2>
<#1NOTvsORvs_passIv3>
<#NOT1NOTvs_failIv1>
<#NOT1NOTvs_failIv2>
<#NOT1NOTvs_passIv3>
---------------------------------------------------------
<../schemas/1NOTIRI.shex> <http://a.example/S1> { <http://a.example/p1> NOT IRI }
<../schemas/1NOTNOTIRI.shex><http://a.example/S1> { <http://a.example/p1> NOT(NOT IRI) }
<../schemas/1NOTvs.shex> <http://a.example/S1> { <http://a.example/p1> NOT [<http://a.example/v1> <http://a.example/v2> <http://a.example/v3>] }
<../schemas/1NOTNOTvs.shex> <http://a.example/S1> { <http://a.example/p1> NOT(NOT [<http://a.example/v1>]) }
<../schemas/1NOTdot.shex> <http://a.example/S1> { <http://a.example/p1> NOT . }
<../schemas/1NOTNOTdot.shex> <http://a.example/S1> { <http://a.example/p1> NOT(NOT .) }
<../schemas/1_NOTliteral_ANDvs.shex> <http://a.example/S1> { <http://a.example/p1> (NOT LITERAL) AND [<http://a.example/v1> <http://a.example/v2>] }
<../schemas/1NOT_literalANDvs_.shex> <http://a.example/S1> { <http://a.example/p1> NOT (LITERAL AND [<http://a.example/v1> <http://a.example/v2>]) }
<../schemas/1NOTliteralANDvs.shex> <http://a.example/S1> { <http://a.example/p1> NOT LITERAL AND [<http://a.example/v1> <http://a.example/v2>] }
<../schemas/1_NOTvs_ANDvs.shex> <http://a.example/S1> { <http://a.example/p1> (NOT [<http://a.example/v1>]) AND [<http://a.example/v2>] }
<../schemas/1NOT_vsANDvs_.shex> <http://a.example/S1> { <http://a.example/p1> NOT ([<http://a.example/v1>] AND [<http://a.example/v2>]) }
<../schemas/1NOTvsANDvs.shex> <http://a.example/S1> { <http://a.example/p1> NOT [<http://a.example/v1>] AND [<http://a.example/v2>] }
<../schemas/1_NOTliteral_ORvs.shex><http://a.example/S1> { <http://a.example/p1> (NOT LITERAL) OR [<http://a.example/v1> <http://a.example/v2>] }
<../schemas/1NOT_literalORvs_.shex><http://a.example/S1> { <http://a.example/p1> NOT (LITERAL OR [<http://a.example/v1> <http://a.example/v2>]) }
<../schemas/1NOTliteralORvs.shex><http://a.example/S1> { <http://a.example/p1> NOT LITERAL OR [<http://a.example/v1> <http://a.example/v2>] }
<../schemas/1_NOTvs_ORvs.shex> <http://a.example/S1> { <http://a.example/p1> (NOT [<http://a.example/v1>]) OR [<http://a.example/v2>] }
<../schemas/1NOT_vsORvs_.shex> <http://a.example/S1> { <http://a.example/p1> NOT ([<http://a.example/v1>] OR [<http://a.example/v2>]) }
<../schemas/1NOTvsORvs.shex> <http://a.example/S1> { <http://a.example/p1> NOT [<http://a.example/v1>] OR [<http://a.example/v2>] }
<../schemas/NOT1NOTvs.shex> <http://a.example/S1> NOT { <http://a.example/p1> NOT [<http://a.example/v1> <http://a.example/v2>] }