@prefix dc: . @prefix rdf: . @prefix : . # --------------------------------------------- # This test cases are based on the dataset # testing/Optimizer/Test-data.n3 # # Author: Markus Stocker # Version: $Id$ # --------------------------------------------- rdf:type :TestCase ; dc:title "TA001" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?S1 ?P1 ?O1" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA002" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA003" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?S1 ?P1 ?O1" ; rdf:_2 "?S2 ?P2 ?O2" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "1" ; :edges "0" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA004" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p2 ?o2" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "1" ; :edges "0" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA005" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s1 ?p2 ?o2" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ]] . rdf:type :TestCase ; dc:title "TA006" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?s1 ?o2" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ]] . rdf:type :TestCase ; dc:title "TA007" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p2 ?s1" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ]] . rdf:type :TestCase ; dc:title "TA008" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?p1 ?p2 ?o2" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ]] . rdf:type :TestCase ; dc:title "TA009" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p1 ?o2" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ]] . rdf:type :TestCase ; dc:title "TA010" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p2 ?p1" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ]] . rdf:type :TestCase ; dc:title "TA011" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?o1 ?p2 ?o2" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ]] . rdf:type :TestCase ; dc:title "TA012" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?o1 ?o2" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ]] . rdf:type :TestCase ; dc:title "TA013" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p2 ?o1" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ]] . rdf:type :TestCase ; dc:title "TA014" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?o3" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "1" ; :edges "0" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ] ; rdf:_3 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA015" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 :p2 ?s1" ; rdf:_3 "?s3 :p3 ?o3" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA016" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?o1 :p2 ?o2" ; rdf:_3 "?s2 :p3 ?o3" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA017" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 :p2 ?o1" ; rdf:_3 "?s3 :p3 ?o2" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA018" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?s2 :p3 ?o3" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "1" ; :edges "0" ] ; rdf:_2 [ :nodes "2" ; :edges "1" ]] . rdf:type :TestCase ; dc:title "TA019" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?s2" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "1" ; :edges "0" ] ; rdf:_2 [ :nodes "2" ; :edges "1" ]] . rdf:type :TestCase ; dc:title "TA020" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?o2 :p3 ?o3" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "1" ; :edges "0" ] ; rdf:_2 [ :nodes "2" ; :edges "1" ]] . rdf:type :TestCase ; dc:title "TA021" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?o2" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "1" ; :edges "0" ] ; rdf:_2 [ :nodes "2" ; :edges "1" ]] . rdf:type :TestCase ; dc:title "TA022" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?s1 :p3 ?o3" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA023" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?s1" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA024" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?o1 :p3 ?o3" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA025" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?o1" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA026" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s1 :p2 ?o2" ; rdf:_3 "?s1 :p3 ?o3" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "3" ; :edges "3" ]] . rdf:type :TestCase ; dc:title "TA027" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s1 :p2 ?o2" ; rdf:_3 "?s2 :p3 ?s1" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "3" ; :edges "3" ]] . rdf:type :TestCase ; dc:title "TA028" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 :p2 ?s1" ; rdf:_3 "?s1 :p3 ?o3" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "3" ; :edges "3" ]] . rdf:type :TestCase ; dc:title "TA029" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s2 :p2 ?s1" ; rdf:_3 "?s3 :p3 ?s1" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "3" ; :edges "3" ]] . rdf:type :TestCase ; dc:title "TA030" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?o1 :p2 ?o2" ; rdf:_3 "?o1 :p3 ?o3" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "3" ; :edges "3" ]] . rdf:type :TestCase ; dc:title "TA031" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?o1 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?o1" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "3" ; :edges "3" ]] . rdf:type :TestCase ; dc:title "TA032" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s2 :p2 ?o1" ; rdf:_3 "?s3 :p3 ?o1" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "3" ; :edges "3" ]] . rdf:type :TestCase ; dc:title "TA033" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s1 :p2 ?o2" ; rdf:_3 "?o2 :p3 ?o3" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "3" ; :edges "2" ]] . rdf:type :TestCase ; dc:title "TA034" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?o1 :p2 ?o2" ; rdf:_3 "?o2 :p3 ?o3" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "3" ; :edges "2" ]] . rdf:type :TestCase ; dc:title "TA035" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s1 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?o2" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "3" ; :edges "2" ]] . rdf:type :TestCase ; dc:title "TA036" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?o1 :p2 ?o2 " ; rdf:_3 "?s3 :p3 ?o2" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "3" ; :edges "2" ]] . rdf:type :TestCase ; dc:title "TA037" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?o3" ; rdf:_4 "?s4 :p4 ?o4" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "1" ; :edges "0" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ] ; rdf:_3 [ :nodes "1" ; :edges "0" ] ; rdf:_4 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA038" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s1 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?o3" ; rdf:_4 "?s4 :p4 ?o4" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ] ; rdf:_3 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA039" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s2 :p2 ?s1" ; rdf:_3 "?s3 :p3 ?o3" ; rdf:_4 "?s4 :p4 ?o4" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ] ; rdf:_3 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA040" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?o1 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?o3" ; rdf:_4 "?s4 :p4 ?o4" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ] ; rdf:_3 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA041" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s2 :p2 ?o1" ; rdf:_3 "?s3 :p3 ?o3" ; rdf:_4 "?s4 :p4 ?o4" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ] ; rdf:_3 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA042" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?s1 :p3 ?o3" ; rdf:_4 "?s4 :p4 ?o4" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ] ; rdf:_3 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA043" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?s1" ; rdf:_4 "?s4 :p4 ?o4" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ] ; rdf:_3 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA044" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?o1 :p3 ?o3" ; rdf:_4 "?s4 :p4 ?o4" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ] ; rdf:_3 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA045" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?o1" ; rdf:_4 "?s4 :p4 ?o4" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ] ; rdf:_3 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA046" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?o3" ; rdf:_4 "?s2 :p4 ?o4" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "1" ; :edges "0" ] ; rdf:_2 [ :nodes "2" ; :edges "1" ] ; rdf:_3 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA047" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?o3" ; rdf:_4 "?s4 :p4 ?s2" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "1" ; :edges "0" ] ; rdf:_2 [ :nodes "2" ; :edges "1" ] ; rdf:_3 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA048" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?o3" ; rdf:_4 "?o2 :p4 ?o4" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "1" ; :edges "0" ] ; rdf:_2 [ :nodes "2" ; :edges "1" ] ; rdf:_3 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA049" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?o3" ; rdf:_4 "?s4 :p4 ?o2" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "1" ; :edges "0" ] ; rdf:_2 [ :nodes "2" ; :edges "1" ] ; rdf:_3 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA050" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s1 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?o3" ; rdf:_4 "?s3 :p4 ?o4" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ] ; rdf:_2 [ :nodes "2" ; :edges "1" ]] . rdf:type :TestCase ; dc:title "TA051" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s1 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?o3" ; rdf:_4 "?s4 :p4 ?o3" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ] ; rdf:_2 [ :nodes "2" ; :edges "1" ]] . rdf:type :TestCase ; dc:title "TA052" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s1 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?o3" ; rdf:_4 "?s1 :p4 ?o3" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "4" ; :edges "4" ]] . rdf:type :TestCase ; dc:title "TA053" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s2 :p2 ?s1" ; rdf:_3 "?s3 :p3 ?o3" ; rdf:_4 "?s1 :p4 ?s3" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "4" ; :edges "4" ]] . rdf:type :TestCase ; dc:title "TA054" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?s1" ; rdf:_4 "?s2 :p4 ?s3" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "4" ; :edges "3" ]] . rdf:type :TestCase ; dc:title "TA055" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s2 :p2 ?o2" ; rdf:_3 "?s3 :p3 ?s1" ; rdf:_4 "?s3 :p4 ?o4" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "3" ; :edges "2" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA056" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s2 :p2 ?s4" ; rdf:_3 "?s3 :p3 ?s2" ; rdf:_4 "?s4 :p4 ?s1" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "4" ; :edges "3" ]] . rdf:type :TestCase ; dc:title "TA057" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 ":s1 :p1 o1" ; rdf:_2 ":s1 :p2 o2" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "2" ; :edges "1" ]] . rdf:type :TestCase ; dc:title "TA058" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 ":s1 :p1 o1" ; rdf:_2 ":s2 :p2 o2" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "1" ; :edges "0" ] ; rdf:_2 [ :nodes "1" ; :edges "0" ]] . rdf:type :TestCase ; dc:title "TA059" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 ":s1 :p1 o1" ; rdf:_2 "o1 :p2 ?s2" ; rdf:_3 "?s3 ?p3 o1" ; rdf:_4 "?s2 ?p3 :p1" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "4" ; :edges "6" ]] . rdf:type :TestCase ; dc:title "TA060" ; :pattern [ rdf:type rdf:Seq ; rdf:_1 ":S1 :p1 o1" ; rdf:_2 "o1 :p2 ?S2" ; rdf:_3 "?s3 ?p3 o1" ; rdf:_4 "?s2 ?p3 :p1" ] ; :graph [ rdf:type rdf:Seq ; rdf:_1 [ :nodes "4" ; :edges "5" ]] .