Copyright © 2004-2023 World Wide Web Consortium. W3C® liability, trademark and permissive document license rules apply.
These test suites are a product of the W3C RDF & SPARQL Working Group as well as the RDF-Star Interest Group within the W3C RDF-DEV Community Group, and has been maintained by the RDF Test Curation Community Group at https://github.com/w3c/rdf-tests/tree/main/rdf/rdf11. Conformance with RDF 1.2 specifications can be determined via successfully running the tests for relevant specifications along with the relevant RDF 1.1 tests.
This page describes W3C RDF & SPARQL 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 occurrences of the same triple term are the same domain element.
This test ensures that other entailments are not spurious.
Terms inside triple terms can be replaced by fresh bnodes.
Terms inside triple terms can be replaced by fresh bnodes.
Terms inside triple terms can be replaced by fresh bnodes.
The same bnode can not match different triple terms.
Identical triple term can be replaced by the same fresh bnode multiple times.
Different bnodes can match identical triple terms.
Terms inside and outside triple terms can be replaced by fresh bnodes
Terms inside and outside triple terms can be replaced by fresh bnodes.
Quoted bnode identifiers share the same scope as non-quoted ones. A bnode that occurs both inside triple terms and inside asserted triples must satisfy all occurrences at the same time.
Literals inside and outside triple terms 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 in triple terms, but cause inconsistency.
Malformed literals are allowed when in triple terms.
Malformed literals within triple terms do not lead to spurious entailment.
Malformed literals cannot be replaced by blank nodes.
Checks that xsd:integer is indeed recognized; was to ensure that opaque-literal did not pass spuriously.
Literals within triple terms are transparent.
Checks that language strings are indeed recognized; was to ensure that opaque-language-string did not pass spuriously.
Literals within reifying terms (including language strings) are transparent.
Check that owl:sameAs works as expected; was to ensure that opaque-iri did not pass spuriously.
Triple term IRIs are transparent.
Triple terms are not asserted.
Annotated triples are asserted. This is about shorthand expansion, and is not really a semantics test.
Annotations are about the reifying triple. This is about shorthand expansion, and is not really a semantics test.
Annotations are the same as separate assertions. This is about shorthand expansion, and is not really a semantics test.
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.
Triple terms denote instances of rdfs:Proposition.
Range of rdf:reifies is rdfs:Proposition.