Skip to content

Commit 847aaf9

Browse files
Tptafs
Tpt
authored and
afs
committed
Cover xsd:dateTime equality and ordering
1 parent 1c52ddf commit 847aaf9

14 files changed

+267
-2
lines changed

‎sparql/sparql10/expr-equals/data-eq-dateTime.ttl

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
@prefix : <http://example.org/things#> .
2+
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
3+
4+
:xi1 :pl "1"^^xsd:integer ; :pr "2008-04-01T00:00:00Z"^^xsd:dateTime .
5+
:xb1 :pl "true"^^xsd:boolean ; :pr "2008-04-01T00:00:00Z"^^xsd:dateTime .
6+
:xs1 :pl "2008-04-01T00:00:00Z" ; :pr "2008-04-01T00:00:00Z"^^xsd:dateTime .
7+
8+
:d1 :pl "2008-04-01T00:00:00Z"^^xsd:dateTime ; :pr "2008-04-01T00:00:00Z"^^xsd:dateTime . # true
9+
:d2 :pl "2002-04-02T12:00:00"^^xsd:dateTime ; :pr "2002-04-02T12:00:00"^^xsd:dateTime . # true
10+
:d3 :pl "2002-04-02T23:00:00-04:00"^^xsd:dateTime ; :pr "2002-04-03T02:00:00-01:00"^^xsd:dateTime . # true
11+
:d4 :pl "2002-04-02T23:00:00"^^xsd:dateTime ; :pr "2002-04-02T23:00:00+06:00"^^xsd:dateTime . # false
12+
:d5 :pl "1999-12-31T24:00:00"^^xsd:dateTime ; :pr "2000-01-01T00:00:00"^^xsd:dateTime . # true
13+
:d6 :pl "2005-04-04T24:00:00"^^xsd:dateTime ; :pr "2005-04-04T00:00:00"^^xsd:dateTime . # false
14+
:d7 :pl "2008-04-01T00:00:00.00Z"^^xsd:dateTime ; :pr "2008-04-01T00:00:00Z"^^xsd:dateTime . # true

‎sparql/sparql10/expr-equals/manifest.ttl

Lines changed: 9 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@
1212
(
1313
:eq-1 :eq-2 :eq-3 :eq-4 :eq-5 :eq-2-1 :eq-2-2
1414
:eq-graph-1 :eq-graph-2 :eq-graph-3 :eq-graph-4 :eq-graph-5
15-
:eq-float :eq-bool
15+
:eq-float :eq-bool :eq-dateTime
1616
).
1717

1818
:eq-1 a mf:QueryEvaluationTest ;
@@ -157,4 +157,11 @@
157157
qt:data <data-eq-bool.ttl> ] ;
158158
mf:result <result-eq-bool.ttl>
159159
.
160-
160+
:eq-dateTime a mf:QueryEvaluationTest ;
161+
rdfs:comment "= with dateTime" ;
162+
mf:name "Equality with dateTime" ;
163+
mf:action
164+
[ qt:query <query-eq-dateTime.rq> ;
165+
qt:data <data-eq-dateTime.ttl> ] ;
166+
mf:result <result-eq-dateTime.ttl>
167+
.

‎sparql/sparql10/expr-equals/query-eq-dateTime.rq

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
2+
PREFIX : <http://example.org/things#>
3+
SELECT ?x
4+
WHERE
5+
{ ?x :pr ?vr ; :pl ?vl .
6+
FILTER ( ?vr = ?vl ) .
7+
}

‎sparql/sparql10/expr-equals/result-eq-dateTime.ttl

Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
2+
@prefix rs: <http://www.w3.org/2001/sw/DataAccess/tests/result-set#> .
3+
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
4+
@prefix : <http://example.org/things#> .
5+
6+
[] rdf:type rs:ResultSet ;
7+
rs:resultVariable "x" ;
8+
rs:solution
9+
[ rs:binding [ rs:value :d1 ;
10+
rs:variable "x"
11+
]
12+
] ;
13+
rs:solution
14+
[ rs:binding [ rs:value :d2 ;
15+
rs:variable "x"
16+
]
17+
] ;
18+
rs:solution
19+
[ rs:binding [ rs:value :d3 ;
20+
rs:variable "x"
21+
]
22+
] ;
23+
rs:solution
24+
[ rs:binding [ rs:value :d5 ;
25+
rs:variable "x"
26+
]
27+
] ;
28+
rs:solution
29+
[ rs:binding [ rs:value :d7 ;
30+
rs:variable "x"
31+
]
32+
] .

