-
Notifications
You must be signed in to change notification settings - Fork 2
SPARQL EXISTS EARL report for BlazeGraph
Peter F. Patel-Schneider edited this page May 30, 2025
·
3 revisions
This is what I generated for BlazeGraph. Along with (minimal) EARL information there is results for each query that produced results.
See https://github.com/w3c/sparql-query/wiki/SPARQL-EXISTS-EARL--report-for-Virtuoso for more information.
@prefix earl: <http://www.w3.org/ns/earl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix doap: <http://usefulinc.com/ns/doap#> .
@prefix foaf: <http://xmlns.com/foaf/1.0/> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix qt: <http://www.w3.org/2001/sw/DataAccess/tests/test-query#> .
_:pfps rdf:type foaf:Person ;
foaf:name "Peter F. Patel-Schneider" .
_:BlazeGraph doap:name "BlazeGraph" ; rdf:type doap:Project .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-empty-bgp-01> ;
dct:title "EXISTS - empty BGP - subSELECT" ;
qt:answers ( ( ) ) ;
qt:json '{"head": {"vars": []}, "results": {"bindings": [{}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-empty-bgp-02> ;
dct:title "EXISTS - empty BGP - VALUES" ;
qt:answers ( ( ) ) ;
qt:json '{"head": {"vars": []}, "results": {"bindings": [{}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
@prefix earl: <http://www.w3.org/ns/earl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix doap: <http://usefulinc.com/ns/doap#> .
@prefix foaf: <http://xmlns.com/foaf/1.0/> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix qt: <http://www.w3.org/2001/sw/DataAccess/tests/test-query#> .
_:pfps rdf:type foaf:Person ;
foaf:name "Peter F. Patel-Schneider" .
_:BlazeGraph doap:name "BlazeGraph" ; rdf:type doap:Project .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-bad-syntax-01> ;
dct:title "EXISTS - BIND undefined" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["o"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-bad-syntax-02> ;
dct:title "EXISTS - VALUES undefined" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["o"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-bad-syntax-03> ;
dct:title "EXISTS - BOUND undefined" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["o"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-bad-syntax-04> ;
dct:title "EXISTS - sub-SELECT undefined - 1" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["o"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-bad-syntax-05> ;
dct:title "EXISTS - sub-SELECT undefined - 2" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["o"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-good-syntax-01> ;
dct:title "EXISTS - BIND" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["o"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
@prefix earl: <http://www.w3.org/ns/earl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix doap: <http://usefulinc.com/ns/doap#> .
@prefix foaf: <http://xmlns.com/foaf/1.0/> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix qt: <http://www.w3.org/2001/sw/DataAccess/tests/test-query#> .
_:pfps rdf:type foaf:Person ;
foaf:name "Peter F. Patel-Schneider" .
_:BlazeGraph doap:name "BlazeGraph" ; rdf:type doap:Project .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-bgp-1> ;
dct:title "EXISTS - BGP-1" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-bgp-2> ;
dct:title "EXISTS - BGP-2" ;
qt:answers ( ( [ qt:variable "x" ; qt:value _:e0 ] ) ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": [{"x": {"type": "bnode", "value": "t5"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
@prefix earl: <http://www.w3.org/ns/earl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix doap: <http://usefulinc.com/ns/doap#> .
@prefix foaf: <http://xmlns.com/foaf/1.0/> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix qt: <http://www.w3.org/2001/sw/DataAccess/tests/test-query#> .
_:pfps rdf:type foaf:Person ;
foaf:name "Peter F. Patel-Schneider" .
_:BlazeGraph doap:name "BlazeGraph" ; rdf:type doap:Project .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-minus-1> ;
dct:title "EXISTS - MINUS-1" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
@prefix earl: <http://www.w3.org/ns/earl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix doap: <http://usefulinc.com/ns/doap#> .
@prefix foaf: <http://xmlns.com/foaf/1.0/> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix qt: <http://www.w3.org/2001/sw/DataAccess/tests/test-query#> .
_:pfps rdf:type foaf:Person ;
foaf:name "Peter F. Patel-Schneider" .
_:BlazeGraph doap:name "BlazeGraph" ; rdf:type doap:Project .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exist-subselect-hidden> ;
dct:title "EXISTS - Substitute a subselect hidden variable" ;
qt:answers ( ( [ qt:variable "o" ; qt:value "A" ] ) ( [ qt:variable "o" ; qt:value "B" ] ) ) ;
qt:json '{"head": {"vars": ["o"]}, "results": {"bindings": [{"o": {"type": "literal", "value": "A"}}, {"o": {"type": "literal", "value": "B"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exist-subselect-no-projection> ;
dct:title "EXISTS - Substitute a subselect variable without projection" ;
qt:answers ( ( [ qt:variable "o" ; qt:value "A" ] ) ( [ qt:variable "o" ; qt:value "B" ] ) ) ;
qt:json '{"head": {"vars": ["o"]}, "results": {"bindings": [{"o": {"type": "literal", "value": "A"}}, {"o": {"type": "literal", "value": "B"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
@prefix earl: <http://www.w3.org/ns/earl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix doap: <http://usefulinc.com/ns/doap#> .
@prefix foaf: <http://xmlns.com/foaf/1.0/> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix qt: <http://www.w3.org/2001/sw/DataAccess/tests/test-query#> .
_:pfps rdf:type foaf:Person ;
foaf:name "Peter F. Patel-Schneider" .
_:BlazeGraph doap:name "BlazeGraph" ; rdf:type doap:Project .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-expr-bind-01> ;
dct:title "EXISTS - BIND expression" ;
qt:answers ( ( [ qt:variable "X" ; qt:value "true"^^<http://www.w3.org/2001/XMLSchema#boolean> ] ) ) ;
qt:json '{"head": {"vars": ["X"]}, "results": {"bindings": [{"X": {"datatype": "http://www.w3.org/2001/XMLSchema#boolean", "type": "literal", "value": "true"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-expr-bind-02> ;
dct:title "EXISTS - BIND expression - empty data" ;
qt:answers ( ( [ qt:variable "X" ; qt:value "false"^^<http://www.w3.org/2001/XMLSchema#boolean> ] ) ) ;
qt:json '{"head": {"vars": ["X"]}, "results": {"bindings": [{"X": {"datatype": "http://www.w3.org/2001/XMLSchema#boolean", "type": "literal", "value": "false"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-expr-group-by-01> ;
dct:title "EXISTS - GROUP BY expression" ;
qt:answers ( ( [ qt:variable "C" ; qt:value "0"^^<http://www.w3.org/2001/XMLSchema#integer> ] ) ) ;
qt:json '{"head": {"vars": ["C"]}, "results": {"bindings": [{"C": {"datatype": "http://www.w3.org/2001/XMLSchema#integer", "type": "literal", "value": "0"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-expr-group-by-02> ;
dct:title "EXISTS - GROUP BY expression - empty data" ;
qt:answers ( ( [ qt:variable "C" ; qt:value "0"^^<http://www.w3.org/2001/XMLSchema#integer> ] ) ) ;
qt:json '{"head": {"vars": ["C"]}, "results": {"bindings": [{"C": {"datatype": "http://www.w3.org/2001/XMLSchema#integer", "type": "literal", "value": "0"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-expr-order-by-01> ;
dct:title "EXISTS - ORDER BY expression" ;
qt:answers ( ( ) ) ;
qt:json '{"head": {"vars": []}, "results": {"bindings": [{}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-expr-order-by-02> ;
dct:title "EXISTS - ORDER BY expression - empty data" ;
qt:answers ( ( ) ) ;
qt:json '{"head": {"vars": []}, "results": {"bindings": [{}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-expr-select-01> ;
dct:title "EXISTS - SELECT expression" ;
qt:answers ( ( ) ) ;
qt:json '{"head": {"vars": ["X"]}, "results": {"bindings": [{}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-expr-select-02> ;
dct:title "EXISTS - SELECT expression - empty data" ;
qt:answers ( ( ) ) ;
qt:json '{"head": {"vars": ["X"]}, "results": {"bindings": [{}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
@prefix earl: <http://www.w3.org/ns/earl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix doap: <http://usefulinc.com/ns/doap#> .
@prefix foaf: <http://xmlns.com/foaf/1.0/> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix qt: <http://www.w3.org/2001/sw/DataAccess/tests/test-query#> .
_:pfps rdf:type foaf:Person ;
foaf:name "Peter F. Patel-Schneider" .
_:BlazeGraph doap:name "BlazeGraph" ; rdf:type doap:Project .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-bnode-01> ;
dct:title "EXISTS - Data blank node, no BGP match" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["o"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-bnode-02> ;
dct:title "EXISTS - Data blank node, same blank node BGP match" ;
qt:answers ( ( [ qt:variable "o" ; qt:value _:e0 ] ) ) ;
qt:json '{"head": {"vars": ["o"]}, "results": {"bindings": [{"o": {"type": "bnode", "value": "t4"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
@prefix earl: <http://www.w3.org/ns/earl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix doap: <http://usefulinc.com/ns/doap#> .
@prefix foaf: <http://xmlns.com/foaf/1.0/> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix qt: <http://www.w3.org/2001/sw/DataAccess/tests/test-query#> .
_:pfps rdf:type foaf:Person ;
foaf:name "Peter F. Patel-Schneider" .
_:BlazeGraph doap:name "BlazeGraph" ; rdf:type doap:Project .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-filter-01> ;
dct:title "EXISTS - FILTER" ;
qt:answers ( ( [ qt:variable "v" ; qt:value <ex:a> ] ) ) ;
qt:json '{"head": {"vars": ["v"]}, "results": {"bindings": [{"v": {"type": "uri", "value": "ex:a"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-filter-02> ;
dct:title "EXISTS - SELECT * - FILTER" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["v"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#exists-filter-03> ;
dct:title "EXISTS - SELECT ?v - FILTER" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["v"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#minus-filter-01> ;
dct:title "MINUS - FILTER" ;
qt:answers ( ( [ qt:variable "v" ; qt:value <ex:a> ] ) ) ;
qt:json '{"head": {"vars": ["v"]}, "results": {"bindings": [{"v": {"type": "uri", "value": "ex:a"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#minus-filter-02> ;
dct:title "MINUS - SELECT * - FILTER" ;
qt:answers ( ( [ qt:variable "v" ; qt:value <ex:a> ] ) ) ;
qt:json '{"head": {"vars": ["v"]}, "results": {"bindings": [{"v": {"type": "uri", "value": "ex:a"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#minus-filter-03> ;
dct:title "MINUS - SELECT ?v - FILTER" ;
qt:answers ( ( [ qt:variable "v" ; qt:value <ex:a> ] ) ) ;
qt:json '{"head": {"vars": ["v"]}, "results": {"bindings": [{"v": {"type": "uri", "value": "ex:a"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#not-exists-filter-01> ;
dct:title "NOT EXISTS - FILTER" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["v"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#not-exists-filter-02> ;
dct:title "NOT EXISTS - SELECT * - FILTER" ;
qt:answers ( ( [ qt:variable "v" ; qt:value <ex:a> ] ) ) ;
qt:json '{"head": {"vars": ["v"]}, "results": {"bindings": [{"v": {"type": "uri", "value": "ex:a"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#not-exists-filter-03> ;
dct:title "NOT EXISTS - SELECT ?v - FILTER" ;
qt:answers ( ( [ qt:variable "v" ; qt:value <ex:a> ] ) ) ;
qt:json '{"head": {"vars": ["v"]}, "results": {"bindings": [{"v": {"type": "uri", "value": "ex:a"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <#scope-filter-01> ;
dct:title "Scope: SELECT ?w - FILTER ?v" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["v"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
@prefix earl: <http://www.w3.org/ns/earl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix doap: <http://usefulinc.com/ns/doap#> .
@prefix foaf: <http://xmlns.com/foaf/1.0/> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix qt: <http://www.w3.org/2001/sw/DataAccess/tests/test-query#> .
_:pfps rdf:type foaf:Person ;
foaf:name "Peter F. Patel-Schneider" .
_:BlazeGraph doap:name "BlazeGraph" ; rdf:type doap:Project .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsBlank01> ;
dct:title "EXISTS substitution to blank node" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsBound01> ;
dct:title "EXISTS substitution to variable in BOUND" ;
qt:answers ( ( [ qt:variable "x" ; qt:value <http://www.example.org/b> ] ) ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": [{"x": {"type": "uri", "value": "http://www.example.org/b"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsHernandez01> ;
dct:title "EXISTS substitution into disconnected variable" ;
qt:answers ( ( [ qt:variable "parent" ; qt:value <http://www.example.org/a> ] ) ( [ qt:variable "parent" ; qt:value <http://www.example.org/b> ] ) ) ;
qt:json '{"head": {"vars": ["parent"]}, "results": {"bindings": [{"parent": {"type": "uri", "value": "http://www.example.org/a"}}, {"parent": {"type": "uri", "value": "http://www.example.org/b"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsHernandez02> ;
dct:title "EXISTS substitution into disconnected variable" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["parent"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsMinus01> ;
dct:title "EXISTS substitution that removes shared variable in MINUS" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsScope01> ;
dct:title "BIND in EXISTS to FILTER variable" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsScope02> ;
dct:title "Twin BIND in EXISTS to FILTER variables with same value" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery01> ;
dct:title "SELECT in EXISTS with projection to FILTER variable" ;
qt:answers ( ( [ qt:variable "x" ; qt:value <http://www.example.org/b> ] ) ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": [{"x": {"type": "uri", "value": "http://www.example.org/b"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery02> ;
dct:title "SELECT inside group in EXISTS with projection to FILTER variable" ;
qt:answers ( ( [ qt:variable "x" ; qt:value <http://www.example.org/b> ] ) ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": [{"x": {"type": "uri", "value": "http://www.example.org/b"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery03> ;
dct:title "Twin SELECT in EXISTS for FILTER variables with same value" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery04> ;
dct:title "SELECT in EXISTS with disconnected FILTER variable" ;
qt:answers ( ( [ qt:variable "x" ; qt:value <http://www.example.org/d> ] ) ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": [{"x": {"type": "uri", "value": "http://www.example.org/d"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery05> ;
dct:title "SELECT in EXISTS with disconnected FILTER variable" ;
qt:answers ( ( [ qt:variable "x" ; qt:value <http://www.example.org/d> ] ) ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": [{"x": {"type": "uri", "value": "http://www.example.org/d"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery06> ;
dct:title "SELECT in EXISTS with connected FILTER variable with AS" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery07> ;
dct:title "SELECT in EXISTS with connected FILTER variable with AS" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery08> ;
dct:title "SELECT in EXISTS with connected FILTER variable checking BOUND" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery09> ;
dct:title "SELECT in EXISTS with disconnected FILTER variable and grouping" ;
qt:answers ( ( [ qt:variable "x" ; qt:value <http://www.example.org/b> ] ) ( [ qt:variable "x" ; qt:value <http://www.example.org/b> ] ) ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": [{"x": {"type": "uri", "value": "http://www.example.org/b"}}, {"x": {"type": "uri", "value": "http://www.example.org/b"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery10> ;
dct:title "SELECT in EXISTS with connected FILTER variable with different value" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery11> ;
dct:title "SELECT in EXISTS with twin connected FILTER variables with different values" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsValues01> ;
dct:title "VALUES in EXISTS for FILTER variable" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:failed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsValues02> ;
dct:title "Twin VALUES in EXISTS for FILTER variables with same value" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["x"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
@prefix earl: <http://www.w3.org/ns/earl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix doap: <http://usefulinc.com/ns/doap#> .
@prefix foaf: <http://xmlns.com/foaf/1.0/> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix qt: <http://www.w3.org/2001/sw/DataAccess/tests/test-query#> .
_:pfps rdf:type foaf:Person ;
foaf:name "Peter F. Patel-Schneider" .
_:BlazeGraph doap:name "BlazeGraph" ; rdf:type doap:Project .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists01> ;
dct:title "Exists with one constant" ;
qt:answers ( ( [ qt:variable "s" ; qt:value <http://www.example.org/s> ] [ qt:variable "p" ; qt:value <http://www.example.org/p> ] [ qt:variable "o" ; qt:value <http://www.example.org/o> ] ) ( [ qt:variable "s" ; qt:value <http://www.example.org/s> ] [ qt:variable "p" ; qt:value <http://www.example.org/p> ] [ qt:variable "o" ; qt:value <http://www.example.org/o2> ] ) ( [ qt:variable "s" ; qt:value <http://www.example.org/s> ] [ qt:variable "p" ; qt:value <http://www.example.org/p> ] [ qt:variable "o" ; qt:value <http://www.example.org/o1> ] ) ) ;
qt:json '{"head": {"vars": ["s", "p", "o"]}, "results": {"bindings": [{"s": {"type": "uri", "value": "http://www.example.org/s"}, "p": {"type": "uri", "value": "http://www.example.org/p"}, "o": {"type": "uri", "value": "http://www.example.org/o"}}, {"s": {"type": "uri", "value": "http://www.example.org/s"}, "p": {"type": "uri", "value": "http://www.example.org/p"}, "o": {"type": "uri", "value": "http://www.example.org/o2"}}, {"s": {"type": "uri", "value": "http://www.example.org/s"}, "p": {"type": "uri", "value": "http://www.example.org/p"}, "o": {"type": "uri", "value": "http://www.example.org/o1"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists02> ;
dct:title "Exists with ground triple" ;
qt:answers ( ( [ qt:variable "s" ; qt:value <http://www.example.org/s> ] [ qt:variable "p" ; qt:value <http://www.example.org/p> ] ) ( [ qt:variable "s" ; qt:value <http://www.example.org/t> ] [ qt:variable "p" ; qt:value <http://www.example.org/p> ] ) ) ;
qt:json '{"head": {"vars": ["s", "p"]}, "results": {"bindings": [{"s": {"type": "uri", "value": "http://www.example.org/s"}, "p": {"type": "uri", "value": "http://www.example.org/p"}}, {"s": {"type": "uri", "value": "http://www.example.org/t"}, "p": {"type": "uri", "value": "http://www.example.org/p"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists03> ;
dct:title "Exists within graph pattern" ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:cantTell ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists04> ;
dct:title "Nested positive exists" ;
qt:answers ( ( [ qt:variable "s" ; qt:value <http://www.example.org/s> ] [ qt:variable "p" ; qt:value <http://www.example.org/p> ] ) ) ;
qt:json '{"head": {"vars": ["s", "p"]}, "results": {"bindings": [{"s": {"type": "uri", "value": "http://www.example.org/s"}, "p": {"type": "uri", "value": "http://www.example.org/p"}}]}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .
[] rdf:type earl:Assertion ;
earl:assertedBy _:pfps ;
earl:subject _:BlazeGraph ;
earl:test <http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists05> ;
dct:title "Nested negative exists in positive exists" ;
qt:answers ( ) ;
qt:json '{"head": {"vars": ["s", "p"]}, "results": {"bindings": []}}'^^rdf:JSON ;
earl:result [ rdf:type earl:TestResult ; earl:outcome earl:passed ] .