# Unapproved RDF Semantics tests

Document Editor
  Peter Patel-Schneider – Nuance
  Gregg Kellogg – Kellogg Associates

Copyright © 2010 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, and document use rules apply.

## Abstract

This page describes W3C RDF Working Group's Entailment test suite. This test suite contains two kinds of tests:

- Positive Entailment Tests (`rdft:PositiveEntailmentTest`)
- Positive Entailment Tests (rdft:NegativeEntailmentTest)

These tests are also described in Turtle format in this directory for convenience. The manifest files in this directory lists all of the approved tests in the RDF WG's RDF Entailment test suite. All tests have a name (`mf:name`) and an input (`mf:action`).

Each test is one of the above kinds of tests. All tests have

- a name (`mf:name`),
- an input RDF graph URL (`mf:action`),
- an output RDF graph URL or the special marker false (`mf:result`),
- an entailment regime, which is "simple", "RDF", or "RDFS" (`mf:entailmentRegime`),
- a list of recognized datatypes (`mf:recognizedDatatypes`),
- a list of unrecognized datatypes (`mf:unrecognizedDatatypes`).

An implementation passes a Positive (Negative) Entailment Test if, when configured to 1. perform entailment under the entailment regime of the test or some entailment regime that is stronger (weaker) than the entailment regime and 2. recognize all the datatypes in the list of recognized datatypes and none of the datatypes in the list of unrecognized datatypes, * for tests that have an output graph, determines that the input RDF graph entails (does not entail) the output RDF graph * for tests that have false as output, either determines that the input RDF graph entails (does not entail) an inconsistent RDF graph or that the input RDF graph is inconsistent (consistent).

An implementation also passes a test if when configured differently from a correct configuration as given above nonetheless produces the given result, and the result is correct in the configured entailment regime with the configured recognized datatypes.

Tests can be run from the web or by downloading either a tarball or zip file.

The home of the test suite is http://www.w3.org/2013/rdf-mt-tests/.

See http://www.w3.org/2011/rdf-wg/wiki/RDF_Test_Suites for more details. Per RFC 3986 section 5.1.3, the base IRI for parsing each file is the retrieval IRI for that file, but changing base IRIs should not affect any testing results.

## Contributing 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.

## Distribution

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.

## Disclaimer

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.

## Test Descriptions

:
  type
  approval
  entailmentRegime
  recognizedDatatypes
    `none`
  unrecognizedDatatypes
    `none`
#ill-formed-string: ill-formed-string
  type
    mf:PositiveEntailmentTest
  approval
  entailmentRegime
  recognizedDatatypes
    `none`
  unrecognizedDatatypes
    `none`
:
  type
  approval
  entailmentRegime
  recognizedDatatypes
    `none`
  unrecognizedDatatypes
    `none`
:
  type
  approval
  entailmentRegime
  recognizedDatatypes
    `none`
  unrecognizedDatatypes
    `none`
:
  type
  approval
  entailmentRegime
  recognizedDatatypes
    `none`
  unrecognizedDatatypes
    `none`
:
  type
  approval
  entailmentRegime
  recognizedDatatypes
    `none`
  unrecognizedDatatypes
    `none`
:
  type
  approval
  entailmentRegime
  recognizedDatatypes
    `none`
  unrecognizedDatatypes
    `none`
:
  type
  approval
  entailmentRegime
  recognizedDatatypes
    `none`
  unrecognizedDatatypes
    `none`
:
  type
  approval
  entailmentRegime
  recognizedDatatypes
    `none`
  unrecognizedDatatypes
    `none`
:
  type
  approval
  entailmentRegime
  recognizedDatatypes
    `none`
  unrecognizedDatatypes
    `none`
:
  type
  approval
  entailmentRegime
  recognizedDatatypes
    `none`
  unrecognizedDatatypes
    `none`
:
  type
  approval
  entailmentRegime
  recognizedDatatypes
    `none`
  unrecognizedDatatypes
    `none`
:
  type
  approval
  entailmentRegime
  recognizedDatatypes
    `none`
  unrecognizedDatatypes
    `none`
:
  type
  approval
  entailmentRegime
  recognizedDatatypes
    `none`
  unrecognizedDatatypes
    `none`
:
  type
  approval
  entailmentRegime
  recognizedDatatypes
    `none`
  unrecognizedDatatypes
    `none`
:
  type
  approval
  entailmentRegime
  recognizedDatatypes
    `none`
  unrecognizedDatatypes
    `none`
:
  type
  approval
  entailmentRegime
  recognizedDatatypes
    `none`
  unrecognizedDatatypes
    `none`
:
  type
  approval
  entailmentRegime
  recognizedDatatypes
    `none`
  unrecognizedDatatypes
    `none`