Skip to content

Commit 1635831

Browse files
Tptafs
Tpt
authored and
afs
committed
SPARQL 1.2: cover "!!" in expressions
1 parent 8edbcc3 commit 1635831

File tree

4 files changed

+108
-0
lines changed

4 files changed

+108
-0
lines changed

‎sparql/sparql12/expression/manifest.ttl‎

Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
2+
@prefix : <https://w3c.github.io/rdf-tests/sparql/sparql12/grouping#> .
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+
:manifest rdf:type mf:Manifest ;
9+
rdfs:label "Expression" ;
10+
mf:entries
11+
(
12+
:not-not
13+
) .
14+
15+
16+
:not-not rdf:type mf:QueryEvaluationTest ;
17+
mf:name "not-not";
18+
rdfs:comment "Double negation !!" ;
19+
dawgt:approval dawgt:Proposed ;
20+
mf:action
21+
[ qt:query <not-not.rq> ] ;
22+
mf:result <not-not.srx>
23+
.

‎sparql/sparql12/expression/not-not.rq‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
PREFIX : <http://example/>
2+
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
3+
4+
SELECT ?v ?ebv {
5+
VALUES ?v { true 1 "a" false 0 "" "a"@en "z"^^xsd:boolean "2020-01-01T00:00:00Z"^^xsd:dateTime :a }
6+
BIND(!!?v AS ?ebv)
7+
}

‎sparql/sparql12/expression/not-not.srx‎

Lines changed: 77 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,77 @@
1+
<?xml version="1.0"?>
2+
<sparql xmlns="http://www.w3.org/2005/sparql-results#">
3+
<head>
4+
<variable name="v"/>
5+
<variable name="ebv"/>
6+
</head>
7+
<results>
8+
<result>
9+
<binding name="v">
10+
<literal datatype="http://www.w3.org/2001/XMLSchema#boolean">true</literal>
11+
</binding>
12+
<binding name="ebv">
13+
<literal datatype="http://www.w3.org/2001/XMLSchema#boolean">true</literal>
14+
</binding>
15+
</result>
16+
<result>
17+
<binding name="v">
18+
<literal datatype="http://www.w3.org/2001/XMLSchema#integer">1</literal>
19+
</binding>
20+
<binding name="ebv">
21+
<literal datatype="http://www.w3.org/2001/XMLSchema#boolean">true</literal>
22+
</binding>
23+
</result>
24+
<result>
25+
<binding name="v">
26+
<literal datatype="http://www.w3.org/2001/XMLSchema#string">a</literal>
27+
</binding>
28+
<binding name="ebv">
29+
<literal datatype="http://www.w3.org/2001/XMLSchema#boolean">true</literal>
30+
</binding>
31+
</result>
32+
<result>
33+
<binding name="v">
34+
<literal datatype="http://www.w3.org/2001/XMLSchema#boolean">false</literal>
35+
</binding>
36+
<binding name="ebv">
37+
<literal datatype="http://www.w3.org/2001/XMLSchema#boolean">false</literal>
38+
</binding>
39+
</result>
40+
<result>
41+
<binding name="v">
42+
<literal datatype="http://www.w3.org/2001/XMLSchema#integer">0</literal>
43+
</binding>
44+
<binding name="ebv">
45+
<literal datatype="http://www.w3.org/2001/XMLSchema#boolean">false</literal>
46+
</binding>
47+
</result>
48+
<result>
49+
<binding name="v">
50+
<literal datatype="http://www.w3.org/2001/XMLSchema#string"></literal>
51+
</binding>
52+
<binding name="ebv">
53+
<literal datatype="http://www.w3.org/2001/XMLSchema#boolean">false</literal>
54+
</binding>
55+
</result>
56+
<result>
57+
<binding name="v">
58+
<literal xml:lang="en">a</literal>
59+
</binding>
60+
</result>
61+
<result>
62+
<binding name="v">
63+
<literal datatype="http://www.w3.org/2001/XMLSchema#boolean">z</literal>
64+
</binding>
65+
</result>
66+
<result>
67+
<binding name="v">
68+
<literal datatype="http://www.w3.org/2001/XMLSchema#dateTime">2020-01-01T00:00:00Z</literal>
69+
</binding>
70+
</result>
71+
<result>
72+
<binding name="v">
73+
<uri>http://example/a</uri>
74+
</binding>
75+
</result>
76+
</results>
77+
</sparql>

‎sparql/sparql12/manifest.ttl‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,7 @@ trs:manifest rdf:type mf:Manifest ;
3636
<syntax-triple-terms-negative/manifest.ttl>
3737
<syntax-triple-terms-positive/manifest.ttl>
3838
<eval-triple-terms/manifest.ttl>
39+
<expression/manifest.ttl>
3940
<lang-basedir/manifest.ttl>
4041
<rdf11/manifest.ttl>
4142
) .

0 commit comments

Comments
 (0)