@prefix dc: . @prefix rdf: . @prefix rdfs: . @prefix : . # --------------------------------------------- # This test cases are based on the dataset # data/ontology/Test-data.n3 # # Author: Markus Stocker # Version: $Id$ # --------------------------------------------- rdf:type :TestCase ; dc:title "TB001" ; :heuristic "BGP_VARIABLE_COUNTING" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s1 :p2 :o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p2 :o2" ; rdf:_2 "?s1 ?p1 ?o1" ] . rdf:type :TestCase ; dc:title "TB002" ; :heuristic "BGP_VARIABLE_COUNTING" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s1 ?p2 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s1 ?p2 ?o2" ] . rdf:type :TestCase ; dc:title "TB003" ; :heuristic "BGP_VARIABLE_COUNTING" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 :o1" ; rdf:_2 "?s1 ?p2 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 :o1" ; rdf:_2 "?s1 ?p2 ?o2" ] . rdf:type :TestCase ; rdfs:comment "There is no optimization for this BGP. Although the order of the triple patterns may potentially be reordered differently after optimization, internally triple patterns are processed in the order they are added to the graph (nodes and edges are lists ordered by OID, not unordered sets, which is for convenience only, as by definition the set of nodes of an undirected graph is unordered)" ; dc:title "TB004" ; :heuristic "BGP_VARIABLE_COUNTING" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s1 ?p2 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s1 ?p2 ?o2" ] . rdf:type :TestCase ; dc:title "TB005" ; :heuristic "BGP_VARIABLE_COUNTING" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s1 :p2 :o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p2 :o2" ; rdf:_2 "?s1 :p1 ?o1" ] . rdf:type :TestCase ; dc:title "TB006" ; :heuristic "BGP_VARIABLE_COUNTING" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 ":s1 :p1 :o1" ; rdf:_2 ":s1 :p2 :o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 ":s1 :p1 :o1" ; rdf:_2 ":s1 :p2 :o2" ] . rdf:type :TestCase ; dc:title "TB007" ; :heuristic "BGP_VARIABLE_COUNTING" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 :p1 ?o1" ; rdf:_2 "?s2 :p1 :o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s2 :p1 :o2" ; rdf:_2 "?s1 :p1 ?o1" ] . rdf:type :TestCase ; rdfs:comment "This example includes the problem of new variable introduction during triple pattern processing. At no stage, there should be a triple pattern which introduces only new variables and, thus, cannot be joined with the previous triple patterns. The :s3 join is the most selectivite, thus, it is executed first. The pattern with subject :s1 is executed last, because at the third position it would not be joined with the previous patterns." ; dc:title "TB008" ; :heuristic "BGP_VARIABLE_COUNTING" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 ":s1 :p1 :o1" ; rdf:_2 "?s2 :p2 :s1" ; rdf:_3 ":s3 :p3 ?s2" ; rdf:_4 ":s3 :p4 :o4" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 ":s3 :p4 :o4" ; rdf:_2 ":s3 :p3 ?s2" ; rdf:_3 "?s2 :p2 :s1" ; rdf:_4 ":s1 :p1 :o1" ] . rdf:type :TestCase ; dc:title "TB009" ; :heuristic "BGP_VARIABLE_COUNTING" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p2 ?s1"] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p2 ?s1"] . rdf:type :TestCase ; dc:title "TB010" ; :heuristic "BGP_VARIABLE_COUNTING" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?o1 ?p2 ?o2"] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?o1 ?p2 ?o2"] . rdf:type :TestCase ; dc:title "TB011" ; :heuristic "BGP_VARIABLE_COUNTING" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p2 ?o1"] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p2 ?o1"] . rdf:type :TestCase ; dc:title "TB012" ; :heuristic "BGP_VARIABLE_COUNTING" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p1 ?o2"] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p1 ?o2"] . rdf:type :TestCase ; dc:title "TB013" ; :heuristic "BGP_VARIABLE_COUNTING" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p1 ?o2"] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p1 ?o2"] . rdf:type :TestCase ; dc:title "TB014" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s1 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o2" ; rdf:_2 "?s1 ?o1" ] . rdf:type :TestCase ; dc:title "TB015" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s1 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s1 ?o2" ] . rdf:type :TestCase ; dc:title "TB016" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 " ?o1" ; rdf:_2 " ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 " ?o1" ; rdf:_2 " ?o2" ] . rdf:type :TestCase ; dc:title "TB017" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 " ?o1" ; rdf:_2 " ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 " ?o2" ; rdf:_2 " ?o1" ] . rdf:type :TestCase ; dc:title "TB018" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s1 ?p2 xxx-xxx-xxx" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p2 xxx-xxx-xxx" ; rdf:_2 "?s1 ?p1 ?o1" ] . rdf:type :TestCase ; dc:title "TB019" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s1 ?p2 xxx-xxx-xxx" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s1 ?p2 xxx-xxx-xxx" ] . rdf:type :TestCase ; dc:title "TB020" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s1 ?p2 person3@msn.com" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p2 person3@msn.com" ; rdf:_2 "?s1 ?o1" ] . rdf:type :TestCase ; dc:title "TB021" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s2 ?p2 ?o1" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s2 ?p2 ?o1" ] . rdf:type :TestCase ; dc:title "TB022" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?o1" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s2 ?o1" ; rdf:_2 "?s1 ?p1 ?o1" ] . rdf:type :TestCase ; dc:title "TB023" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 xxx-xxx-xxx" ; rdf:_2 "?s2 ?p2 xxx-xxx-xxx" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 xxx-xxx-xxx" ; rdf:_2 "?s2 ?p2 xxx-xxx-xxx" ] . rdf:type :TestCase ; dc:title "TB024" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 xxx-xxx-xxx" ; rdf:_2 "?s2 xxx-xxx-xxx" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s2 xxx-xxx-xxx" ; rdf:_2 "?s1 ?p1 xxx-xxx-xxx" ] . rdf:type :TestCase ; dc:title "TB025" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p2 ?o2" ; rdf:_3 "?s3 ?p3 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p2 ?o2" ; rdf:_3 "?s3 ?p3 ?o3" ] . rdf:type :TestCase ; dc:title "TB026" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s1 ?p2 ?o2" ; rdf:_3 "?s1 ?p3 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s1 ?p2 ?o2" ; rdf:_3 "?s1 ?p3 ?o3" ] . rdf:type :TestCase ; dc:title "TB027" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s1 ?o2" ; rdf:_3 "?s1 ?p3 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o2" ; rdf:_2 "?s1 ?p1 ?o1" ; rdf:_3 "?s1 ?p3 ?o3" ] . rdf:type :TestCase ; dc:title "TB028" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s1 ?p2 ?o2" ; rdf:_3 "?s1 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o3" ; rdf:_2 "?s1 ?p1 ?o1" ; rdf:_3 "?s1 ?p2 ?o2" ] . rdf:type :TestCase ; dc:title "TB029" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s1 ?o2" ; rdf:_3 "?s1 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o3" ; rdf:_2 "?s1 ?o2" ; rdf:_3 "?s1 ?p1 ?o1" ] . rdf:type :TestCase ; dc:title "TB030" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s1 ?p2 ?o2" ; rdf:_3 "?s1 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o3" ; rdf:_2 "?s1 ?o1" ; rdf:_3 "?s1 ?p2 ?o2" ] . rdf:type :TestCase ; dc:title "TB031" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s2 ?p2 ?o2" ; rdf:_3 "?s2 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s2 ?o3" ; rdf:_3 "?s2 ?p2 ?o2" ] . rdf:type :TestCase ; dc:title "TB032" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s1 ?o2" ; rdf:_3 "?s2 ?p3 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o2" ; rdf:_2 "?s1 ?o1" ; rdf:_3 "?s2 ?p3 ?o3" ] . rdf:type :TestCase ; dc:title "TB033" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s2 ?s1" ; rdf:_3 "?s3 ?p3 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s2 ?s1" ; rdf:_2 "?s1 ?o1" ; rdf:_3 "?s3 ?p3 ?o3" ] . rdf:type :TestCase ; dc:title "TB034" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s3 ?p3 ?o3" ; rdf:_3 "?s2 ?s1" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s2 ?s1" ; rdf:_2 "?s1 ?o1" ; rdf:_3 "?s3 ?p3 ?o3" ] . rdf:type :TestCase ; dc:title "TB035" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s3 ?p3 ?o3" ; rdf:_3 "?o1 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?o1 ?o2" ; rdf:_2 "?s1 ?o1" ; rdf:_3 "?s3 ?p3 ?o3" ] . rdf:type :TestCase ; dc:title "TB036" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s3 ?p3 ?o3" ; rdf:_3 "?s2 ?o1" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s2 ?o1" ; rdf:_2 "?s1 ?o1" ; rdf:_3 "?s3 ?p3 ?o3" ] . rdf:type :TestCase ; dc:title "TB037" ; rdfs:comment "This is an interesting example: the ex:msn is more selective than the ex:firstname, hence it is executed first. However, the ex:firstname pattern does not join with the ex:msn pattern, thus, the less selective pattern is joined with the ex:msn pattern and the intermediate result set finally with the ex:firstname pattern." ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o2" ; rdf:_2 "?s2 ?p2 ?s1" ; rdf:_3 "?s2 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s2 ?o3" ; rdf:_2 "?s2 ?p2 ?s1" ; rdf:_3 "?s1 ?o2" ] . rdf:type :TestCase ; dc:title "TB038" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o2" ; rdf:_2 "?s2 ?p2 ?o2" ; rdf:_3 "?s1 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o3" ; rdf:_2 "?s1 ?o2" ; rdf:_3 "?s2 ?p2 ?o2" ] . rdf:type :TestCase ; dc:title "TB039" ; rdfs:comment "Note that the first pattern does not join with the rest, i.e. the BGP is a graph with two components." ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?o2" ; rdf:_3 "?s2 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?o3" ; rdf:_3 "?s2 ?o2" ] . rdf:type :TestCase ; dc:title "TB040" ; :heuristic "BGP_GRAPH_STATISTICS_HANDLER" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s2 ?o2" ; rdf:_2 "?s1 ?p1 ?o1" ; rdf:_3 "?s2 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s2 ?o3" ; rdf:_2 "?s2 ?o2" ; rdf:_3 "?s1 ?p1 ?o1" ] . rdf:type :TestCase ; dc:title "TB041" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ] . rdf:type :TestCase ; dc:title "TB042" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ] . rdf:type :TestCase ; dc:title "TB043" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 " ?p1 ?o1" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 " ?p1 ?o1" ] . rdf:type :TestCase ; dc:title "TB044" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 xxx-xxx-xxx" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 xxx-xxx-xxx" ] . rdf:type :TestCase ; dc:title "TB045" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 " ?p1 xxx-xxx-xxx" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 " ?p1 xxx-xxx-xxx" ] . rdf:type :TestCase ; dc:title "TB046" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 " xxx-xxx-xxx" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 " xxx-xxx-xxx" ] . rdf:type :TestCase ; dc:title "TB047" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_1 "?s2 ?p2 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_1 "?s2 ?p2 ?o2" ] . rdf:type :TestCase ; dc:title "TB048" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_1 "?s1 ?p2 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_1 "?s1 ?p2 ?o2" ] . rdf:type :TestCase ; dc:title "TB049" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_1 "?s2 ?p2 ?s1" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_1 "?s2 ?p2 ?s1" ] . rdf:type :TestCase ; dc:title "TB050" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_1 "?o1 ?p2 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_1 "?o1 ?p2 ?o2" ] . rdf:type :TestCase ; dc:title "TB051" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_1 "?s2 ?p2 ?o1" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_1 "?s2 ?p2 ?o1" ] . rdf:type :TestCase ; dc:title "TB052" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_1 "?s2 ?p1 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_1 "?s2 ?p1 ?o2" ] . rdf:type :TestCase ; dc:title "TB053" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_1 "?s2 ?s1 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_1 "?s2 ?s1 ?o2" ] . rdf:type :TestCase ; dc:title "TB054" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_1 "?s2 ?o1 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_1 "?s2 ?o1 ?o2" ] . rdf:type :TestCase ; dc:title "TB055" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?s2 ?o1" ; rdf:_1 "?s2 ?p2 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?s2 ?o1" ; rdf:_1 "?s2 ?p2 ?o2" ] . rdf:type :TestCase ; dc:title "TB056" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o2 ?o1" ; rdf:_1 "?s2 ?p2 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o2 ?o1" ; rdf:_1 "?s2 ?p2 ?o2" ] . rdf:type :TestCase ; dc:title "TB057" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o2 ?o1" ; rdf:_1 "?s2 ?p2 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o2 ?o1" ; rdf:_1 "?s2 ?p2 ?o2" ] . rdf:type :TestCase ; dc:title "TB058" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p2 ?o2" ; rdf:_3 "?s3 ?p3 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p2 ?o2" ; rdf:_3 "?s3 ?p3 ?o3" ] . rdf:type :TestCase ; dc:title "TB059" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s1 ?p2 ?o2" ; rdf:_3 "?s1 ?p3 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s1 ?p2 ?o2" ; rdf:_3 "?s1 ?p3 ?o3" ] . rdf:type :TestCase ; dc:title "TB060" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p2 ?s1" ; rdf:_3 "?s3 ?s1 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?p1 ?o1" ; rdf:_2 "?s2 ?p2 ?s1" ; rdf:_3 "?s3 ?s1 ?o3" ] . rdf:type :TestCase ; dc:title "TB061" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s2 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s2 ?o2" ] . rdf:type :TestCase ; dc:title "TB062" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s2 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s2 ?o2" ] . rdf:type :TestCase ; dc:title "TB063" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s1 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s1 ?o2" ] . rdf:type :TestCase ; dc:title "TB064" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s1 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o2" ; rdf:_2 "?s1 ?o1" ] . rdf:type :TestCase ; dc:title "TB065" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?o1 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?o1 ?o2" ; rdf:_2 "?s1 ?o1" ] . rdf:type :TestCase ; dc:title "TB066" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s2 ?o1" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s2 ?o1" ; rdf:_2 "?s1 ?o1" ] . rdf:type :TestCase ; dc:title "TB067" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s2 ?o2" ; rdf:_3 "?s3 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s2 ?o2" ; rdf:_3 "?s3 ?o3" ] . rdf:type :TestCase ; dc:title "TB068" ; rdfs:comment "The join msn-firstname has the smalles cost, which is why skype is executed at last" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s1 ?o2" ; rdf:_3 "?s1 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o2" ; rdf:_2 "?s1 ?o1" ; rdf:_3 "?s1 ?o3" ] . rdf:type :TestCase ; dc:title "TB069" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s1 ?o2" ; rdf:_3 "?s1 ?o3" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o2" ; rdf:_2 "?s1 ?o1" ; rdf:_3 "?s1 ?o3" ] . rdf:type :TestCase ; dc:title "TB070" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s1 ?o2" ; rdf:_3 "?s3 ?s1" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s3 ?s1" ; rdf:_2 "?s1 ?o1" ; rdf:_3 "?s1 ?o2" ] . rdf:type :TestCase ; dc:title "TB071" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 " ?o1" ; rdf:_2 " ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 " ?o2" ; rdf:_2 " ?o1" ] . rdf:type :TestCase ; dc:title "TB072" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 " ?o1" ; rdf:_2 " ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 " ?o2" ; rdf:_2 " ?o1" ] . rdf:type :TestCase ; dc:title "TB073" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 " ?o1" ; rdf:_2 " ?o1" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 " ?o1" ; rdf:_2 " ?o1" ] . rdf:type :TestCase ; dc:title "TB074" ; :heuristic "BGP_PROBABILISTIC_FRAMEWORK" ; :patternIn [ rdf:type rdf:Seq ; rdf:_1 "?s1 ?o1" ; rdf:_2 "?s1 ?o2" ; rdf:_3 "?s3 ?o3" ; rdf:_4 "?s3 ?o2" ] ; :patternOut [ rdf:type rdf:Seq ; rdf:_1 "?s3 ?o3" ; rdf:_2 "?s3 ?o2" ; rdf:_3 "?s1 ?o2" ; rdf:_4 "?s1 ?o1" ] .