|
0
|
1 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
|
|
|
2 @prefix : <http://www.w3.org/2001/sw/DataAccess/tests/data-r2/expr-equals/manifest#> .
|
|
|
3 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
|
|
|
4 @prefix mf: <http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#> .
|
|
|
5 @prefix qt: <http://www.w3.org/2001/sw/DataAccess/tests/test-query#> .
|
|
|
6 @prefix dawgt: <http://www.w3.org/2001/sw/DataAccess/tests/test-dawg#> .
|
|
|
7
|
|
|
8 <> rdf:type mf:Manifest ;
|
|
|
9 rdfs:comment "Some SPARQL test cases - equality of values" ;
|
|
|
10 mf:entries
|
|
|
11 (
|
|
|
12 :eq-1 :eq-2 :eq-3 :eq-4 :eq-5 :eq-2-1 :eq-2-2
|
|
|
13 :eq-graph-1 :eq-graph-2 :eq-graph-3 :eq-graph-4 :eq-graph-5
|
|
|
14 ).
|
|
|
15
|
|
|
16 :eq-1 a mf:QueryEvaluationTest ;
|
|
|
17 dawgt:approval dawgt:Approved ;
|
|
|
18 dawgt:approvedBy <http://www.w3.org/2007/06/19-dawg-minutes.html> ;
|
|
|
19 mf:name "Equality 1-1" ;
|
|
|
20 rdfs:comment "= in FILTER expressions is value equality" ;
|
|
|
21 mf:action
|
|
|
22 [ qt:query <query-eq-1.rq> ;
|
|
|
23 qt:data <data-eq.ttl> ] ;
|
|
|
24 mf:result <result-eq-1.ttl>
|
|
|
25 .
|
|
|
26 :eq-2 a mf:QueryEvaluationTest ;
|
|
|
27 dawgt:approval dawgt:Approved ;
|
|
|
28 dawgt:approvedBy <http://www.w3.org/2007/06/19-dawg-minutes.html> ;
|
|
|
29 mf:name "Equality 1-2" ;
|
|
|
30 rdfs:comment "= in FILTER expressions is value equality" ;
|
|
|
31 mf:action
|
|
|
32 [ qt:query <query-eq-2.rq> ;
|
|
|
33 qt:data <data-eq.ttl> ] ;
|
|
|
34 mf:result <result-eq-2.ttl>
|
|
|
35 .
|
|
|
36 :eq-3 a mf:QueryEvaluationTest ;
|
|
|
37 dawgt:approval dawgt:Approved ;
|
|
|
38 dawgt:approvedBy <http://www.w3.org/2007/06/19-dawg-minutes.html> ;
|
|
|
39 rdfs:comment "Numerics are not value-equivalent to plain literals" ;
|
|
|
40 mf:name "Equality 1-3" ;
|
|
|
41 mf:action
|
|
|
42 [ qt:query <query-eq-3.rq> ;
|
|
|
43 qt:data <data-eq.ttl> ] ;
|
|
|
44 mf:result <result-eq-3.ttl>
|
|
|
45 .
|
|
|
46 :eq-4 a mf:QueryEvaluationTest ;
|
|
|
47 dawgt:approval dawgt:Approved ;
|
|
|
48 dawgt:approvedBy <http://www.w3.org/2007/06/19-dawg-minutes.html> ;
|
|
|
49 mf:name "Equality 1-4" ;
|
|
|
50 rdfs:comment "= compares plain literals and unknown types with the same lexical form as false" ;
|
|
|
51 mf:action
|
|
|
52 [ qt:query <query-eq-4.rq> ;
|
|
|
53 qt:data <data-eq.ttl> ] ;
|
|
|
54 mf:result <result-eq-4.ttl>
|
|
|
55 .
|
|
|
56 :eq-5 a mf:QueryEvaluationTest ;
|
|
|
57 dawgt:approval dawgt:Approved ;
|
|
|
58 dawgt:approvedBy <http://www.w3.org/2007/06/19-dawg-minutes.html> ;
|
|
|
59 rdfs:comment "= on IRI terms" ;
|
|
|
60 mf:name "Equality 1-5" ;
|
|
|
61 mf:action
|
|
|
62 [ qt:query <query-eq-5.rq> ;
|
|
|
63 qt:data <data-eq.ttl> ] ;
|
|
|
64 mf:result <result-eq-5.ttl>
|
|
|
65 .
|
|
|
66 :eq-2-1 a mf:QueryEvaluationTest ;
|
|
|
67 dawgt:approval dawgt:Approved ;
|
|
|
68 dawgt:approvedBy <http://www.w3.org/2007/06/19-dawg-minutes.html> ;
|
|
|
69 mf:name "Equality - 2 var - test equals" ;
|
|
|
70 rdfs:comment "= in FILTER is value equality" ;
|
|
|
71 mf:action
|
|
|
72 [ qt:query <query-eq2-1.rq> ;
|
|
|
73 qt:data <data-eq.ttl> ] ;
|
|
|
74 mf:result <result-eq2-1.ttl>
|
|
|
75 .
|
|
|
76
|
|
|
77 :eq-2-2 a mf:QueryEvaluationTest ;
|
|
|
78 dawgt:approval dawgt:Approved ;
|
|
|
79 dawgt:approvedBy <http://www.w3.org/2007/06/19-dawg-minutes.html> ;
|
|
|
80 rdfs:comment "!= in FILTER is value inequality" ;
|
|
|
81 mf:name "Equality - 2 var - test not equals " ;
|
|
|
82 mf:action
|
|
|
83 [ qt:query <query-eq2-1.rq> ;
|
|
|
84 qt:data <data-eq.ttl> ] ;
|
|
|
85 mf:result <result-eq2-1.ttl>
|
|
|
86 .
|
|
|
87
|
|
|
88 # Graph versions of the equality tests
|
|
|
89
|
|
|
90 # DAWG tests are graph-equivalence, not value equivalent.
|
|
|
91 :eq-graph-1 a mf:QueryEvaluationTest ;
|
|
|
92 dawgt:approval dawgt:Approved ;
|
|
|
93 dawgt:approvedBy <http://www.w3.org/2007/06/19-dawg-minutes.html> ;
|
|
|
94 mf:name "Equality 1-1 -- graph" ;
|
|
|
95 rdfs:comment "Graph pattern matching matches exact terms, not values" ;
|
|
|
96 mf:action
|
|
|
97 [ qt:query <query-eq-graph-1.rq> ;
|
|
|
98 qt:data <data-eq.ttl> ] ;
|
|
|
99 mf:result <result-eq-graph-1.ttl>
|
|
|
100 .
|
|
|
101 # DAWG tests are graph-equivalence, not value equivalent.
|
|
|
102 :eq-graph-2 a mf:QueryEvaluationTest ;
|
|
|
103 dawgt:approval dawgt:Approved ;
|
|
|
104 dawgt:approvedBy <http://www.w3.org/2007/06/19-dawg-minutes.html> ;
|
|
|
105 mf:name "Equality 1-2 -- graph" ;
|
|
|
106 rdfs:comment "Graph pattern matching matches exact terms, not values" ;
|
|
|
107 mf:action
|
|
|
108 [ qt:query <query-eq-graph-2.rq> ;
|
|
|
109 qt:data <data-eq.ttl> ] ;
|
|
|
110 mf:result <result-eq-graph-2.ttl>
|
|
|
111 .
|
|
|
112 :eq-graph-3 a mf:QueryEvaluationTest ;
|
|
|
113 dawgt:approval dawgt:Approved ;
|
|
|
114 dawgt:approvedBy <http://www.w3.org/2007/06/19-dawg-minutes.html> ;
|
|
|
115 mf:name "Equality 1-3 -- graph" ;
|
|
|
116 rdfs:comment "Graph pattern matching matches exact terms, not values" ;
|
|
|
117 mf:action
|
|
|
118 [ qt:query <query-eq-graph-3.rq> ;
|
|
|
119 qt:data <data-eq.ttl> ] ;
|
|
|
120 mf:result <result-eq-graph-3.ttl>
|
|
|
121 .
|
|
|
122 :eq-graph-4 a mf:QueryEvaluationTest ;
|
|
|
123 dawgt:approval dawgt:Approved ;
|
|
|
124 dawgt:approvedBy <http://www.w3.org/2007/06/19-dawg-minutes.html> ;
|
|
|
125 mf:name "Equality 1-4 -- graph" ;
|
|
|
126 rdfs:comment "Graph pattern matching matches exact terms, not values" ;
|
|
|
127 mf:action
|
|
|
128 [ qt:query <query-eq-graph-4.rq> ;
|
|
|
129 qt:data <data-eq.ttl> ] ;
|
|
|
130 mf:result <result-eq-graph-4.ttl>
|
|
|
131 .
|
|
|
132 :eq-graph-5 a mf:QueryEvaluationTest ;
|
|
|
133 dawgt:approval dawgt:Approved ;
|
|
|
134 dawgt:approvedBy <http://www.w3.org/2007/06/19-dawg-minutes.html> ;
|
|
|
135 mf:name "Equality 1-5 -- graph" ;
|
|
|
136 rdfs:comment "Graph pattern matching matches exact terms, not values" ;
|
|
|
137 mf:action
|
|
|
138 [ qt:query <query-eq-graph-5.rq> ;
|
|
|
139 qt:data <data-eq.ttl> ] ;
|
|
|
140 mf:result <result-eq-graph-5.ttl>
|
|
|
141 .
|
|
|
142
|
|
|
143
|
