Warning:
This wiki has been archived and is now read-only.

ShExDemo/Bugs

From RDF Data Shapes Working Group

Jump to: navigation, search

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

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

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

</div> </div>

category: recursive negation reported: Peter 22 Mar 2015 10:37:59 -0700 text: resolution: N/A

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 T