-
Notifications
You must be signed in to change notification settings - Fork 2
SPARQL EXISTS test log for Virtuoso, QLever, and MillenniumDB
Peter F. Patel-Schneider edited this page May 30, 2025
·
3 revisions
This is an earlier version of log that my program created running all the SPARQL EXISTS tests in https://github.com/afs/SPARQL-exists
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-1-empty-bgp ON BlazeGraph
#exists-empty-bgp-01 EXISTS - empty BGP - subSELECT data.ttl exists-empty-bgp-01.rq results-one.srj
PASS
#exists-empty-bgp-02 EXISTS - empty BGP - VALUES data.ttl exists-empty-bgp-02.rq results-one.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-2-def-var ON BlazeGraph
#exists-bad-syntax-01 EXISTS - BIND undefined exists-bad-syntax-01.rq
FAIL ACTUAL 0 []
#exists-bad-syntax-02 EXISTS - VALUES undefined exists-bad-syntax-02.rq
FAIL ACTUAL 0 []
#exists-bad-syntax-03 EXISTS - BOUND undefined exists-bad-syntax-03.rq
FAIL ACTUAL 0 []
#exists-bad-syntax-04 EXISTS - sub-SELECT undefined - 1 exists-bad-syntax-04.rq
FAIL ACTUAL 0 []
#exists-bad-syntax-05 EXISTS - sub-SELECT undefined - 2 exists-bad-syntax-05.rq
FAIL ACTUAL 0 []
#exists-good-syntax-01 EXISTS - BIND exists-good-syntax-01.rq
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-3-bgp ON BlazeGraph
#exists-bgp-1 EXISTS - BGP-1 data1.ttl exists-bgp-A.rq exists-bgp-01.srj
PASS
#exists-bgp-2 EXISTS - BGP-2 data2.ttl exists-bgp-A.rq exists-bgp-02.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-4-minus ON BlazeGraph
#exists-minus-1 EXISTS - MINUS-1 data.ttl exists-minus-01.rq results-zero.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-5-scope ON BlazeGraph
#exist-subselect-hidden EXISTS - Substitute a subselect hidden variable data.ttl exists-subselect-hidden.rq results-two.srj
PASS
#exist-subselect-no-projection EXISTS - Substitute a subselect variable without projection data.ttl exists-subselect-no-projection.rq results-two.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-6-places ON BlazeGraph
#exists-expr-bind-01 EXISTS - BIND expression data.ttl exists-expr-bind.rq results-true.srj
PASS
#exists-expr-bind-02 EXISTS - BIND expression - empty data empty.ttl exists-expr-bind.rq results-false.srj
PASS
#exists-expr-group-by-01 EXISTS - GROUP BY expression data.ttl exists-expr-group-by.rq results-count-one.srj
FAIL ACTUAL 1 [{'C': {'datatype': 'http://www.w3.org/2001/XMLSchema#integer', 'type': 'literal', 'value': '0'}}]
SPECIFIED 1 [{'C': {'type': 'literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#integer', 'value': '1'}}]
#exists-expr-group-by-02 EXISTS - GROUP BY expression - empty data empty.ttl exists-expr-group-by.rq results-count-one.srj
FAIL ACTUAL 1 [{'C': {'datatype': 'http://www.w3.org/2001/XMLSchema#integer', 'type': 'literal', 'value': '0'}}]
SPECIFIED 1 [{'C': {'type': 'literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#integer', 'value': '1'}}]
#exists-expr-order-by-01 EXISTS - ORDER BY expression data.ttl exists-expr-order-by.rq results-one.srj
PASS
#exists-expr-order-by-02 EXISTS - ORDER BY expression - empty data empty.ttl exists-expr-order-by.rq results-one.srj
PASS
#exists-expr-select-01 EXISTS - SELECT expression data.ttl exists-expr-select.rq results-true.srj
PASS
#exists-expr-select-02 EXISTS - SELECT expression - empty data empty.ttl exists-expr-select.rq results-false.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-bnodes ON BlazeGraph
#exists-bnode-01 EXISTS - Data blank node, no BGP match data1.ttl exists-bnode-01.rq results-zero.srj
PASS
#exists-bnode-02 EXISTS - Data blank node, same blank node BGP match data2.ttl exists-bnode-02.rq results-one.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-filter ON BlazeGraph
#exists-filter-01 EXISTS - FILTER empty.nt exists-filter-01.rq results-one.srj
PASS
#exists-filter-02 EXISTS - SELECT * - FILTER empty.nt exists-filter-02.rq results-one.srj
FAIL ACTUAL 0 []
SPECIFIED 1 [{'v': {'type': 'uri', 'value': 'ex:a'}}]
#exists-filter-03 EXISTS - SELECT ?v - FILTER empty.nt exists-filter-03.rq results-one.srj
FAIL ACTUAL 0 []
SPECIFIED 1 [{'v': {'type': 'uri', 'value': 'ex:a'}}]
#minus-filter-01 MINUS - FILTER data1.nt minus-filter-01.rq results-one.srj
PASS
#minus-filter-02 MINUS - SELECT * - FILTER data1.nt minus-filter-02.rq results-one.srj
PASS
#minus-filter-03 MINUS - SELECT ?v - FILTER data1.nt minus-filter-03.rq results-one.srj
PASS
#not-exists-filter-01 NOT EXISTS - FILTER data1.nt not-exists-filter-01.rq results-zero.srj
PASS
#not-exists-filter-02 NOT EXISTS - SELECT * - FILTER data1.nt not-exists-filter-02.rq results-zero.srj
FAIL ACTUAL 1 [{'v': {'type': 'uri', 'value': 'ex:a'}}]
SPECIFIED 0 []
#not-exists-filter-03 NOT EXISTS - SELECT ?v - FILTER data1.nt not-exists-filter-03.rq results-zero.srj
FAIL ACTUAL 1 [{'v': {'type': 'uri', 'value': 'ex:a'}}]
SPECIFIED 0 []
#scope-filter-01 Scope: SELECT ?w - FILTER ?v empty.nt scope-filter-01.rq results-zero.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/other/exists-pfps ON BlazeGraph
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsBlank01 EXISTS substitution to blank node existsBlank01.ttl existsBlank01.rq existsBlank01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'bnode', 'value': 'b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsBound01 EXISTS substitution to variable in BOUND existsbpb.ttl existsBound01.rq existsBound01.srx
Processing wikidump-000000001.ttl.gz
FAIL ACTUAL 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
SPECIFIED 0 []
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsHernandez01 EXISTS substitution into disconnected variable existsHernandez01.ttl existsHernandez01.rq existsHernandez01.srx
FAIL ACTUAL 2 [{'parent': {'type': 'uri', 'value': 'http://www.example.org/a'}}, {'parent': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
SPECIFIED 1 [{'parent': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsHernandez02 EXISTS substitution into disconnected variable existsHernandez01.ttl existsHernandez02.rq existsHernandez01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'parent': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsMinus01 EXISTS substitution that removes shared variable in MINUS existsbpb.ttl existsMinus01.rq existsMinus01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsScope01 BIND in EXISTS to FILTER variable existsbpb.ttl existsScope01.rq existsScope01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsScope02 Twin BIND in EXISTS to FILTER variables with same value existsbpb.ttl existsScope02.rq existsScope01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery01 SELECT in EXISTS with projection to FILTER variable existsbpb.ttl existsSubquery01.rq existsSubquery01.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery02 SELECT inside group in EXISTS with projection to FILTER variable existsbpb.ttl existsSubquery02.rq existsSubquery01.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery03 Twin SELECT in EXISTS for FILTER variables with same value existsbpb.ttl existsSubquery03.rq existsSubquery03.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery04 SELECT in EXISTS with disconnected FILTER variable existsSubquery04.ttl existsSubquery04.rq existsSubquery04.srx
FAIL ACTUAL 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/d'}}]
SPECIFIED 0 []
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery05 SELECT in EXISTS with disconnected FILTER variable existsSubquery04.ttl existsSubquery05.rq existsSubquery04.srx
FAIL ACTUAL 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/d'}}]
SPECIFIED 0 []
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery06 SELECT in EXISTS with connected FILTER variable with AS existsbpb.ttl existsSubquery06.rq existsSubquery01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery07 SELECT in EXISTS with connected FILTER variable with AS existsbpb.ttl existsSubquery07.rq existsSubquery01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery08 SELECT in EXISTS with connected FILTER variable checking BOUND existsbpb.ttl existsSubquery08.rq existsSubquery03.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery09 SELECT in EXISTS with disconnected FILTER variable and grouping existsSubquery09.ttl existsSubquery09.rq existsSubquery04.srx
FAIL ACTUAL 2 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}, {'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
SPECIFIED 0 []
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery10 SELECT in EXISTS with connected FILTER variable with different value existsbpb.ttl existsSubquery10.rq existsSubquery01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery11 SELECT in EXISTS with twin connected FILTER variables with different values existsbpb.ttl existsSubquery11.rq existsSubquery04.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsValues01 VALUES in EXISTS for FILTER variable existsbpb.ttl existsValues01.rq existsValues01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsValues02 Twin VALUES in EXISTS for FILTER variables with same value existsbpb.ttl existsValues02.rq existsValues02.srx
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/other/exists-sparql11 ON BlazeGraph
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists01 Exists with one constant exists01.ttl exists01.rq exists01.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists02 Exists with ground triple exists01.ttl exists02.rq exists02.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists03 Exists within graph pattern exists01.ttl exists03.rq exists03.srx
FAIL ERROR from BlazeGraph: Status Code: 400 Text: SPARQL-QUERY: queryStr=prefix ex: <http://www.example.org/> select * where { graph <exists02.ttl> { ?s ?p ex:o1 filter exists { ?s ?p ex:o2 } } } java.util.concurrent.ExecutionException: java.util.concurrent.ExecutionException: com.bigdata.rdf.sparql.ast.QuadsOperationInTriplesModeException: Use of WITH and GRAPH constructs in query body is not supported in triples mode. at java.util.concurrent.FutureTask.report(FutureTask.java:122) at java.util.concurrent.FutureTask.get(FutureTask.java:206) at com.bigdata.rdf.sail.webapp.BigdataServlet.submitApiTask(BigdataServlet.java:292) at com.bigdata.rdf.sail.webapp.QueryServlet.doSparqlQuery(QueryServlet.java:678) at com.bigdata.rdf.sail.webapp.QueryServlet.doGet(QueryServlet.java:290) at com.bigdata.rdf.sail.webapp.RESTServlet.doGet(RESTServlet.java:240) at javax.servlet.http.HttpServlet.service(HttpServlet.java:687) at javax.servlet.http.HttpServlet.service(HttpServlet.java:790) at org.eclipse.jetty.servlet.ServletHolder.handle(ServletHolder.java:865) at org.eclipse.jetty.servlet.ServletHandler$CachedChain.doFilter(ServletHandler.java:1655) at org.wikidata.query.rdf.blazegraph.throttling.ThrottlingFilter.doFilter(ThrottlingFilter.java:322) at org.eclipse.jetty.servlet.ServletHandler$CachedChain.doFilter(ServletHandler.java:1642) at org.wikidata.query.rdf.blazegraph.throttling.SystemOverloadFilter.doFilter(SystemOverloadFilter.java:84) at org.eclipse.jetty.servlet.ServletHandler$CachedChain.doFilter(ServletHandler.java:1642) at ch.qos.logback.classic.helpers.MDCInsertingServletFilter.doFilter(MDCInsertingServletFilter.java:50) at org.eclipse.jetty.servlet.ServletHandler$CachedChain.doFilter(ServletHandler.java:1642) at org.wikidata.query.rdf.blazegraph.filters.QueryEventSenderFilter.doFilter(QueryEventSenderFilter.java:114) at org.eclipse.jetty.servlet.ServletHandler$CachedChain.doFilter(ServletHandler.java:1642) at org.wikidata.query.rdf.blazegraph.filters.ClientIPFilter.doFilter(ClientIPFilter.java:43) at org.eclipse.jetty.servlet.ServletHandler$CachedChain.doFilter(ServletHandler.java:1642) at org.wikidata.query.rdf.blazegraph.filters.JWTIdentityFilter.doFilter(JWTIdentityFilter.java:66) at org.eclipse.jetty.servlet.ServletHandler$CachedChain.doFilter(ServletHandler.java:1642) at org.wikidata.query.rdf.blazegraph.filters.RealAgentFilter.doFilter(RealAgentFilter.java:33) at org.eclipse.jetty.servlet.ServletHandler$CachedChain.doFilter(ServletHandler.java:1642) at org.wikidata.query.rdf.blazegraph.filters.RequestConcurrencyFilter.doFilter(RequestConcurrencyFilter.java:50) at org.eclipse.jetty.servlet.ServletHandler$CachedChain.doFilter(ServletHandler.java:1634) at org.eclipse.jetty.servlet.ServletHandler.doHandle(ServletHandler.java:533) at org.eclipse.jetty.server.handler.ScopedHandler.handle(ScopedHandler.java:146) at org.eclipse.jetty.security.SecurityHandler.handle(SecurityHandler.java:548) at org.eclipse.jetty.server.handler.HandlerWrapper.handle(HandlerWrapper.java:132) at org.eclipse.jetty.server.handler.ScopedHandler.nextHandle(ScopedHandler.java:257) at org.eclipse.jetty.server.session.SessionHandler.doHandle(SessionHandler.java:1595) at org.eclipse.jetty.server.handler.ScopedHandler.nextHandle(ScopedHandler.java:255) at org.eclipse.jetty.server.handler.ContextHandler.doHandle(ContextHandler.java:1340) at org.eclipse.jetty.server.handler.ScopedHandler.nextScope(ScopedHandler.java:203) at org.eclipse.jetty.servlet.ServletHandler.doScope(ServletHandler.java:473) at org.eclipse.jetty.server.session.SessionHandler.doScope(SessionHandler.java:1564) at org.eclipse.jetty.server.handler.ScopedHandler.nextScope(ScopedHandler.java:201) at org.eclipse.jetty.server.handler.ContextHandler.doScope(ContextHandler.java:1242) at org.eclipse.jetty.server.handler.ScopedHandler.handle(ScopedHandler.java:144) at org.eclipse.jetty.server.handler.ContextHandlerCollection.handle(ContextHandlerCollection.java:220) at org.eclipse.jetty.server.handler.HandlerCollection.handle(HandlerCollection.java:126) at org.eclipse.jetty.server.handler.HandlerWrapper.handle(HandlerWrapper.java:132) at org.eclipse.jetty.server.Server.handle(Server.java:503) at org.eclipse.jetty.server.HttpChannel.handle(HttpChannel.java:364) at org.eclipse.jetty.server.HttpConnection.onFillable(HttpConnection.java:260) at org.eclipse.jetty.io.AbstractConnection$ReadCallback.succeeded(AbstractConnection.java:305) at org.eclipse.jetty.io.FillInterest.fillable(FillInterest.java:103) at org.eclipse.jetty.io.ChannelEndPoint$2.run(ChannelEndPoint.java:118) at org.eclipse.jetty.util.thread.strategy.EatWhatYouKill.runTask(EatWhatYouKill.java:333) at org.eclipse.jetty.util.thread.strategy.EatWhatYouKill.doProduce(EatWhatYouKill.java:310) at org.eclipse.jetty.util.thread.strategy.EatWhatYouKill.tryProduce(EatWhatYouKill.java:168) at org.eclipse.jetty.util.thread.strategy.EatWhatYouKill.produce(EatWhatYouKill.java:132) at org.eclipse.jetty.util.thread.QueuedThreadPool.runJob(QueuedThreadPool.java:765) at org.eclipse.jetty.util.thread.QueuedThreadPool$2.run(QueuedThreadPool.java:683) at java.lang.Thread.run(Thread.java:750) Caused by: java.util.concurrent.ExecutionException: com.bigdata.rdf.sparql.ast.QuadsOperationInTriplesModeException: Use of WITH and GRAPH constructs in query body is not supported in triples mode. at java.util.concurrent.FutureTask.report(FutureTask.java:122) at java.util.concurrent.FutureTask.get(FutureTask.java:192) at com.bigdata.rdf.sail.webapp.QueryServlet$SparqlQueryTask.call(QueryServlet.java:889) at com.bigdata.rdf.sail.webapp.QueryServlet$SparqlQueryTask.call(QueryServlet.java:695) at com.bigdata.rdf.task.ApiTaskForIndexManager.call(ApiTaskForIndexManager.java:68) at java.util.concurrent.FutureTask.run(FutureTask.java:266) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) ... 1 more Caused by: com.bigdata.rdf.sparql.ast.QuadsOperationInTriplesModeException: Use of WITH and GRAPH constructs in query body is not supported in triples mode. at com.bigdata.rdf.sparql.ast.eval.ASTDeferredIVResolution.fillInIV(ASTDeferredIVResolution.java:1039) at com.bigdata.rdf.sparql.ast.eval.ASTDeferredIVResolution.fillInIV(ASTDeferredIVResolution.java:896) at com.bigdata.rdf.sparql.ast.eval.ASTDeferredIVResolution.fillInIV(ASTDeferredIVResolution.java:896) at com.bigdata.rdf.sparql.ast.eval.ASTDeferredIVResolution.prepare(ASTDeferredIVResolution.java:669) at com.bigdata.rdf.sparql.ast.eval.ASTDeferredIVResolution.resolve(ASTDeferredIVResolution.java:454) at com.bigdata.rdf.sparql.ast.eval.ASTDeferredIVResolution.resolveQuery(ASTDeferredIVResolution.java:268) at com.bigdata.rdf.sparql.ast.eval.ASTEvalHelper.optimizeQuery(ASTEvalHelper.java:408) at com.bigdata.rdf.sparql.ast.eval.ASTEvalHelper.evaluateTupleQuery(ASTEvalHelper.java:212) at com.bigdata.rdf.sail.BigdataSailTupleQuery.evaluate(BigdataSailTupleQuery.java:79) at com.bigdata.rdf.sail.BigdataSailTupleQuery.evaluate(BigdataSailTupleQuery.java:61) at org.openrdf.repository.sail.SailTupleQuery.evaluate(SailTupleQuery.java:75) at com.bigdata.rdf.sail.webapp.BigdataRDFContext$TupleQueryTask.doQuery(BigdataRDFContext.java:1722) at com.bigdata.rdf.sail.webapp.BigdataRDFContext$AbstractQueryTask.innerCall(BigdataRDFContext.java:1579) at com.bigdata.rdf.sail.webapp.BigdataRDFContext$AbstractQueryTask.call(BigdataRDFContext.java:1544) at com.bigdata.rdf.sail.webapp.BigdataRDFContext$AbstractQueryTask.call(BigdataRDFContext.java:757) ... 4 more
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists04 Nested positive exists exists01.ttl exists04.rq exists04.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists05 Nested negative exists in positive exists exists01.ttl exists05.rq exists05.srx
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-1-empty-bgp ON MillenniumDB
#exists-empty-bgp-01 EXISTS - empty BGP - subSELECT data.ttl exists-empty-bgp-01.rq results-one.srj
PASS
#exists-empty-bgp-02 EXISTS - empty BGP - VALUES data.ttl exists-empty-bgp-02.rq results-one.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-2-def-var ON MillenniumDB
#exists-bad-syntax-01 EXISTS - BIND undefined exists-bad-syntax-01.rq
FAIL ACTUAL 0 []
#exists-bad-syntax-02 EXISTS - VALUES undefined exists-bad-syntax-02.rq
FAIL ACTUAL 0 []
#exists-bad-syntax-03 EXISTS - BOUND undefined exists-bad-syntax-03.rq
FAIL ACTUAL 0 []
#exists-bad-syntax-04 EXISTS - sub-SELECT undefined - 1 exists-bad-syntax-04.rq
FAIL ACTUAL 0 []
#exists-bad-syntax-05 EXISTS - sub-SELECT undefined - 2 exists-bad-syntax-05.rq
FAIL ACTUAL 0 []
#exists-good-syntax-01 EXISTS - BIND exists-good-syntax-01.rq
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-3-bgp ON MillenniumDB
#exists-bgp-1 EXISTS - BGP-1 data1.ttl exists-bgp-A.rq exists-bgp-01.srj
PASS
#exists-bgp-2 EXISTS - BGP-2 data2.ttl exists-bgp-A.rq exists-bgp-02.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-4-minus ON MillenniumDB
#exists-minus-1 EXISTS - MINUS-1 data.ttl exists-minus-01.rq results-zero.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-5-scope ON MillenniumDB
#exist-subselect-hidden EXISTS - Substitute a subselect hidden variable data.ttl exists-subselect-hidden.rq results-two.srj
FAIL ACTUAL 4 [{'o': {'type': 'literal', 'value': 'A'}}, {'o': {'type': 'literal', 'value': 'A'}}, {'o': {'type': 'literal', 'value': 'B'}}, {'o': {'type': 'literal', 'value': 'B'}}]
SPECIFIED 2 [{'o': {'type': 'literal', 'value': 'A'}}, {'o': {'type': 'literal', 'value': 'B'}}]
#exist-subselect-no-projection EXISTS - Substitute a subselect variable without projection data.ttl exists-subselect-no-projection.rq results-two.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-6-places ON MillenniumDB
#exists-expr-bind-01 EXISTS - BIND expression data.ttl exists-expr-bind.rq results-true.srj
PASS
#exists-expr-bind-02 EXISTS - BIND expression - empty data empty.ttl exists-expr-bind.rq results-false.srj
PASS
#exists-expr-group-by-01 EXISTS - GROUP BY expression data.ttl exists-expr-group-by.rq results-count-one.srj
PASS
#exists-expr-group-by-02 EXISTS - GROUP BY expression - empty data empty.ttl exists-expr-group-by.rq results-count-one.srj
PASS
#exists-expr-order-by-01 EXISTS - ORDER BY expression data.ttl exists-expr-order-by.rq results-one.srj
PASS
#exists-expr-order-by-02 EXISTS - ORDER BY expression - empty data empty.ttl exists-expr-order-by.rq results-one.srj
PASS
#exists-expr-select-01 EXISTS - SELECT expression data.ttl exists-expr-select.rq results-true.srj
PASS
#exists-expr-select-02 EXISTS - SELECT expression - empty data empty.ttl exists-expr-select.rq results-false.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-bnodes ON MillenniumDB
#exists-bnode-01 EXISTS - Data blank node, no BGP match data1.ttl exists-bnode-01.rq results-zero.srj
PASS
#exists-bnode-02 EXISTS - Data blank node, same blank node BGP match data2.ttl exists-bnode-02.rq results-one.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-filter ON MillenniumDB
#exists-filter-01 EXISTS - FILTER empty.nt exists-filter-01.rq results-one.srj
FAIL ACTUAL 0 []
SPECIFIED 1 [{'v': {'type': 'uri', 'value': 'ex:a'}}]
#exists-filter-02 EXISTS - SELECT * - FILTER empty.nt exists-filter-02.rq results-one.srj
FAIL ACTUAL 0 []
SPECIFIED 1 [{'v': {'type': 'uri', 'value': 'ex:a'}}]
#exists-filter-03 EXISTS - SELECT ?v - FILTER empty.nt exists-filter-03.rq results-one.srj
FAIL ACTUAL 0 []
SPECIFIED 1 [{'v': {'type': 'uri', 'value': 'ex:a'}}]
#minus-filter-01 MINUS - FILTER data1.nt minus-filter-01.rq results-one.srj
PASS
#minus-filter-02 MINUS - SELECT * - FILTER data1.nt minus-filter-02.rq results-one.srj
PASS
#minus-filter-03 MINUS - SELECT ?v - FILTER data1.nt minus-filter-03.rq results-one.srj
PASS
#not-exists-filter-01 NOT EXISTS - FILTER data1.nt not-exists-filter-01.rq results-zero.srj
FAIL ACTUAL 1 [{'v': {'type': 'uri', 'value': 'ex:a'}}]
SPECIFIED 0 []
#not-exists-filter-02 NOT EXISTS - SELECT * - FILTER data1.nt not-exists-filter-02.rq results-zero.srj
FAIL ACTUAL 1 [{'v': {'type': 'uri', 'value': 'ex:a'}}]
SPECIFIED 0 []
#not-exists-filter-03 NOT EXISTS - SELECT ?v - FILTER data1.nt not-exists-filter-03.rq results-zero.srj
FAIL ACTUAL 1 [{'v': {'type': 'uri', 'value': 'ex:a'}}]
SPECIFIED 0 []
#scope-filter-01 Scope: SELECT ?w - FILTER ?v empty.nt scope-filter-01.rq results-zero.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/other/exists-pfps ON MillenniumDB
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsBlank01 EXISTS substitution to blank node existsBlank01.ttl existsBlank01.rq existsBlank01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'bnode', 'value': 'b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsBound01 EXISTS substitution to variable in BOUND existsbpb.ttl existsBound01.rq existsBound01.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsHernandez01 EXISTS substitution into disconnected variable existsHernandez01.ttl existsHernandez01.rq existsHernandez01.srx
FAIL ACTUAL 6 [{'parent': {'type': 'uri', 'value': 'http://www.example.org/a'}}, {'parent': {'type': 'uri', 'value': 'http://www.example.org/a'}}, {'parent': {'type': 'uri', 'value': 'http://www.example.org/a'}}, {'parent': {'type': 'uri', 'value': 'http://www.example.org/b'}}, {'parent': {'type': 'uri', 'value': 'http://www.example.org/b'}}, {'parent': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
SPECIFIED 1 [{'parent': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsHernandez02 EXISTS substitution into disconnected variable existsHernandez01.ttl existsHernandez02.rq existsHernandez01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'parent': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsMinus01 EXISTS substitution that removes shared variable in MINUS existsbpb.ttl existsMinus01.rq existsMinus01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsScope01 BIND in EXISTS to FILTER variable existsbpb.ttl existsScope01.rq existsScope01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsScope02 Twin BIND in EXISTS to FILTER variables with same value existsbpb.ttl existsScope02.rq existsScope01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery01 SELECT in EXISTS with projection to FILTER variable existsbpb.ttl existsSubquery01.rq existsSubquery01.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery02 SELECT inside group in EXISTS with projection to FILTER variable existsbpb.ttl existsSubquery02.rq existsSubquery01.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery03 Twin SELECT in EXISTS for FILTER variables with same value existsbpb.ttl existsSubquery03.rq existsSubquery03.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery04 SELECT in EXISTS with disconnected FILTER variable existsSubquery04.ttl existsSubquery04.rq existsSubquery04.srx
FAIL ACTUAL 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/d'}}]
SPECIFIED 0 []
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery05 SELECT in EXISTS with disconnected FILTER variable existsSubquery04.ttl existsSubquery05.rq existsSubquery04.srx
FAIL ACTUAL 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/d'}}]
SPECIFIED 0 []
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery06 SELECT in EXISTS with connected FILTER variable with AS existsbpb.ttl existsSubquery06.rq existsSubquery01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery07 SELECT in EXISTS with connected FILTER variable with AS existsbpb.ttl existsSubquery07.rq existsSubquery01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery08 SELECT in EXISTS with connected FILTER variable checking BOUND existsbpb.ttl existsSubquery08.rq existsSubquery03.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery09 SELECT in EXISTS with disconnected FILTER variable and grouping existsSubquery09.ttl existsSubquery09.rq existsSubquery04.srx
FAIL ACTUAL 2 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}, {'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
SPECIFIED 0 []
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery10 SELECT in EXISTS with connected FILTER variable with different value existsbpb.ttl existsSubquery10.rq existsSubquery01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery11 SELECT in EXISTS with twin connected FILTER variables with different values existsbpb.ttl existsSubquery11.rq existsSubquery04.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsValues01 VALUES in EXISTS for FILTER variable existsbpb.ttl existsValues01.rq existsValues01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsValues02 Twin VALUES in EXISTS for FILTER variables with same value existsbpb.ttl existsValues02.rq existsValues02.srx
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/other/exists-sparql11 ON MillenniumDB
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists01 Exists with one constant exists01.ttl exists01.rq exists01.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists02 Exists with ground triple exists01.ttl exists02.rq exists02.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists03 Exists within graph pattern exists01.ttl exists03.rq exists03.srx
FAIL ERROR from MillenniumDB: Status Code: 400 Text: Bad query semantic: `The IRI 'exists02.ttl' is not absolute and the base IRI is not defined`.
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists04 Nested positive exists exists01.ttl exists04.rq exists04.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists05 Nested negative exists in positive exists exists01.ttl exists05.rq exists05.srx
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-1-empty-bgp ON QLever
#exists-empty-bgp-01 EXISTS - empty BGP - subSELECT data.ttl exists-empty-bgp-01.rq results-one.srj
PASS
#exists-empty-bgp-02 EXISTS - empty BGP - VALUES data.ttl exists-empty-bgp-02.rq results-one.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-2-def-var ON QLever
#exists-bad-syntax-01 EXISTS - BIND undefined exists-bad-syntax-01.rq
FAIL ACTUAL 0 []
#exists-bad-syntax-02 EXISTS - VALUES undefined exists-bad-syntax-02.rq
FAIL ACTUAL 0 []
#exists-bad-syntax-03 EXISTS - BOUND undefined exists-bad-syntax-03.rq
FAIL ACTUAL 0 []
#exists-bad-syntax-04 EXISTS - sub-SELECT undefined - 1 exists-bad-syntax-04.rq
FAIL ACTUAL 0 []
#exists-bad-syntax-05 EXISTS - sub-SELECT undefined - 2 exists-bad-syntax-05.rq
FAIL ACTUAL 0 []
#exists-good-syntax-01 EXISTS - BIND exists-good-syntax-01.rq
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-3-bgp ON QLever
#exists-bgp-1 EXISTS - BGP-1 data1.ttl exists-bgp-A.rq exists-bgp-01.srj
PASS
#exists-bgp-2 EXISTS - BGP-2 data2.ttl exists-bgp-A.rq exists-bgp-02.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-4-minus ON QLever
#exists-minus-1 EXISTS - MINUS-1 data.ttl exists-minus-01.rq results-zero.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-5-scope ON QLever
#exist-subselect-hidden EXISTS - Substitute a subselect hidden variable data.ttl exists-subselect-hidden.rq results-two.srj
PASS
#exist-subselect-no-projection EXISTS - Substitute a subselect variable without projection data.ttl exists-subselect-no-projection.rq results-two.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-6-places ON QLever
#exists-expr-bind-01 EXISTS - BIND expression data.ttl exists-expr-bind.rq results-true.srj
PASS
#exists-expr-bind-02 EXISTS - BIND expression - empty data empty.ttl exists-expr-bind.rq results-false.srj
PASS
#exists-expr-group-by-01 EXISTS - GROUP BY expression data.ttl exists-expr-group-by.rq results-count-one.srj
FAIL ACTUAL 1 [{'C': {'datatype': 'http://www.w3.org/2001/XMLSchema#int', 'type': 'literal', 'value': '1'}}]
SPECIFIED 1 [{'C': {'type': 'literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#integer', 'value': '1'}}]
#exists-expr-group-by-02 EXISTS - GROUP BY expression - empty data empty.ttl exists-expr-group-by.rq results-count-one.srj
FAIL ACTUAL 1 [{'C': {'datatype': 'http://www.w3.org/2001/XMLSchema#int', 'type': 'literal', 'value': '1'}}]
SPECIFIED 1 [{'C': {'type': 'literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#integer', 'value': '1'}}]
#exists-expr-order-by-01 EXISTS - ORDER BY expression data.ttl exists-expr-order-by.rq results-one.srj
PASS
#exists-expr-order-by-02 EXISTS - ORDER BY expression - empty data empty.ttl exists-expr-order-by.rq results-one.srj
PASS
#exists-expr-select-01 EXISTS - SELECT expression data.ttl exists-expr-select.rq results-true.srj
PASS
#exists-expr-select-02 EXISTS - SELECT expression - empty data empty.ttl exists-expr-select.rq results-false.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-bnodes ON QLever
#exists-bnode-01 EXISTS - Data blank node, no BGP match data1.ttl exists-bnode-01.rq results-zero.srj
PASS
#exists-bnode-02 EXISTS - Data blank node, same blank node BGP match data2.ttl exists-bnode-02.rq results-one.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-filter ON QLever
#exists-filter-01 EXISTS - FILTER empty.nt exists-filter-01.rq results-one.srj
PASS
#exists-filter-02 EXISTS - SELECT * - FILTER empty.nt exists-filter-02.rq results-one.srj
PASS
#exists-filter-03 EXISTS - SELECT ?v - FILTER empty.nt exists-filter-03.rq results-one.srj
PASS
#minus-filter-01 MINUS - FILTER data1.nt minus-filter-01.rq results-one.srj
PASS
#minus-filter-02 MINUS - SELECT * - FILTER data1.nt minus-filter-02.rq results-one.srj
PASS
#minus-filter-03 MINUS - SELECT ?v - FILTER data1.nt minus-filter-03.rq results-one.srj
PASS
#not-exists-filter-01 NOT EXISTS - FILTER data1.nt not-exists-filter-01.rq results-zero.srj
PASS
#not-exists-filter-02 NOT EXISTS - SELECT * - FILTER data1.nt not-exists-filter-02.rq results-zero.srj
PASS
#not-exists-filter-03 NOT EXISTS - SELECT ?v - FILTER data1.nt not-exists-filter-03.rq results-zero.srj
PASS
#scope-filter-01 Scope: SELECT ?w - FILTER ?v empty.nt scope-filter-01.rq results-zero.srj
FAIL ACTUAL 1 [{'v': {'type': 'uri', 'value': 'ex:a'}}]
SPECIFIED 0 []
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/other/exists-pfps ON QLever
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsBlank01 EXISTS substitution to blank node existsBlank01.ttl existsBlank01.rq existsBlank01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'bnode', 'value': 'b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsBound01 EXISTS substitution to variable in BOUND existsbpb.ttl existsBound01.rq existsBound01.srx
FAIL ACTUAL 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
SPECIFIED 0 []
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsHernandez01 EXISTS substitution into disconnected variable existsHernandez01.ttl existsHernandez01.rq existsHernandez01.srx
FAIL ACTUAL 2 [{'parent': {'type': 'uri', 'value': 'http://www.example.org/a'}}, {'parent': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
SPECIFIED 1 [{'parent': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsHernandez02 EXISTS substitution into disconnected variable existsHernandez01.ttl existsHernandez02.rq existsHernandez01.srx
FAIL ACTUAL 2 [{'parent': {'type': 'uri', 'value': 'http://www.example.org/a'}}, {'parent': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
SPECIFIED 1 [{'parent': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsMinus01 EXISTS substitution that removes shared variable in MINUS existsbpb.ttl existsMinus01.rq existsMinus01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsScope01 BIND in EXISTS to FILTER variable existsbpb.ttl existsScope01.rq existsScope01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsScope02 Twin BIND in EXISTS to FILTER variables with same value existsbpb.ttl existsScope02.rq existsScope01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery01 SELECT in EXISTS with projection to FILTER variable existsbpb.ttl existsSubquery01.rq existsSubquery01.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery02 SELECT inside group in EXISTS with projection to FILTER variable existsbpb.ttl existsSubquery02.rq existsSubquery01.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery03 Twin SELECT in EXISTS for FILTER variables with same value existsbpb.ttl existsSubquery03.rq existsSubquery03.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery04 SELECT in EXISTS with disconnected FILTER variable existsSubquery04.ttl existsSubquery04.rq existsSubquery04.srx
FAIL ACTUAL 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/d'}}]
SPECIFIED 0 []
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery05 SELECT in EXISTS with disconnected FILTER variable existsSubquery04.ttl existsSubquery05.rq existsSubquery04.srx
FAIL ACTUAL 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/d'}}]
SPECIFIED 0 []
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery06 SELECT in EXISTS with connected FILTER variable with AS existsbpb.ttl existsSubquery06.rq existsSubquery01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery07 SELECT in EXISTS with connected FILTER variable with AS existsbpb.ttl existsSubquery07.rq existsSubquery01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery08 SELECT in EXISTS with connected FILTER variable checking BOUND existsbpb.ttl existsSubquery08.rq existsSubquery03.srx
FAIL ACTUAL 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
SPECIFIED 0 []
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery09 SELECT in EXISTS with disconnected FILTER variable and grouping existsSubquery09.ttl existsSubquery09.rq existsSubquery04.srx
FAIL ACTUAL 2 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}, {'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
SPECIFIED 0 []
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery10 SELECT in EXISTS with connected FILTER variable with different value existsbpb.ttl existsSubquery10.rq existsSubquery01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery11 SELECT in EXISTS with twin connected FILTER variables with different values existsbpb.ttl existsSubquery11.rq existsSubquery04.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsValues01 VALUES in EXISTS for FILTER variable existsbpb.ttl existsValues01.rq existsValues01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsValues02 Twin VALUES in EXISTS for FILTER variables with same value existsbpb.ttl existsValues02.rq existsValues02.srx
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/other/exists-sparql11 ON QLever
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists01 Exists with one constant exists01.ttl exists01.rq exists01.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists02 Exists with ground triple exists01.ttl exists02.rq exists02.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists03 Exists within graph pattern exists01.ttl exists03.rq exists03.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'s': {'type': 'uri', 'value': 'http://www.example.org/b'}, 'p': {'type': 'uri', 'value': 'http://www.example.org/p'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists04 Nested positive exists exists01.ttl exists04.rq exists04.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists05 Nested negative exists in positive exists exists01.ttl exists05.rq exists05.srx
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-1-empty-bgp ON Virtuoso
#exists-empty-bgp-01 EXISTS - empty BGP - subSELECT data.ttl exists-empty-bgp-01.rq results-one.srj
FAIL ACTUAL 1 [{'_star_fake': {'type': 'typed-literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#integer', 'value': '1'}}]
SPECIFIED 1 [{}]
#exists-empty-bgp-02 EXISTS - empty BGP - VALUES data.ttl exists-empty-bgp-02.rq results-one.srj
FAIL ACTUAL 1 [{'_star_fake': {'type': 'typed-literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#integer', 'value': '1'}}]
SPECIFIED 1 [{}]
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-2-def-var ON Virtuoso
#exists-bad-syntax-01 EXISTS - BIND undefined exists-bad-syntax-01.rq
FAIL ACTUAL 0 []
#exists-bad-syntax-02 EXISTS - VALUES undefined exists-bad-syntax-02.rq
FAIL ACTUAL 0 []
#exists-bad-syntax-03 EXISTS - BOUND undefined exists-bad-syntax-03.rq
FAIL ACTUAL 0 []
#exists-bad-syntax-04 EXISTS - sub-SELECT undefined - 1 exists-bad-syntax-04.rq
FAIL ACTUAL 0 []
#exists-bad-syntax-05 EXISTS - sub-SELECT undefined - 2 exists-bad-syntax-05.rq
FAIL ACTUAL 0 []
#exists-good-syntax-01 EXISTS - BIND exists-good-syntax-01.rq
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-3-bgp ON Virtuoso
#exists-bgp-1 EXISTS - BGP-1 data1.ttl exists-bgp-A.rq exists-bgp-01.srj
PASS
#exists-bgp-2 EXISTS - BGP-2 data2.ttl exists-bgp-A.rq exists-bgp-02.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-4-minus ON Virtuoso
#exists-minus-1 EXISTS - MINUS-1 data.ttl exists-minus-01.rq results-zero.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-5-scope ON Virtuoso
#exist-subselect-hidden EXISTS - Substitute a subselect hidden variable data.ttl exists-subselect-hidden.rq results-two.srj
PASS
#exist-subselect-no-projection EXISTS - Substitute a subselect variable without projection data.ttl exists-subselect-no-projection.rq results-two.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-6-places ON Virtuoso
#exists-expr-bind-01 EXISTS - BIND expression data.ttl exists-expr-bind.rq results-true.srj
FAIL ACTUAL 1 [{'X': {'type': 'typed-literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#integer', 'value': '1'}}]
SPECIFIED 1 [{'X': {'type': 'literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#boolean', 'value': 'true'}}]
#exists-expr-bind-02 EXISTS - BIND expression - empty data empty.ttl exists-expr-bind.rq results-false.srj
FAIL ACTUAL 1 [{'X': {'type': 'typed-literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#integer', 'value': '1'}}]
SPECIFIED 1 [{'X': {'type': 'literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#boolean', 'value': 'false'}}]
#exists-expr-group-by-01 EXISTS - GROUP BY expression data.ttl exists-expr-group-by.rq results-count-one.srj
FAIL ACTUAL 1 [{'C': {'type': 'typed-literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#integer', 'value': '1'}}]
SPECIFIED 1 [{'C': {'type': 'literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#integer', 'value': '1'}}]
#exists-expr-group-by-02 EXISTS - GROUP BY expression - empty data empty.ttl exists-expr-group-by.rq results-count-one.srj
FAIL ACTUAL 1 [{'C': {'type': 'typed-literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#integer', 'value': '1'}}]
SPECIFIED 1 [{'C': {'type': 'literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#integer', 'value': '1'}}]
#exists-expr-order-by-01 EXISTS - ORDER BY expression data.ttl exists-expr-order-by.rq results-one.srj
FAIL ACTUAL 1 [{'_star_fake': {'type': 'typed-literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#integer', 'value': '1'}}]
SPECIFIED 1 [{}]
#exists-expr-order-by-02 EXISTS - ORDER BY expression - empty data empty.ttl exists-expr-order-by.rq results-one.srj
FAIL ACTUAL 1 [{'_star_fake': {'type': 'typed-literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#integer', 'value': '1'}}]
SPECIFIED 1 [{}]
#exists-expr-select-01 EXISTS - SELECT expression data.ttl exists-expr-select.rq results-true.srj
FAIL ACTUAL 1 [{'X': {'type': 'typed-literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#integer', 'value': '1'}}]
SPECIFIED 1 [{'X': {'type': 'literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#boolean', 'value': 'true'}}]
#exists-expr-select-02 EXISTS - SELECT expression - empty data empty.ttl exists-expr-select.rq results-false.srj
FAIL ACTUAL 1 [{'X': {'type': 'typed-literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#integer', 'value': '1'}}]
SPECIFIED 1 [{'X': {'type': 'literal', 'datatype': 'http://www.w3.org/2001/XMLSchema#boolean', 'value': 'false'}}]
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-bnodes ON Virtuoso
#exists-bnode-01 EXISTS - Data blank node, no BGP match data1.ttl exists-bnode-01.rq results-zero.srj
PASS
#exists-bnode-02 EXISTS - Data blank node, same blank node BGP match data2.ttl exists-bnode-02.rq results-one.srj
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/exists-filter ON Virtuoso
#exists-filter-01 EXISTS - FILTER empty.nt exists-filter-01.rq results-one.srj
PASS
#exists-filter-02 EXISTS - SELECT * - FILTER empty.nt exists-filter-02.rq results-one.srj
PASS
#exists-filter-03 EXISTS - SELECT ?v - FILTER empty.nt exists-filter-03.rq results-one.srj
PASS
#minus-filter-01 MINUS - FILTER data1.nt minus-filter-01.rq results-one.srj
FAIL ACTUAL 0 []
SPECIFIED 1 [{'v': {'type': 'uri', 'value': 'ex:a'}}]
#minus-filter-02 MINUS - SELECT * - FILTER data1.nt minus-filter-02.rq results-one.srj
FAIL ACTUAL 0 []
SPECIFIED 1 [{'v': {'type': 'uri', 'value': 'ex:a'}}]
#minus-filter-03 MINUS - SELECT ?v - FILTER data1.nt minus-filter-03.rq results-one.srj
FAIL ACTUAL 0 []
SPECIFIED 1 [{'v': {'type': 'uri', 'value': 'ex:a'}}]
#not-exists-filter-01 NOT EXISTS - FILTER data1.nt not-exists-filter-01.rq results-zero.srj
PASS
#not-exists-filter-02 NOT EXISTS - SELECT * - FILTER data1.nt not-exists-filter-02.rq results-zero.srj
PASS
#not-exists-filter-03 NOT EXISTS - SELECT ?v - FILTER data1.nt not-exists-filter-03.rq results-zero.srj
PASS
#scope-filter-01 Scope: SELECT ?w - FILTER ?v empty.nt scope-filter-01.rq results-zero.srj
FAIL ACTUAL 1 [{'v': {'type': 'uri', 'value': 'ex:a'}}]
SPECIFIED 0 []
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/other/exists-pfps ON Virtuoso
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsBlank01 EXISTS substitution to blank node existsBlank01.ttl existsBlank01.rq existsBlank01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'bnode', 'value': 'b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsBound01 EXISTS substitution to variable in BOUND existsbpb.ttl existsBound01.rq existsBound01.srx
FAIL ACTUAL 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
SPECIFIED 0 []
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsHernandez01 EXISTS substitution into disconnected variable existsHernandez01.ttl existsHernandez01.rq existsHernandez01.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsHernandez02 EXISTS substitution into disconnected variable existsHernandez01.ttl existsHernandez02.rq existsHernandez01.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsMinus01 EXISTS substitution that removes shared variable in MINUS existsbpb.ttl existsMinus01.rq existsMinus01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsScope01 BIND in EXISTS to FILTER variable existsbpb.ttl existsScope01.rq existsScope01.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsScope02 Twin BIND in EXISTS to FILTER variables with same value existsbpb.ttl existsScope02.rq existsScope01.srx
FAIL ACTUAL 2 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}, {'x': {'type': 'uri', 'value': 'http://www.example.org/s'}}]
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery01 SELECT in EXISTS with projection to FILTER variable existsbpb.ttl existsSubquery01.rq existsSubquery01.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery02 SELECT inside group in EXISTS with projection to FILTER variable existsbpb.ttl existsSubquery02.rq existsSubquery01.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery03 Twin SELECT in EXISTS for FILTER variables with same value existsbpb.ttl existsSubquery03.rq existsSubquery03.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery04 SELECT in EXISTS with disconnected FILTER variable existsSubquery04.ttl existsSubquery04.rq existsSubquery04.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery05 SELECT in EXISTS with disconnected FILTER variable existsSubquery04.ttl existsSubquery05.rq existsSubquery04.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery06 SELECT in EXISTS with connected FILTER variable with AS existsbpb.ttl existsSubquery06.rq existsSubquery01.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery07 SELECT in EXISTS with connected FILTER variable with AS existsbpb.ttl existsSubquery07.rq existsSubquery01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery08 SELECT in EXISTS with connected FILTER variable checking BOUND existsbpb.ttl existsSubquery08.rq existsSubquery03.srx
FAIL ACTUAL 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
SPECIFIED 0 []
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery09 SELECT in EXISTS with disconnected FILTER variable and grouping existsSubquery09.ttl existsSubquery09.rq existsSubquery04.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery10 SELECT in EXISTS with connected FILTER variable with different value existsbpb.ttl existsSubquery10.rq existsSubquery01.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsSubquery11 SELECT in EXISTS with twin connected FILTER variables with different values existsbpb.ttl existsSubquery11.rq existsSubquery04.srx
FAIL ACTUAL 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
SPECIFIED 0 []
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsValues01 VALUES in EXISTS for FILTER variable existsbpb.ttl existsValues01.rq existsValues01.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'x': {'type': 'uri', 'value': 'http://www.example.org/b'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#existsValues02 Twin VALUES in EXISTS for FILTER variables with same value existsbpb.ttl existsValues02.rq existsValues02.srx
PASS
RUNNING TESTS IN /home/local/tests/SPARQL-exists/tests/other/exists-sparql11 ON Virtuoso
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists01 Exists with one constant exists01.ttl exists01.rq exists01.srx
FAIL ACTUAL 4 [{'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/o1'}}, {'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': 'bnode', 'value': 'nodeID://b10004'}}]
SPECIFIED 3 [{'s': {'type': 'uri', 'value': 'http://www.example.org/s'}, 'o': {'type': 'uri', 'value': 'http://www.example.org/o'}, 'p': {'type': 'uri', 'value': 'http://www.example.org/p'}}, {'s': {'type': 'uri', 'value': 'http://www.example.org/s'}, 'o': {'type': 'uri', 'value': 'http://www.example.org/o1'}, 'p': {'type': 'uri', 'value': 'http://www.example.org/p'}}, {'s': {'type': 'uri', 'value': 'http://www.example.org/s'}, 'o': {'type': 'uri', 'value': 'http://www.example.org/o2'}, 'p': {'type': 'uri', 'value': 'http://www.example.org/p'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists02 Exists with ground triple exists01.ttl exists02.rq exists02.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists03 Exists within graph pattern exists01.ttl exists03.rq exists03.srx
FAIL ACTUAL 0 []
SPECIFIED 1 [{'s': {'type': 'uri', 'value': 'http://www.example.org/b'}, 'p': {'type': 'uri', 'value': 'http://www.example.org/p'}}]
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists04 Nested positive exists exists01.ttl exists04.rq exists04.srx
PASS
http://www.w3.org/2009/sparql/docs/tests/data-sparql11/exists/manifest#exists05 Nested negative exists in positive exists exists01.ttl exists05.rq exists05.srx
PASS