Warning:
This wiki has been archived and is now read-only.
ShExDemo/Bugs
From RDF Data Shapes Working Group
result depends on order of triples in graph
category: recursive negation reported: Peter 22 Mar 2015 10:37:59 -0700 no:1 text: changing graph "order" changes results resolution: N/A
input1
schema:
PREFIX ex: <http://ex.example/#> <T> { ( ex:q @<Z> | ex:r @<T> ) } <Z> { }
data:
PREFIX ex: <http://ex.example/#> ex:b ex:q ex:z . ex:c ex:q ex:z . ex:b ex:r ex:c . ex:c ex:r ex:b .
test: !find-types result:
b matches T b matches Z c matches Z
status: reproduced
input2
schema:
PREFIX ex: <http://ex.example/#> <T> { ( ex:q @<Z> | ex:r @<T> ) } <Z> { }
data:
PREFIX ex: <http://ex.example/#> ex:c ex:q ex:z . ex:b ex:q ex:z . ex:b ex:r ex:c . ex:c ex:r ex:b .
test: !find-types result:
c matches T c matches Z b matches Z
status: reproduced
</div> </div>
2
category: recursive negation reported: Peter 22 Mar 2015 10:37:59 -0700 text: resolution: N/A
input
schema:
PREFIX ex: <http://ex.example/#> start = <T> <T> { ( ex:q @<Z> | ex:r @<T> ) } <Z> { }
data:
PREFIX ex: <http://ex.example/#> ex:b ex:q ex:z . ex:c ex:q ex:z . ex:d ex:q ex:z . ex:b ex:r ex:c . ex:c ex:r ex:d . ex:d ex:r ex:b .
test: test b c d as T result:
b failes T c matches T d fails Tstatus: reproduced
