Results for approved tests are shown with bold colours, unapproved tests in pale.
| Name | Comment | Result |
|---|
| Filter-nested - 1 | A FILTER is in scope for variables bound at the same level of the query tree |
PASS A B |
| Filter-nested - 2 | A FILTER in a group { ... } cannot see variables bound outside that group | Optimiser flattens |
| Filter-placement - 1 | FILTER placed after the triple pattern that contains the variable tested |
PASS A B |
| Filter-placement - 2 | FILTERs are scoped to the nearest enclosing group - placement within that group does not matter |
PASS A B |
| Filter-placement - 3 | FILTERs are scoped to the nearest enclosing group - placement within that group does not matter |
PASS A B |
| Filter-scope - 1 | FILTERs in an OPTIONAL do not extend to variables bound outside of the LeftJoin(...) operation | Depends on bottom-up processing |
| Join scope - 1 | Variables have query scope. | Depends on bottom-up processing |
| Nested Optionals - 1 | Nested-optionals with a shared variable that does not appear in the middle pattern (a not well-formed query pattern as per \"Semantics and Complexity\" of SPARQL | Depends on bottom-up processing |
| Nested Optionals - 2 | OPTIONALs parse in a left-associative manner |
PASS A B |
| Optional-filter - 1 | A FILTER inside an OPTIONAL can reference a variable bound in the required part of the OPTIONAL | Depends on bottom-up processing |
| Optional-filter - 2 filters | FILTERs inside an OPTIONAL can refer to variables from both the required and optional parts of the construct. | Depends on bottom-up processing |
| Optional-filter - scope of variable | FILTERs in an OPTIONAL do not extend to variables bound outside of the LeftJoin(...) operation | Depends on bottom-up processing |
| dawg-bnode-coreference | Query results must maintain bnode co-references in the dataset |
PASS A B |
| Test 'boolean effective value' - true | Non-zero numerics, non-empty strings, and the true boolean have an EBV of true |
PASS A B |
| Test 'boolean effective value' - false | Zero-valued numerics, the empty string, and the false boolean have an EBV of false |
PASS A B |
| Test 'boolean effective value' - && | The && operator takes the EBV of its operands |
PASS A B |
| Test 'boolean effective value' - || | The || operator takes the EBV of its operands |
PASS A B |
| Test 'boolean effective value' - optional | The EBV of an unbound value or a literal with an unknown datatype is a type error, which eliminates the solution in question |
PASS A B |
| Test 'boolean effective value' - unknown types | Negating a type error is still a type error |
PASS A B |
| dawg-bound-query-001 | BOUND test case. |
PASS A B |
| dawg-construct-identity | Graph equivalent result graph |
PASS A B |
| dawg-construct-subgraph | Result subgraph of original graph |
PASS A B |
| dawg-construct-reification-1 | Reification of the default graph |
PASS A B |
| dawg-construct-reification-2 | Reification of the default graph |
PASS A B |
| dawg-construct-optional | Reification of the default graph | Matches, but graph iso test can't tell |
| dataset-01 | Data: default dataset / Query: default dataset |
FAIL A — B |
| dataset-02 | Data: named dataset / Query: default dataset |
PASS A B |
| dataset-03 | Data: named dataset / Query: named dataset dataset |
FAIL A — B |
| dataset-04 | Data: named dataset / Query: default dataset |
PASS A B |
| dataset-05 | Data: default and named / Query: default dataset |
FAIL A — B |
| dataset-06 | Data: default and named / Query: named dataset |
FAIL A — B |
| dataset-07 | Data: default and named / Query: all data by UNION |
FAIL A — B |
| dataset-08 | Data: default and named / Query: common subjects |
FAIL A — B |
| dataset-09 | Data: default and named (bnodes) / Query: common subjects |
PASS A B |
| dataset-10 | Data: default and named (same data, with bnodes) / Query: common subjects |
PASS A B |
| dataset-11 | Data: default and named (several) / Query: get everything |
FAIL A — B |
| dataset-12 | Data: default (several) and named (several) / Query: get everything |
FAIL A — B |
| datatype-1 | |
PASS A B |
| datatype-2 : Literals with a datatype | updated from original test case: eliminated ordering from test |
PASS A B |
| datatype-3 : Literals with a datatype of xsd:string | updated from original test case: eliminated ordering from test |
PASS A B |
| isBlank-1 | |
PASS A B |
| isIRI-1 | |
PASS A B |
| isURI-1 | |
PASS A B |
| lang-1 : Literals with a lang tag of some kind | updated from original test case: eliminated ordering from test |
PASS A B |
| lang-2 : Literals with a lang tag of '' | updated from original test case: eliminated ordering from test |
PASS A B |
| lang-3 : Graph matching with lang tag being a different case | updated from original test case: eliminated ordering from test |
PASS A B |
| LangMatches-1 | |
PASS A B |
| LangMatches-2 | |
PASS A B |
| LangMatches-3 | |
PASS A B |
| LangMatches-4 | |
PASS A B |
| str-1 | |
PASS A B |
| str-2 | |
PASS A B |
| str-3 | |
PASS A B |
| str-4 | |
PASS A B |
| lang-case-insensitive-eq | 'xyz'@en = 'xyz'@EN |
PASS A B |
| lang-case-insensitive-ne | 'xyz'@en != 'xyz'@EN |
PASS A B |
| Equality 1-1 | = in FILTER expressions is value equality |
PASS A B |
| Equality - 2 var - test equals | = in FILTER is value equality |
PASS A B |
| Equality - 2 var - test not equals | != in FILTER is value inequality |
PASS A B |
| Equality 1-2 | = in FILTER expressions is value equality |
PASS A B |
| Equality 1-3 | Numerics are not value-equivalent to plain literals |
PASS A B |
| Equality 1-4 | = compares plain literals and unknown types with the same lexical form as false |
PASS A B |
| Equality 1-5 | = on IRI terms |
PASS A B |
| Equality 1-1 -- graph | Graph pattern matching matches exact terms, not values |
PASS A B |
| Equality 1-2 -- graph | Graph pattern matching matches exact terms, not values |
FAIL A — B |
| Equality 1-3 -- graph | Graph pattern matching matches exact terms, not values |
PASS A B |
| Equality 1-4 -- graph | Graph pattern matching matches exact terms, not values |
PASS A B |
| Equality 1-5 -- graph | Graph pattern matching matches exact terms, not values |
PASS A B |
| graph-01 | Data: default graph / Query: default graph |
PASS A B |
| graph-02 | Data: named graph / Query: default graph |
PASS A B |
| graph-03 | Data: named graph / Query: named graph graph |
FAIL A — B |
| graph-04 | Data: named graph / Query: default graph |
FAIL A — B |
| graph-05 | Data: default and named / Query: default graph |
PASS A B |
| graph-06 | Data: default and named / Query: named graph |
FAIL A — B |
| graph-07 | Data: default and named / Query: all data by UNION |
FAIL A — B |
| graph-08 | Data: default and named / Query: common subjects |
FAIL A — B |
| graph-09 | Data: default and named (bnodes) / Query: common subjects |
FAIL A — B |
| graph-10 | Data: default and named (same data, with bnodes) / Query: common subjects |
FAIL A — B |
| graph-11 | Data: default and named (several) / Query: get everything |
FAIL A — B |
| date-1 | Added type : xsd:date '=', requires :date | Requires xsd:date |
| date-2 | Added type : xsd:date '!=', requires :date, requires :xsd-date-eq-xsd-dateTime | Requires xsd:date |
| date-3 | Added type : xsd:date '>', requires :date | Requires xsd:date |
| date-4 | xsd:date ORDER BY |
PASS A B |
| open-cmp-01 | Find things that compare with < or > |
PASS A B |
| open-cmp-02 | Find things that compare with <= and > |
PASS A B |
| open-eq-01 | graph match - no lexical form in data (assumes no value matching) |
PASS A B |
| open-eq-02 | graph match - unknown type |
PASS A B |
| open-eq-03 | Filter(?v=1) |
PASS A B |
| open-eq-04 | Filter(?v!=1) |
PASS A B |
| open-eq-05 | FILTER(?v = unknown type) |
PASS A B |
| open-eq-06 | FILTER(?v != unknown type) |
PASS A B |
| open-eq-07 | Test of '=' , requires :LangCaseInsensitivity, requires :StringSimpleLiteralCmp, requires :IllFormedLiteral |
PASS A B |
| open-eq-08 | Test of '!=', requires :StringSimpleLiteralCmp, requires :LangCaseInsensitivity, requires :KnownTypesDefault2Neq, requires :IllFormedLiteral |
PASS A B |
| open-eq-09 | Test of '=', requires :IllFormedLiteral |
PASS A B |
| open-eq-10 | Test of '!=', requires :IllFormedLiteral, requires :KnownTypesDefault2Neq |
PASS A B |
| open-eq-11 | test of '=' || '!=', requires :IllFormedLiteral, requires :KnownTypesDefault2Neq |
PASS A B |
| open-eq-12 | find pairs that don't value-compare, requires :IllFormedLiteral, requires :KnownTypesDefault2Neq |
PASS A B |
| OPTIONAL-FILTER | FILTER inside an OPTIONAL does not block an entire solution |
PASS A B |
| OPTIONAL - Outer FILTER | FILTER outside an OPTIONAL tests bound and unbound variables |
PASS A B |
| OPTIONAL - Outer FILTER with BOUND | Use !bound to only run outer FILTERs against variables bound in an OPTIONAL |
PASS A B |
| One optional clause | One optional clause |
PASS A B |
| Two optional clauses | One optional clause |
PASS A B |
| Union is not optional | Union is not optional |
PASS A B |
| regex-query-001 | Simple unanchored match test |
PASS A B |
| regex-query-002 | Case insensitive unanchored match test |
PASS A B |
| regex-query-003 | Use/mention test |
PASS A B |
| regex-query-004 | str()+URI test |
PASS A B |
| sort-10 | Alphabetic sort (descending) on datatyped (string) literals |
PASS A B |
| sort-1 | Alphabetic sort (ascending) on untyped literals |
PASS A B |
| sort-2 | Alphabetic sort (descending) on untyped literals |
PASS A B |
| sort-3 | Sort on (possibly unbound) URIs |
PASS A B |
| sort-4 | Sort on datatyped (integer) literals |
PASS A B |
| sort-5 | Sort first on untyped literals (ascending), then on datatyped (integer) literals (descending |
PASS A B |
| sort-6 | Sort on mixed result of uris and literals. |
PASS A B |
| sort-7 | Sort on comparable mixed typed literals (integer and float) |
PASS A B |
| sort-8 | Sort on several mixed values (bnode, uri, literal) |
PASS A B |
| sort-9 | Alphabetic sort (ascending) on datatyped (string) literals |
PASS A B |
| syntax-basic-01.rq | |
PASS |
| syntax-basic-02.rq | |
PASS |
| syntax-basic-03.rq | |
PASS |
| syntax-basic-04.rq | |
PASS |
| syntax-basic-05.rq | |
PASS |
| syntax-basic-06.rq | |
PASS |
| syntax-bnodes-01.rq | |
PASS |
| syntax-bnodes-02.rq | |
PASS |
| syntax-bnodes-03.rq | |
PASS |
| syntax-bnodes-04.rq | |
PASS |
| syntax-bnodes-05.rq | |
PASS |
| syntax-expr-01.rq | |
PASS |
| syntax-expr-02.rq | |
PASS |
| syntax-expr-03.rq | |
PASS |
| syntax-expr-04.rq | |
PASS |
| syntax-expr-05.rq | |
PASS |
| syntax-forms-01.rq | |
PASS |
| syntax-forms-02.rq | |
PASS |
| syntax-limit-offset-01.rq | |
PASS |
| syntax-limit-offset-02.rq | |
PASS |
| syntax-limit-offset-03.rq | |
FAIL err |
| syntax-limit-offset-04.rq | |
PASS |
| syntax-lists-01.rq | |
PASS |
| syntax-lists-02.rq | |
PASS |
| syntax-lists-03.rq | |
PASS |
| syntax-lists-04.rq | |
PASS |
| syntax-lists-05.rq | |
PASS |
| syntax-lit-01.rq | |
PASS |
| syntax-lit-02.rq | |
PASS |
| syntax-lit-03.rq | |
PASS |
| syntax-lit-04.rq | |
PASS |
| syntax-lit-05.rq | |
PASS |
| syntax-lit-06.rq | |
PASS |
| syntax-lit-07.rq | |
PASS |
| syntax-lit-08.rq | |
PASS |
| syntax-lit-09.rq | |
PASS |
| syntax-lit-10.rq | |
PASS |
| syntax-lit-11.rq | |
PASS |
| syntax-lit-12.rq | |
PASS |
| syntax-lit-13.rq | |
PASS |
| syntax-lit-14.rq | |
PASS |
| syntax-lit-15.rq | |
PASS |
| syntax-lit-16.rq | |
PASS |
| syntax-lit-17.rq | |
PASS |
| syntax-lit-18.rq | |
PASS |
| syntax-lit-19.rq | |
PASS |
| syntax-lit-20.rq | |
PASS |
| syntax-order-01.rq | |
PASS |
| syntax-order-02.rq | |
PASS |
| syntax-order-03.rq | |
PASS |
| syntax-order-04.rq | |
PASS |
| syntax-order-05.rq | |
PASS |
| syntax-order-06.rq | |
PASS |
| syntax-order-07.rq | |
FAIL err |
| syntax-pat-01.rq | |
PASS |
| syntax-pat-02.rq | |
PASS |
| syntax-pat-03.rq | |
PASS |
| syntax-pat-04.rq | |
PASS |
| syntax-qname-01.rq | |
PASS |
| syntax-qname-02.rq | |
PASS |
| syntax-qname-03.rq | |
PASS |
| syntax-qname-04.rq | |
PASS |
| syntax-qname-05.rq | |
PASS |
| syntax-qname-06.rq | |
PASS |
| syntax-qname-07.rq | |
PASS |
| syntax-qname-08.rq | |
PASS |
| syntax-struct-01.rq | |
PASS |
| syntax-struct-02.rq | |
PASS |
| syntax-struct-03.rq | |
PASS |
| syntax-struct-05.rq | |
PASS |
| syntax-struct-06.rq | |
PASS |
| syntax-struct-07.rq | |
PASS |
| syntax-struct-08.rq | |
PASS |
| syntax-struct-09.rq | |
PASS |
| syntax-struct-10.rq | |
PASS |
| syntax-struct-11.rq | |
PASS |
| syntax-struct-12.rq | |
PASS |
| syntax-struct-13.rq | |
PASS |
| syntax-struct-14.rq | |
PASS |
| syntax-union-01.rq | |
PASS |
| syntax-union-02.rq | |
PASS |
| syntax-bnode-01.rq | |
PASS |
| syntax-bnode-02.rq | |
PASS |
| syntax-bnode-03.rq | |
PASS |
| syntax-dataset-01.rq | |
PASS |
| syntax-dataset-02.rq | |
PASS |
| syntax-dataset-03.rq | |
PASS |
| syntax-dataset-04.rq | |
PASS |
| syntax-esc-01.rq | |
PASS |
| syntax-esc-02.rq | |
PASS |
| syntax-esc-03.rq | |
PASS |
| syntax-esc-04.rq | |
PASS |
| syntax-esc-05.rq | |
PASS |
| syntax-form-ask-02.rq | |
PASS |
| syntax-form-construct01.rq | |
PASS |
| syntax-form-construct02.rq | |
PASS |
| syntax-form-construct03.rq | |
PASS |
| syntax-form-construct04.rq | |
PASS |
| syntax-form-construct06.rq | |
PASS |
| syntax-form-describe01.rq | |
PASS |
| syntax-form-describe02.rq | |
PASS |
| syntax-form-select-01.rq | |
PASS |
| syntax-form-select-02.rq | |
PASS |
| syntax-function-01.rq | |
PASS |
| syntax-function-02.rq | |
PASS |
| syntax-function-03.rq | |
PASS |
| syntax-function-04.rq | |
PASS |
| syntax-general-01.rq | |
PASS |
| syntax-general-02.rq | |
PASS |
| syntax-general-03.rq | |
PASS |
| syntax-general-04.rq | |
FAIL err |
| syntax-general-05.rq | |
FAIL err |
| syntax-general-06.rq | |
PASS |
| syntax-general-07.rq | |
PASS |
| syntax-general-08.rq | |
PASS |
| syntax-general-09.rq | |
PASS |
| syntax-general-10.rq | |
PASS |
| syntax-general-11.rq | |
PASS |
| syntax-general-12.rq | |
PASS |
| syntax-general-13.rq | |
PASS |
| syntax-general-14.rq | |
PASS |
| syntax-graph-01.rq | |
PASS |
| syntax-graph-02.rq | |
PASS |
| syntax-graph-03.rq | |
PASS |
| syntax-graph-04.rq | |
PASS |
| syntax-graph-05.rq | |
PASS |
| syntax-keywords-01.rq | |
PASS |
| syntax-keywords-02.rq | |
PASS |
| syntax-keywords-03.rq | |
PASS |
| syntax-lists-01.rq | |
PASS |
| syntax-lists-02.rq | |
PASS |
| syntax-lists-03.rq | |
PASS |
| syntax-lists-04.rq | |
PASS |
| syntax-lists-05.rq | |
PASS |
| syn-blabel-cross-filter | |
PASS |
| syn-blabel-cross-graph-bad | |
FAIL silent |
| syn-blabel-cross-optional-bad | |
PASS |
| syn-blabel-cross-union-bad | |
PASS |
| syn-bad-bnode-dot.rq | |
PASS |
| syn-bad-bnodes-missing-pvalues-01.rq | |
PASS |
| syn-bad-bnodes-missing-pvalues-02.rq | |
PASS |
| syn-bad-empty-optional-01.rq | |
PASS |
| syn-bad-empty-optional-02.rq | |
PASS |
| syn-bad-filter-missing-parens.rq | |
PASS |
| syn-bad-lone-list.rq | |
PASS |
| syn-bad-lone-node.rq | |
PASS |
| syn-01.rq | |
PASS |
| syn-02.rq | |
PASS |
| syn-03.rq | |
PASS |
| syn-04.rq | |
PASS |
| syn-05.rq | |
PASS |
| syn-06.rq | |
PASS |
| syn-07.rq | |
PASS |
| syn-08.rq | |
PASS |
| syn-bad-01.rq | |
FAIL silent |
| syn-bad-02.rq | |
FAIL silent |
| syn-bad-03.rq | |
FAIL silent |
| syn-bad-04.rq | |
PASS |
| syn-bad-05.rq | |
PASS |
| syn-bad-06.rq | |
PASS |
| syn-bad-07.rq | |
PASS |
| syn-bad-08.rq | |
FAIL silent |
| syn-bad-09.rq | |
FAIL silent |
| syn-bad-10.rq | |
FAIL silent |
| syn-bad-11.rq | |
FAIL silent |
| syn-bad-12.rq | |
FAIL silent |
| syn-bad-13.rq | |
FAIL silent |
| syn-bad-14.rq | |
PASS |
| syn-bad-15.rq | |
PASS |
| syn-bad-16.rq | |
PASS |
| syn-bad-17.rq | |
PASS |
| syn-bad-18.rq | |
PASS |
| syn-bad-19.rq | |
PASS |
| syn-bad-20.rq | |
PASS |
| syn-bad-21.rq | |
PASS |
| syn-bad-22.rq | |
PASS |
| syn-bad-23.rq | |
PASS |
| syn-bad-24.rq | |
PASS |
| syn-bad-25.rq | |
PASS |
| syn-bad-26.rq | |
PASS |
| syn-bad-27.rq | |
FAIL silent |
| syn-bad-28.rq | |
FAIL silent |
| syn-bad-29.rq | |
FAIL silent |
| syn-bad-30.rq | |
FAIL silent |
| syn-bad-31.rq | |
FAIL silent |
| syn-09.rq | |
PASS |
| syn-10.rq | |
PASS |
| syn-11.rq | |
PASS |
| syn-bad-34.rq | |
FAIL silent |
| syn-bad-35.rq | |
FAIL silent |
| syn-bad-36.rq | |
FAIL silent |
| syn-bad-37.rq | |
FAIL silent |
| syn-bad-38.rq | |
FAIL silent |
| syn-bad-GRAPH-breaks-BGP | bad: re-used BNode label after GRAPH |
FAIL silent |
| syn-bad-OPT-breaks-BGP | bad: re-used BNode label after OPTIONAL |
FAIL silent |
| syn-bad-UNION-breaks-BGP | bad: re-used BNode label after UNION |
PASS |
| syn-leading-digits-in-prefixed-names.rq | |
FAIL err |
| dawg-triple-pattern-001 | Simple triple match |
PASS A B |
| dawg-triple-pattern-002 | Simple triple match |
PASS A B |
| dawg-triple-pattern-003 | Simple triple match - repeated variable |
PASS A B |
| dawg-triple-pattern-004 | Simple triple match - two triples, common variable |
PASS A B |
| tP-double-double | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-double-float | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-double-decimal | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-float-float | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-float-decimal | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-decimal-decimal | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-integer-short | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-nonPositiveInteger-short | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-negativeInteger-short | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-long-short | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-int-short | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-short-short | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-byte-short | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-nonNegativeInteger-short | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-unsignedLong-short | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-unsignedInt-short | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-unsignedShort-short | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-unsignedByte-short | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-positiveInteger-short | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-short-double | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-short-float | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-short-decimal | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-short-short-fail | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-byte-short-fail | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-short-long-fail | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-short-int-fail | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-short-byte-fail | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-double-float-fail | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-double-decimal-fail | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |
| tP-float-decimal-fail | Positive test: product of type promotion within the xsd:decimal type tree. |
PASS A B |