Copyright © 2004-2023 World Wide Web Consortium. W3C® liability, trademark and permissive document license rules apply.
This page describes W3C RDF-star Working Group's test suite for RDF 1.2. Conformance for RDF 1.2 requires conforming with tests in this test suite along with the relevant RDF 1.2 tests.
The test manifests and entries are built automatically from manifest.ttl using a Rake task. Tests may be contributed via pull request to https://github.com/w3c/rdf-tests with suitable changes to the manifest.ttl and referenced files.
Distributed under both the W3C Test Suite License and the W3C 3-clause BSD License. To contribute to a W3C Test Suite, see the policies and contribution forms.
UNDER BOTH MUTUALLY EXCLUSIVE LICENSES, THIS DOCUMENT AND ALL DOCUMENTS, TESTS AND SOFTWARE THAT LINK THIS STATEMENT ARE PROVIDED "AS IS," AND COPYRIGHT HOLDERS MAKE NO REPRESENTATIONS OR WARRANTIES, EXPRESS OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, NON-INFRINGEMENT, OR TITLE; THAT THE CONTENTS OF THE DOCUMENT ARE SUITABLE FOR ANY PURPOSE; NOR THAT THE IMPLEMENTATION OF SUCH CONTENTS WILL NOT INFRINGE ANY THIRD PARTY PATENTS, COPYRIGHTS, TRADEMARKS OR OTHER RIGHTS. COPYRIGHT HOLDERS WILL NOT BE LIABLE FOR ANY DIRECT, INDIRECT, SPECIAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF ANY USE OF THE DOCUMENT OR THE PERFORMANCE OR IMPLEMENTATION OF THE CONTENTS THEREOF.
Multiple occurences of the same quoted triples are undistinguishable in the abstract model.
This test ensures that other entailments are not spurious.
Terms inside quoted triples can be replaced by fresh bnodes.
Terms inside quoted triples can be replaced by fresh bnodes.
Terms inside quoted triples can be replaced by fresh bnodes.
The same bnode can not match different quoted terms.
Identical quoted term can be replaced by the same fresh bnode multiple times.
Different bnodes can match identical quoted terms.
Terms inside and outside quoted triples can be replaced by fresh bnodes
Terms inside and outside quoted triples can be replaced by fresh bnodes.
Quoted bnode identifiers share the same scope as non-quoted ones. A bnode that occurs both inside quoted triples and inside asserted triples must satisfy all occurrences at the same time.
Literals inside and outside quoted triples can be replaced by fresh bnodes.
Checks that xsd:integer is indeed recognized, to ensure that malformed-literal-* tests do not pass spuriously.
Malformed literals are allowed when quoted.
Malformed literals are allowed when quoted.
Quoted malformed literals do not lead to spurious entailment.
Malformed literals can not be replaced by blank nodes.
Checks that xsd:integer is indeed recognized, to ensure that opaque-literal does not pass spuriously.
Quoted literals are opaque, even when their datatype is recognized.
Checks that language strings are indeed recognized, to ensure that opaque-language-string does not pass spuriously.
Quoted literals (including language strings) are opaque, even when their datatype is recognized.
Check that owl:sameAs works as expected, to ensure that opaque-iri does not pass spuriously.
Quoted IRIs are opaque.
Quoted triples are not asserted.
Annotated triples are asserted.
Annotation are about the annotated triple.
Annotation is the same as separate assertions.
Arrays are ordered in rdf:JSON.
Objects are unordered in rdf:JSON.
Positive zero and negative zero are different in rdf:JSON.
Positive zero and negative zero are different in rdf:JSON inside arrays.
Rounding to different even rdf:JSON.
Rounding to same even rdf:JSON.
Large rdf:JSON number values are infinity.
Positive zero and negative zero are different in xsd:float.
Rounding to different even xsd:float.
Rounding to same even xsd:float.
Large xsd:float values are infinity.
Positive zero and negative zero are different in xsd:double.
Rounding to different even xsd:double.
Rounding to same even xsd:double.
Large xsd:double values are infinity.