<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
         xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
	 xmlns:rtest="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#"
         xmlns:otest="http://www.w3.org/2002/03owlt/testOntology#"
         xml:base="http://www.w3.org/2002/03owlt/testOntology#"
         xmlns:owl="http://www.w3.org/2002/07/owl#"
>

<rdfs:Class rdf:about="#PositiveEntailmentTest">
   <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#PositiveEntailmentTest"/>
   <rdfs:comment>
This is a positive entailment test according to the OWL entailment rules.
   </rdfs:comment>
   <rdfs:subClassOf>
     <owl:Restriction>
       <owl:onProperty rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#entailmentRules"/>
       <owl:hasValue rdf:resource="http://www.w3.org/2002/07/owl#"/>
     </owl:Restriction>
   </rdfs:subClassOf>
</rdfs:Class>

<rdfs:Class rdf:about="#NegativeEntailmentTest">
   <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NegativeEntailmentTest"/>
   <rdfs:comment>
This is a negative entailment test according to the OWL entailment rules.
   </rdfs:comment>
   <rdfs:subClassOf>
     <owl:Restriction>
       <owl:onProperty rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#entailmentRules"/>
       <owl:hasValue rdf:resource="http://www.w3.org/2002/07/owl#"/>
     </owl:Restriction>
   </rdfs:subClassOf>
</rdfs:Class>

<rdfs:Class rdf:about="#TrueTest">
   <rdfs:subClassOf rdf:resource="#PositiveEntailmentTest"/>
   <rdfs:comment>
The conclusions follow from the empty premises.
   </rdfs:comment>
   <rdfs:subClassOf>
     <owl:Restriction>
       <owl:onProperty rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#premiseDocument"/>
       <owl:hasValue>
          <rtest:RDF-XML-Document rdf:about="http://www.w3.org/2002/03owlt/empty"/>
       </owl:hasValue>
     </owl:Restriction>
   </rdfs:subClassOf>
</rdfs:Class>

<rdfs:Class rdf:about="#OWLforOWLTest">
   <rdfs:subClassOf rdf:resource="#TrueTest"/>
   <rdfs:comment>
Illustrative of the use of OWL to describe OWL Full.
   </rdfs:comment>
</rdfs:Class>

<rdfs:Class rdf:about="#ImportLevelTest">
   <rdfs:comment>
These tests use two documents.
One is named importsNNN.rdf, 
the other is named mainNNN.rdf.
These tests indicate the 
interaction between owl:imports
and the sublanguage levels of the main document.
   </rdfs:comment>
</rdfs:Class>

<rdfs:Class rdf:about="#NotOwlFeatureTest">
   <rdfs:comment>
This is a negative test. The input document contains some use of the
OWL namespace which is not a feature of OWL. These typically show
DAML+OIL features that are not being carried forward into OWL.
   </rdfs:comment>
   <rdfs:subClassOf>
     <owl:Restriction >
       <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int">1</owl:cardinality>
       <owl:onProperty rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#inputDocument"/>
     </owl:Restriction>
   </rdfs:subClassOf>
</rdfs:Class>

<rdfs:Class rdf:about="#ImportEntailmentTest">
   <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/03owlt/testOntology#PositiveEntailmentTest" />
   <rdfs:comment>
The premise document, and its imports closure, entails the 
conclusion document.
   </rdfs:comment>
</rdfs:Class>

<rdfs:Property rdf:ID="importedPremiseDocument">
  <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#inputDocument"/>
  <rdfs:comment>Despite the property URI, the document indicated by
this property may or may not be imported into the test.</rdfs:comment>
</rdfs:Property>

<rdfs:Class rdf:about="#InconsistencyTest">
   <rdfs:subClassOf rdf:resource="#PositiveEntailmentTest" />
   <rdfs:subClassOf>
     <owl:Restriction>
       <owl:onProperty rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#conclusionDocument"/>
       <owl:hasValue >
          <rtest:RDF-XML-Document rdf:about="http://www.w3.org/2002/03owlt/false"/>
       </owl:hasValue>
     </owl:Restriction>
   </rdfs:subClassOf>
   <rdfs:comment>
An inconsistent OWL document. (One that entails falsehood).
   </rdfs:comment>
</rdfs:Class>

<rdfs:Class rdf:about="#ConsistencyTest">
   <rdfs:subClassOf rdf:resource="#NegativeEntailmentTest" />
   <rdfs:subClassOf>
     <owl:Restriction>
       <owl:onProperty rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#conclusionDocument"/>
       <owl:hasValue >
          <rtest:RDF-XML-Document rdf:about="http://www.w3.org/2002/03owlt/false"/>
       </owl:hasValue>
     </owl:Restriction>
   </rdfs:subClassOf>
   <rdfs:comment>
A consistent OWL document. (One that does not entail falsehood).
   </rdfs:comment>
</rdfs:Class>


<rdf:Property rdf:about="#feature">
   <rdfs:comment>
This property relates a test to a language feature.
The language feature is usually indicated by a class or property.
   </rdfs:comment>
</rdf:Property>


<owl:FunctionalProperty rdf:ID="level">
   <rdfs:range>
     <owl:Class>
        <owl:oneOf rdf:parseType="Collection">
           <rdf:Description rdf:ID="Lite" />
           <rdf:Description rdf:ID="DL" />
           <rdf:Description rdf:ID="Full" />
        </owl:oneOf>
     </owl:Class>
    </rdfs:range>
    <rdfs:comment>
Indicates the conformance level of a document or test in the OWL test suite.
    </rdfs:comment>
</owl:FunctionalProperty>

<rdfs:Class rdf:ID="Issue">
  <rdfs:comment>
A member of this class is an issue in some issue list.
  </rdfs:comment>
</rdfs:Class>

<owl:DatatypeProperty rdf:ID="issueNumber">
  <rdfs:domain rdf:resource="#Issue" />
  <rdfs:comment>
A string valued property that gives a numeral (or some other quasi-numeric string)
associated with an issue.
  </rdfs:comment>
</owl:DatatypeProperty>

<owl:ObjectProperty rdf:ID="usedDatatype">
    <rdfs:domain rdf:resource="#Test" />
    <rdfs:range rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Datatype" />
    <rdfs:comment>The object is a datatype that appears in one of the
test files in the subject test.</rdfs:comment>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:ID="supportedDatatype">
    <rdfs:subPropertyOf rdf:resource="#usedDatatype" />
    <rdfs:comment>The subject test is valid only when
the object datatype is included in the datatype theory.</rdfs:comment>
</owl:ObjectProperty>
<!--
<owl:ObjectProperty rdf:ID="notSupportedDatatype">
    <rdfs:subPropertyOf rdf:resource="#usedDatatype" />
    <rdfs:comment>The subject test is valid only when
the object datatype is not included in the datatype theory.</rdfs:comment>
</owl:ObjectProperty>
-->

</rdf:RDF>