This document report test subject conformance for and related specifications for
RDF Semantics[[RDF11-MT]]
according to the requirements of the Evaluation and Report Language (EARL) 1.0 Schema [[EARL10-SCHEMA]].

Instructions for submitting implementation reports

The test suite tests implementations of the several forms of RDF 1.1
entailment and contains both positive and negative tests.
The RDF Semantics: Test Suite
document contains information on how to obtain the tests.
The README file
in the test suite itself has more information on how to run the
tests themselves and which tests are to be performed.
The currently approved tests are listed in the Test Manifets Section.

The assumed base URI for the tests is <http://example/base/> if needed.

Reports should be submitted in Turtle format to public-rdf-comments@w3.org
and include an earl:Assertion
for each test, referencing the test resource from the associated manifest
and the test subject being reported upon. An example test entry is be the following:

The Test Subject should be defined as a doap:Project, including the name,
homepage and developer(s) of the software (see [[DOAP]]). Optionally, including the
project description and programming language. An example test subject description is the following:

An adaptation of the Swertia RDF-Based Semantic Translation Plugin for the RDF-1.1 CfI. For reasoning, the following FOL theorem prover has been applied: E 1.8 by Stephan Schulz (http://www.eprover.org)

RDF Semantics defines rdfs:range to have an intensional
reading. However, semantic extensions may give an extensional
reading to range. The premise/conclusion pair is a
non-entailment for RDFS reasoning, but may hold in semantic
extensions.

RDF Semantics defines rdfs:range to have an intensional
reading of domain. However, semantic extensions may give an
extensional reading to domain. The premise/conclusion pair is
a non-entailment for RDFS reasoning, but may hold in semantic
extensions.

an instance of the Property class may have an rdfs:subClassOf
property. the meaning of such a property is defined by the
model theory. The wording of the formal resolution is a bit
bare, so let me add a few words of explanation. What this
means is that a resource can be both a class and a property.
This test is encoded as follows: a Property may have a
subclass (that is, such an RDF graph is satisfiable)