‎sparql/sparql10/expr-ops/data-dateTime.ttl

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
@prefix : <http://example.org/> .
2+
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
3+
4+
:tzasc :p1 "2008-10-01T00:00:00Z"^^xsd:dateTime ; :p2 "2008-10-03T00:00:00Z"^^xsd:dateTime .
5+
:tzdesc :p1 "2008-10-03T00:00:00Z"^^xsd:dateTime ; :p2 "2008-10-01T00:00:00Z"^^xsd:dateTime .
6+
:tzeq :p1 "2008-10-01T00:00:00Z"^^xsd:dateTime ; :p2 "2008-10-01T00:00:00Z"^^xsd:dateTime .
7+
:ntzasc :p1 "2008-10-01T00:00:00"^^xsd:dateTime ; :p2 "2008-10-03T00:00:00"^^xsd:dateTime .
8+
:ntzdesc :p1 "2008-10-03T00:00:00"^^xsd:dateTime ; :p2 "2008-10-01T00:00:00"^^xsd:dateTime .
9+
:ntzeq :p1 "2008-10-01T00:00:00"^^xsd:dateTime ; :p2 "2008-10-01T00:00:00"^^xsd:dateTime .
10+
:tzntzasc :p1 "2008-10-01T00:00:00Z"^^xsd:dateTime ; :p2 "2008-10-03T00:00:00"^^xsd:dateTime .
11+
:tzntzdesc :p1 "2008-10-03T00:00:00Z"^^xsd:dateTime ; :p2 "2008-10-01T00:00:00"^^xsd:dateTime .
12+
:ntztzasc :p1 "2008-10-01T00:00:00"^^xsd:dateTime ; :p2 "2008-10-03T00:00:00Z"^^xsd:dateTime .
13+
:ntztzdesc :p1 "2008-10-03T00:00:00"^^xsd:dateTime ; :p2 "2008-10-01T00:00:00Z"^^xsd:dateTime .

‎sparql/sparql10/expr-ops/manifest.ttl

Lines changed: 40 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,10 @@
1111
mf:entries
1212
(
1313
:ge-1 :le-1 :mul-1 :plus-1 :minus-1 :unplus-1 :unminus-1
14+
:dateTime-le-2
15+
:dateTime-ge-2
16+
:dateTime-lt-2
17+
:dateTime-gt-2
1418
).
1519

1620

@@ -86,3 +90,39 @@
8690
qt:data <data.ttl> ] ;
8791
mf:result <result-le-1.srx>
8892
.
93+
94+
:dateTime-le-2 a mf:QueryEvaluationTest ;
95+
mf:name "DateTime Less-than or equals" ;
96+
rdfs:comment "<= in FILTER expressions" ;
97+
mf:action
98+
[ qt:query <query-le-2.rq> ;
99+
qt:data <data-dateTime.ttl> ] ;
100+
mf:result <result-dateTime-le-2.srx>
101+
.
102+
103+
:dateTime-ge-2 a mf:QueryEvaluationTest ;
104+
mf:name "DateTime Greater-than or equals" ;
105+
rdfs:comment "<= in FILTER expressions" ;
106+
mf:action
107+
[ qt:query <query-ge-2.rq> ;
108+
qt:data <data-dateTime.ttl> ] ;
109+
mf:result <result-dateTime-ge-2.srx>
110+
.
111+
112+
:dateTime-lt-2 a mf:QueryEvaluationTest ;
113+
mf:name "DateTime Less-than" ;
114+
rdfs:comment "< in FILTER expressions" ;
115+
mf:action
116+
[ qt:query <query-lt-2.rq> ;
117+
qt:data <data-dateTime.ttl> ] ;
118+
mf:result <result-dateTime-lt-2.srx>
119+
.
120+
121+
:dateTime-gt-2 a mf:QueryEvaluationTest ;
122+
mf:name "DateTime Greater-than" ;
123+
rdfs:comment "> in FILTER expressions" ;
124+
mf:action
125+
[ qt:query <query-gt-2.rq> ;
126+
qt:data <data-dateTime.ttl> ] ;
127+
mf:result <result-dateTime-gt-2.srx>
128+
.

‎sparql/sparql10/expr-ops/query-ge-2.rq

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
PREFIX : <http://example.org/>
2+
SELECT ?s WHERE {
3+
?s :p1 ?o1 ; :p2 ?o2 .
4+
FILTER(?o1 >= ?o2)
5+
}

‎sparql/sparql10/expr-ops/query-gt-2.rq

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
PREFIX : <http://example.org/>
2+
SELECT ?s WHERE {
3+
?s :p1 ?o1 ; :p2 ?o2 .
4+
FILTER(?o1 > ?o2)
5+
}

‎sparql/sparql10/expr-ops/query-le-2.rq

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
PREFIX : <http://example.org/>
2+
SELECT ?s WHERE {
3+
?s :p1 ?o1 ; :p2 ?o2 .
4+
FILTER(?o1 <= ?o2)
5+
}

‎sparql/sparql10/expr-ops/query-lt-2.rq

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
PREFIX : <http://example.org/>
2+
SELECT ?s WHERE {
3+
?s :p1 ?o1 ; :p2 ?o2 .
4+
FILTER(?o1 < ?o2)
5+
}

0 commit comments

Comments
 (0)