e-Wallet
Test Cases

Carnegie Mellon University - Mobile Commerce laboratory
Working Draft 2 June 2003

Based on OWL tests
http://www.w3.org/TR/owl-test/
Editors:
Fabien L. Gandon, CMU Mobile Commerce Lab., Fabien.Gandon@cs.cmu.edu
Norman M. Sadeh, CMU Mobile Commerce Lab., sadeh@cs.cmu.edu

Copyright:
© 2003 - Mobile Commerce Lab. - Carnegie Mellon University

Abstract

This working document contains and presents the results of our implementation of an OWL inference engine against the test cases for the Web Ontology Language (OWL). Several test cases have not been done as they are not relevant to our current scenarios of use.

Copyright notice and Disclaimer

By downloading the files provided here you indicate your agreement with this copyright notice and disclaimer. Permission to use, copy and modify this version of the software or any parts of it and its documentation, for any purpose is hereby granted, provided that this above copyright notice and this permission notice appear intact in all copies of the software and that you do not sell the software, or include the software in a commercial package. The release of this software into the public domain does not imply any obligation on the part of the authors to release future versions into the public domain. The authors are free to make upgraded or improved versions of the software available for a fee or commercially only. Commercial licensing of the software is available by contacting the author. The software is provided "as is" and without warranty of any kind, express, implied or otherwise, including without limitation, any warranty of merchantability or fitness for a particular purpose. The software is experimental only and has not been designed for, tested or approved for hazardous use. The use of the software is at the user's own risk. Any conclusions you may draw based on the software or its use are your own. We expressly disclaim any responsibility or liability for any and all adverse effects, including personal, bodily, property or business injury, and for damages or loss of any kind whatsoever, resulting directly or indirectly, whether from negligence, intent or otherwise, from the use or disuse of the software, from errors in the software, or from misunderstandings arising from the software itself, its use or its documentation.

Table of Contents

7. The OWL Tests (Normative)

7.1. By Function

7.1.1. owl:AllDifferent

Full Positive Entailment Test: 001
Description: (informative) <AllDifferent/Manifest001#test>
using AllDifferent to derive differentFrom 
TO BE DONE.

7.1.2. owl:FunctionalProperty

Full Positive Entailment Test: 001
Description: (informative) <FunctionalProperty/Manifest001#test>
If prop belongs to owl:FunctionalProperty, and subject denotes a resource and has two outgoing prop arcs, then the objects of these arcs have the same denotation.
Full Premises: <FunctionalProperty/premises001> 
Ontology:
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises001" >
    <owl:FunctionalProperty rdf:ID="prop"/>
</rdf:RDF>

Annotation:
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xmlns:first="http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#" 
  xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises001" >
    <rdf:Description rdf:ID="subject">
      <first:prop rdf:resource="#object1" />
      <first:prop rdf:resource="#object2" />
    </rdf:Description>
</rdf:RDF>
Full Conclusions: <FunctionalProperty/conclusions001> 
f-45   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#prop")
       (object "http://www.w3.org/2002/07/owl#FunctionalProperty"))
f-46   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#prop")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"))
f-47   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#subject")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Description"))
f-48   (triple (predicate "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#prop")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#subject")
       (object "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1"))
f-49   (triple (predicate "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#prop")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#subject")
       (object "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object2"))
f-50   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object2")
       (object "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1"))
f-51   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1")
       (object "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object2"))
f-52   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object2")
       (object "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object2"))
f-53   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1")
       (object "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1"))

Full Positive Entailment Test: 002
Description: (informative) <FunctionalProperty/Manifest002#test>
If prop belongs to owl:FunctionalProperty, and subject denotes a resource and has two outgoing prop arcs, then the objects of these arcs have the same denotation. Hence an arc originating in object1 can be copied to object2.
Full Premises: <FunctionalProperty/premises002> 
Ontology:
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises001" >
    <owl:FunctionalProperty rdf:ID="prop"/>
</rdf:RDF>

Annotation:
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xmlns:eg ="http://www.example.org/"
  xmlns:first="http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#" 
  xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises001" >
    <rdf:Description rdf:ID="subject">
      <first:prop>
          <rdf:Description rdf:ID="object1">
            <eg:prop2>value</eg:prop2>
          </rdf:Description>
      </first:prop>
      <first:prop rdf:resource="#object2" />
    </rdf:Description>
</rdf:RDF>
Full Conclusions: <FunctionalProperty/conclusions002> 
f-45   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#prop")
       (object "http://www.w3.org/2002/07/owl#FunctionalProperty"))
f-46   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#prop")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"))
f-47   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#subject")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Description"))
f-48   (triple (predicate "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#prop")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#subject")
       (object "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1"))
f-49   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Description"))
f-50   (triple (predicate "http://www.example.org/prop2")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1")
       (object "value"))
f-51   (triple (predicate "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#prop")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#subject")
       (object "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object2"))
f-52   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object2")
       (object "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1"))
f-53   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1")
       (object "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object2"))
f-54   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object2")
       (object "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object2"))
f-55   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1")
       (object "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object1"))
f-56   (triple (predicate "http://www.example.org/prop2")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object2")
       (object "value"))
f-57   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#object2")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Description"))

Full Positive Entailment Test: 003
Description: (informative) <FunctionalProperty/Manifest003#test>
If prop is an owl:FunctionalProperty, then its inverse is an owl:InverseFunctionalProperty.
Full Premises: <FunctionalProperty/premises003> 
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises003" >
    <owl:FunctionalProperty rdf:ID="prop">
      <owl:inverseOf rdf:resource="#inv"/>
    </owl:FunctionalProperty>
</rdf:RDF>
Full Conclusions: <FunctionalProperty/conclusions003> 
f-45   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#prop")
       (object "http://www.w3.org/2002/07/owl#FunctionalProperty"))
f-46   (triple (predicate "http://www.w3.org/2002/07/owl#inverseOf")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#prop")
       (object "http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#inv"))
f-47   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#inv")
       (object "http://www.w3.org/2002/07/owl#InverseFunctionalProperty"))
f-48   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") 
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#inv")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"))
f-49   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#prop")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"))
f-50   (triple (predicate "http://www.w3.org/2002/07/owl#inverseOf")
       (subject "http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#inv")
       (object "http://www.w3.org/2002/03owlt/FunctionalProperty/premises003#prop"))

Full Positive Entailment Test: 004
Description: (informative) <FunctionalProperty/Manifest004#test>
If the range of prop is a singleton set then it is necessarily functional, (i.e. every member of its domain has a single value) and so it is an owl:FunctionalProperty. 
TO BE DONE.

7.1.3. owl:InverseFunctionalProperty

Full Positive Entailment Test: 001
Description: (informative) <InverseFunctionalProperty/Manifest001#test>
If prop belongs to owl:InverseFunctionalProperty, and object denotes a resource and has two incoming prop arcs, then the subjects of these arcs have the same denotation.
Full Premises: <InverseFunctionalProperty/premises001> 
Ontology:
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001" >
    <owl:InverseFunctionalProperty rdf:ID="prop"/>
</rdf:RDF>

Annotation:
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xmlns:first="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#" 
  xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001" >
    <rdf:Description rdf:ID="subject1">
      <first:prop rdf:resource="#object" />
    </rdf:Description>
    <rdf:Description rdf:ID="subject2">
      <first:prop rdf:resource="#object" />
    </rdf:Description>
</rdf:RDF>
Full Conclusions: <InverseFunctionalProperty/conclusions001> 
f-45   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#prop")
       (object "http://www.w3.org/2002/07/owl#InverseFunctionalProperty"))
f-46   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#prop")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"))
f-47   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject1")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Description"))
f-48   (triple (predicate "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#prop")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject1")
       (object "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#object"))
f-49   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject2")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Description"))
f-50   (triple (predicate "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#prop")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject2") 
       (object "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#object"))
f-51   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject2")
       (object "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject1"))
f-52   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject1")
       (object "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject2"))
f-53   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject2")
       (object "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject2"))
f-54   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject1")
       (object "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#subject1"))

Full Positive Entailment Test: 002
Description: (informative) <InverseFunctionalProperty/Manifest002#test>
If prop belongs to owl:InverseFunctionalProperty, and object denotes a resource and has two incoming prop arcs, then the subjects of these arcs have the same denotation. Hence an arc originating in subject1 can be copied to subject2.
Full Premises: <InverseFunctionalProperty/premises002> 
Ontology:
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002" >
    <owl:InverseFunctionalProperty rdf:ID="prop"/>
</rdf:RDF>

Annotation:
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xmlns:eg ="http://www.example.org/"
  xmlns:first="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#" 
  xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002" >
    <rdf:Description rdf:ID="subject1" >
      <first:prop rdf:resource="#object" />
      <eg:prop2>value</eg:prop2>
    </rdf:Description>
    <rdf:Description rdf:ID="subject2" >
      <first:prop rdf:resource="#object" />
    </rdf:Description>
</rdf:RDF>
Full Conclusions: <InverseFunctionalProperty/conclusions002> 
f-45   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#prop")
       (object "http://www.w3.org/2002/07/owl#InverseFunctionalProperty"))
f-46   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#prop")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"))
f-47   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject1")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Description"))
f-48   (triple (predicate "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#prop")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject1")
       (object "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#object"))
f-49   (triple (predicate "http://www.example.org/prop2")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject1")
       (object "value"))
f-50   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject2")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Description"))
f-51   (triple (predicate "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#prop")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject2")
       (object "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#object"))
f-52   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject2")
       (object "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject1"))
f-53   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject1")
       (object "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject2"))
f-54   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject2")
       (object "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject2"))
f-55   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject1")
       (object "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject1"))
f-56   (triple (predicate "http://www.example.org/prop2")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#subject2")
       (object "value"))

Full Positive Entailment Test: 003
Description: (informative) <InverseFunctionalProperty/Manifest003#test>
If prop is an owl:InverseFunctionalProperty, then its inverse is an owl:FunctionalProperty.
Full Premises: <InverseFunctionalProperty/premises003> 
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003" >
    <owl:InverseFunctionalProperty rdf:ID="prop">
      <owl:inverseOf rdf:resource="#inv"/>
    </owl:InverseFunctionalProperty>
</rdf:RDF>
Full Conclusions: <InverseFunctionalProperty/conclusions003> 
f-45   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003#prop")
       (object "http://www.w3.org/2002/07/owl#InverseFunctionalProperty"))
f-46   (triple (predicate "http://www.w3.org/2002/07/owl#inverseOf")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003#prop")
       (object "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003#inv"))
f-47   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003#inv")
       (object "http://www.w3.org/2002/07/owl#FunctionalProperty"))
f-48   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003#inv")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"))
f-49   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003#prop")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"))
f-50   (triple (predicate "http://www.w3.org/2002/07/owl#inverseOf")
       (subject "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003#inv")
       (object "http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003#prop"))

Full Positive Entailment Test: 004
Description: (informative) <InverseFunctionalProperty/Manifest004#test>
If the domain of prop is a singleton set then it is necessarily inverse functional, (i.e. every member of its range is the value of a single item) so it is an owl:InverseFunctionalProperty. 
TO BE DONE.

7.1.4.owl:Nothing

Full Inconsistent document. 001
Description: (informative) <Nothing/Manifest001#test>
The triple asserts something of type Nothing, however that is the empty class.
Full Inconsistent: <Nothing/inconsistent001> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#">
  <owl:Nothing/>
</rdf:RDF>
 
Error: #N400006 was declared as being of type Nothing, which is not possible.

Full Positive Entailment Test: 002
Description: (informative) <Nothing/Manifest002#test>
There is one empty owl:Class, and it is often called Nothing. 
TO BE DONE.

7.1.5. owl:SymmetricProperty

Full Positive Entailment Test: 001
Description: (informative) <SymmetricProperty/Manifest001#test>
A simple illustration of symmetric properties. 
TO BE DONE.

7.1.6. owl:TransitiveProperty

Full Positive Entailment Test: 001
Description: (informative) <TransitiveProperty/Manifest001#test>
A simple illustration of transitivity. 
TO BE DONE.

7.1.7. owl:allValuesFrom

Lite Positive Entailment Test: 001
Description: (informative) <allValuesFrom/Manifest001#test>
A simple example. 
TO BE DONE.

Lite Negative Entailment Test: 002
Description: (informative) <allValuesFrom/Manifest002#test>
See allValuesFrom. 
TO BE DONE.

7.1.8. owl:cardinality

Lite Positive Entailment Test: 001
Description: (informative) <cardinality/Manifest001#test>
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. 
TO BE DONE.

Lite Positive Entailment Test: 002
Description: (informative) <cardinality/Manifest002#test>
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. 
TO BE DONE.

DL Positive Entailment Test: 003
Description: (informative) <cardinality/Manifest003#test>
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. 
TO BE DONE.

DL Positive Entailment Test: 004
Description: (informative) <cardinality/Manifest004#test>
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. 
TO BE DONE.

Full Positive Entailment Test: 005
Description: (informative) <cardinality/Manifest005#test>
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. 
TO BE DONE.

7.1.9. owl:complementOf

Full Positive Entailment Test: 001
Description: (informative) <complementOf/Manifest001#test>
complementOf is a SymmetricProperty.
Full Premises: <complementOf/premises001> 
<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:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/complementOf/premises001#"
    xmlns:second="http://www.w3.org/2002/03owlt/complementOf/conclusions001#"
    xml:base="http://www.w3.org/2002/03owlt/complementOf/premises001" >

    <rdf:Description rdf:about="premises001#A">
        <owl:complementOf rdf:resource="premises001#B"/>
    </rdf:Description>

</rdf:RDF>
Full Conclusions: <complementOf/conclusions001> 
f-68   (triple (predicate "http://www.w3.org/2002/07/owl#complementOf")
       (subject "premises001#A")
       (object "premises001#B"))
f-69   (triple (predicate "http://www.w3.org/2002/07/owl#complementOf")
       (subject "premises001#B")
       (object "premises001#A"))

7.1.10. owl:differentFrom

Full Positive Entailment Test: 001
Description: (informative) <differentFrom/Manifest001#test>
differentFrom is a SymmetricProperty.
Full Premises: <differentFrom/premises001> 
<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:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/differentFrom/premises001#"
    xmlns:second="http://www.w3.org/2002/03owlt/differentFrom/conclusions001#"
    xml:base="http://www.w3.org/2002/03owlt/differentFrom/premises001" >

    <rdf:Description rdf:about="premises001#a">
        <owl:differentFrom rdf:resource="premises001#b"/>
    </rdf:Description>

</rdf:RDF>
Full Conclusions: <differentFrom/conclusions001> 
f-72   (triple (predicate "http://www.w3.org/2002/07/owl#differentFrom")
       (subject "premises001#a")
       (object "premises001#b"))
f-73   (triple (predicate "http://www.w3.org/2002/07/owl#differentFrom")
       (subject "premises001#b")
       (object "premises001#a"))

Full Positive Entailment Test: 002
Description: (informative) <differentFrom/Manifest002#test>
using distinctMembers to derive differentFrom 
TO BE DONE.

7.1.11. owl:disjointWith

DL Positive Entailment Test: 001
Description: (informative) <disjointWith/Manifest001#test>
Disjoint classes have different members.
DL Premises: <disjointWith/premises001> 
Ontology:
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:first="http://www.w3.org/2002/03owlt/disjointWith/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/disjointWith/premises001" >
   <owl:Class rdf:ID="A">
      <owl:disjointWith>
           <owl:Class rdf:ID="B"/>
      </owl:disjointWith>
   </owl:Class>
</rdf:RDF>

Annotation:
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:first="http://www.w3.org/2002/03owlt/disjointWith/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/disjointWith/premises001" >
   <first:A rdf:ID="a"/>
   <owl:Thing rdf:about="#a"/>
   <first:B rdf:ID="b"/>
   <owl:Thing rdf:about="#b"/>
</rdf:RDF>
DL Conclusions: <disjointWith/conclusions001> 
f-76   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises001#A")
       (object "http://www.w3.org/2002/07/owl#Class"))
f-77   (triple (predicate "http://www.w3.org/2002/07/owl#disjointWith")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises001#A")
       (object "http://www.w3.org/2002/03owlt/disjointWith/premises001#B"))
f-78   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises001#B")
       (object "http://www.w3.org/2002/07/owl#Class"))
f-79   (triple (predicate "http://www.w3.org/2002/07/owl#disjointWith")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises001#B")
       (object "http://www.w3.org/2002/03owlt/disjointWith/premises001#A"))
f-80   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises001#B")
       (object "http://www.w3.org/2000/01/rdf-schema#Resource"))
f-81   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises001#B")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-82   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises001#A")
       (object "http://www.w3.org/2000/01/rdf-schema#Resource"))
f-83   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises001#A")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-84   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises001#a")
       (object "http://www.w3.org/2002/03owlt/disjointWith/premises001#A"))
f-85   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises001#a")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-86   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises001#b")
       (object "http://www.w3.org/2002/03owlt/disjointWith/premises001#B"))
f-87   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises001#b")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-88   (triple (predicate "http://www.w3.org/2002/07/owl#differentFrom")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises001#b")
       (object "http://www.w3.org/2002/03owlt/disjointWith/premises001#a"))
f-89   (triple (predicate "http://www.w3.org/2002/07/owl#differentFrom")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises001#a")
       (object "http://www.w3.org/2002/03owlt/disjointWith/premises001#b"))

Full Positive Entailment Test: 002
Description: (informative) <disjointWith/Manifest002#test>
Disjoint classes have different members; OWL Full.
Full Premises: <disjointWith/premises002> 
Ontology:
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/disjointWith/premises002#"
    xml:base="http://www.w3.org/2002/03owlt/disjointWith/premises002" >

   <rdf:Description rdf:ID="A">
      <owl:disjointWith>
           <rdf:Description rdf:ID="B"/>
      </owl:disjointWith>
   </rdf:Description>
</rdf:RDF>

Annotation:
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/disjointWith/premises002#"
    xml:base="http://www.w3.org/2002/03owlt/disjointWith/premises002" >
   <first:A rdf:ID="a"/>
   <first:B rdf:ID="b"/>
</rdf:RDF>
Full Conclusions: <disjointWith/conclusions002> 
f-76   (triple (predicate "http://www.w3.org/2002/07/owl#disjointWith")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises002#A")
       (object "http://www.w3.org/2002/03owlt/disjointWith/premises002#B"))
f-77   (triple (predicate "http://www.w3.org/2002/07/owl#disjointWith")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises002#B")
       (object "http://www.w3.org/2002/03owlt/disjointWith/premises002#A"))
f-78   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises002#a")
       (object "http://www.w3.org/2002/03owlt/disjointWith/premises002#A"))
f-79   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises002#b")
       (object "http://www.w3.org/2002/03owlt/disjointWith/premises002#B"))
f-80   (triple (predicate "http://www.w3.org/2002/07/owl#differentFrom")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises002#b")
       (object "http://www.w3.org/2002/03owlt/disjointWith/premises002#a"))
f-81   (triple (predicate "http://www.w3.org/2002/07/owl#differentFrom")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises002#a")
       (object "http://www.w3.org/2002/03owlt/disjointWith/premises002#b"))
f-82   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises002#b")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-83   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/disjointWith/premises002#a")
       (object "http://www.w3.org/2002/07/owl#Thing"))

7.1.12. owl:distinctMembers

Full Positive Entailment Test: 001
Description: (informative) <distinctMembers/Manifest001#test>
using distinctMembers to derive differentFrom 
TO BE DONE.

7.1.13. owl:equivalentClass

Lite Positive Entailment Test: 001
Description: (informative) <equivalentClass/Manifest001#test>
Two classes may be different names for the same set of individuals
Lite Premises: <equivalentClass/premises001> 
Ontology:
<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:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises001" >
   <owl:Class rdf:ID="Car">
     <owl:equivalentClass>
       <owl:Class rdf:ID="Automobile"/>
     </owl:equivalentClass>
  </owl:Class>
</rdf:RDF>

Annotation:
<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:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/equivalentClass/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises001" >
  <first:Car rdf:ID="car">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
  </first:Car>
  <first:Automobile rdf:ID="auto">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
  </first:Automobile>
</rdf:RDF>
Lite Conclusions: <equivalentClass/conclusions001> 
f-76   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises001#Car")
       (object "http://www.w3.org/2002/07/owl#Class"))
f-77   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises001#Car")
       (object "http://www.w3.org/2002/03owlt/equivalentClass/premises001#Automobile"))
f-78   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises001#Automobile")
       (object "http://www.w3.org/2002/07/owl#Class"))
f-79   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises001#Automobile")
       (object "http://www.w3.org/2002/03owlt/equivalentClass/premises001#Car"))
f-80   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises001#Car")
       (object "http://www.w3.org/2002/03owlt/equivalentClass/premises001#Car"))
f-81   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises001#Automobile")
       (object "http://www.w3.org/2002/03owlt/equivalentClass/premises001#Automobile"))
f-82   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises001#Automobile")
       (object "http://www.w3.org/2000/01/rdf-schema#Resource"))
f-83   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises001#Automobile")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-84   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises001#Car")
       (object "http://www.w3.org/2000/01/rdf-schema#Resource"))
f-85   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises001#Car")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-86   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises001#car")
       (object "http://www.w3.org/2002/03owlt/equivalentClass/premises001#Car"))
f-87   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises001#car")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-88   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises001#auto")
       (object "http://www.w3.org/2002/03owlt/equivalentClass/premises001#Automobile"))
f-89   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises001#auto")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-90   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises001#auto")
       (object "http://www.w3.org/2002/03owlt/equivalentClass/premises001#Car"))
f-91   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises001#car")
       (object "http://www.w3.org/2002/03owlt/equivalentClass/premises001#Automobile"))

Lite Positive Entailment Test: 002
Description: (informative) <equivalentClass/Manifest002#test>
Two classes may be different names for the same set of individuals
Lite Premises: <equivalentClass/premises002> 
Ontology:
<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:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises002" >
   <owl:Class rdf:ID="Car">
     <owl:equivalentClass>
       <owl:Class rdf:ID="Automobile"/>
     </owl:equivalentClass>
  </owl:Class>
</rdf:RDF>
Lite Conclusions: <equivalentClass/conclusions002> 
f-82   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises002#Automobile")
       (object "http://www.w3.org/2002/03owlt/equivalentClass/premises002#Automobile"))
f-83   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises002#Car")
       (object "http://www.w3.org/2002/03owlt/equivalentClass/premises002#Car"))
f-84   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises002#Automobile")
       (object "http://www.w3.org/2000/01/rdf-schema#Resource"))
f-85   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises002#Automobile")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-86   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises002#Automobile")
       (object "http://www.w3.org/2002/03owlt/equivalentClass/premises002#Car"))
f-87   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises002#Car")
       (object "http://www.w3.org/2000/01/rdf-schema#Resource"))
f-88   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises002#Car")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-89   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf")
       (subject "http://www.w3.org/2002/03owlt/equivalentClass/premises002#Car")
       (object "http://www.w3.org/2002/03owlt/equivalentClass/premises002#Automobile"))

Lite Positive Entailment Test: 003
Description: (informative) <equivalentClass/Manifest003#test>
Two classes may be different names for the same set of individuals
Lite Premises: <equivalentClass/premises003> 
Ontology:
<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:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises003" >
   <owl:Class rdf:about="conclusions003#Car">
     <rdfs:subClassOf>
       <owl:Class rdf:about="conclusions003#Automobile">
          <rdfs:subClassOf rdf:resource="conclusions003#Car" />
       </owl:Class>
     </rdfs:subClassOf>
  </owl:Class>
</rdf:RDF>
Lite Conclusions: <equivalentClass/conclusions003> 
f-76   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "conclusions003#Car")
       (object "http://www.w3.org/2002/07/owl#Class"))
f-77   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf")
       (subject "conclusions003#Car")
       (object "conclusions003#Automobile"))
f-78   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "conclusions003#Automobile")
       (object "http://www.w3.org/2002/07/owl#Class"))
f-79   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf")
       (subject "conclusions003#Automobile")
       (object "conclusions003#Car"))
f-80   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
       (subject "conclusions003#Automobile")
       (object "conclusions003#Car"))
f-81   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
       (subject "conclusions003#Car")
       (object "conclusions003#Automobile"))
f-82   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
       (subject "conclusions003#Automobile")
       (object "conclusions003#Automobile"))
f-83   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
       (subject "conclusions003#Car")
       (object "conclusions003#Car"))
f-84   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf")
       (subject "conclusions003#Car")
       (object "conclusions003#Car"))
f-85   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf")
       (subject "conclusions003#Automobile")
       (object "conclusions003#Automobile"))
f-86   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "conclusions003#Automobile")
       (object "http://www.w3.org/2000/01/rdf-schema#Resource"))
f-87   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "conclusions003#Automobile")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-88   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "conclusions003#Car")
       (object "http://www.w3.org/2000/01/rdf-schema#Resource"))
f-89   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "conclusions003#Car")
       (object "http://www.w3.org/2002/07/owl#Thing"))

Lite Positive Entailment Test: 004
Description: (informative) <equivalentClass/Manifest004#test>
Two classes with the same complete description are the same. 
TO BE DONE.

Lite Negative Entailment Test: 005
Description: (informative) <equivalentClass/Manifest005#test>
Two classes with the same partial description are not the same. 
TO BE DONE.

7.1.14. owl:equivalentProperty

Lite Positive Entailment Test: 001
Description: (informative) <equivalentProperty/Manifest001#test>
hasLeader may be stated to be the equivalentProperty hasHead.
Lite Premises: <equivalentProperty/premises001> 
Ontology:
<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:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/equivalentProperty/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/premises001" >
   <owl:ObjectProperty rdf:ID="hasHead">
      <owl:equivalentProperty>
         <owl:ObjectProperty rdf:ID="hasLeader"/>
      </owl:equivalentProperty>
   </owl:ObjectProperty>
</rdf:RDF>

Annotation:
<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:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/equivalentProperty/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/premises001" >
   <owl:ObjectProperty rdf:ID="hasHead">
      <owl:equivalentProperty>
         <owl:ObjectProperty rdf:ID="hasLeader"/>
      </owl:equivalentProperty>
   </owl:ObjectProperty>
   <owl:Thing rdf:ID="X">
     <first:hasLeader>
        <owl:Thing rdf:ID="Y"/>
     </first:hasLeader>
   </owl:Thing>
</rdf:RDF>
Lite Conclusions: <equivalentProperty/conclusions001> 
f-76   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead")
       (object "http://www.w3.org/2002/07/owl#ObjectProperty"))
f-77   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentProperty")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader"))
f-78   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader")
       (object "http://www.w3.org/2002/07/owl#ObjectProperty"))
f-79   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentProperty")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead"))
f-80   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentProperty")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead"))
f-81   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentProperty")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader"))
f-82   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"))
f-83   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"))
f-84   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-85   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-86   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#X")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-87   (triple (predicate "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#X")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#Y"))
f-88   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#Y")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-89   (triple (predicate "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#X")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#Y"))

Lite Positive Entailment Test: 002
Description: (informative) <equivalentProperty/Manifest002#test>
A reasoner can also deduce that hasLeader is a subProperty of hasHead and hasHead is a subProperty of hasLeader.
Lite Premises: <equivalentProperty/premises002> 
Ontology:
<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:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/equivalentProperty/premises002#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/premises002" >
   <owl:ObjectProperty rdf:ID="hasHead">
      <owl:equivalentProperty>
         <owl:ObjectProperty rdf:ID="hasLeader"/>
      </owl:equivalentProperty>
   </owl:ObjectProperty>
</rdf:RDF>
Lite Conclusions: <equivalentProperty/conclusions002> 
f-76   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead")
       (object "http://www.w3.org/2002/07/owl#ObjectProperty"))
f-77   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentProperty")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader"))
f-78   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader")
       (object "http://www.w3.org/2002/07/owl#ObjectProperty"))
f-79   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentProperty")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead"))
f-80   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentProperty")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead"))
f-81   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentProperty")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader"))
f-82   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"))
f-83   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"))
f-84   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-85   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-86   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader"))
f-87   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead"))
f-88   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead"))
f-89   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasHead")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises001#hasLeader"))

Lite Positive Entailment Test: 003
Description: (informative) <equivalentProperty/Manifest003#test>
The inverse entailment also holds.
Lite Premises: <equivalentProperty/premises003> 
Ontology:
<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:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/premises003" >
   <owl:ObjectProperty rdf:about="conclusions003#hasHead">
      <rdfs:subPropertyOf rdf:resource="conclusions003#hasLeader"/>
   </owl:ObjectProperty>
   <owl:ObjectProperty rdf:about="conclusions003#hasLeader">
      <rdfs:subPropertyOf rdf:resource="conclusions003#hasHead"/>
   </owl:ObjectProperty>
</rdf:RDF>
Lite Conclusions: <equivalentProperty/conclusions003> 
f-76   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "conclusions003#hasHead")
       (object "http://www.w3.org/2002/07/owl#ObjectProperty"))
f-77   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
       (subject "conclusions003#hasHead")
       (object "conclusions003#hasLeader"))
f-78   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "conclusions003#hasLeader")
       (object "http://www.w3.org/2002/07/owl#ObjectProperty"))
f-79   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
       (subject "conclusions003#hasLeader")
       (object "conclusions003#hasHead"))
f-80   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentProperty")
       (subject "conclusions003#hasLeader")
       (object "conclusions003#hasHead"))
f-81   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentProperty")
       (subject "conclusions003#hasHead")
       (object "conclusions003#hasLeader"))
f-82   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentProperty")
       (subject "conclusions003#hasLeader")
       (object "conclusions003#hasLeader"))
f-83   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentProperty")
       (subject "conclusions003#hasHead")
       (object "conclusions003#hasHead"))
f-84   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
       (subject "conclusions003#hasHead")
       (object "conclusions003#hasHead"))
f-85   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
       (subject "conclusions003#hasLeader")
       (object "conclusions003#hasLeader"))
f-86   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "conclusions003#hasLeader")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"))
f-87   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "conclusions003#hasLeader")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-88   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "conclusions003#hasHead")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"))
f-89   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "conclusions003#hasHead")
       (object "http://www.w3.org/2002/07/owl#Thing"))

DL Positive Entailment Test: 004
Description: (informative) <equivalentProperty/Manifest004#test>
If p and q have the same property extension then they p equivalentProperty q. 
TO BE DONE.

Full Positive Entailment Test: 005
Description: (informative) <equivalentProperty/Manifest005#test>
If p and q have the same property extension then they p equivalentProperty q. 
TO BE DONE.

Full Positive Entailment Test: 006
Description: (informative) <equivalentProperty/Manifest006#test>
hasLeader may be stated to be the equivalentProperty hasHead.
Full Premises: <equivalentProperty/premises006> 
Ontology:
<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:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/equivalentProperty/premises006#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/premises006" >
   <rdf:Description rdf:ID="hasHead">
      <owl:equivalentProperty>
         <rdf:Description rdf:ID="hasLeader"/>
      </owl:equivalentProperty>
   </rdf:Description>
</rdf:RDF>

Annotation:
<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:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/equivalentProperty/premises006#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/premises006" >
   <rdf:Description rdf:ID="X">
     <first:hasLeader>
        <rdf:Description rdf:ID="Y"/>
     </first:hasLeader>
   </rdf:Description>
</rdf:RDF>
Full Conclusions: <equivalentProperty/conclusions006> 
f-76   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentProperty")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasHead")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasLeader"))
f-77   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentProperty")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasLeader")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasHead"))
f-78   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentProperty")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasHead")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasHead"))
f-79   (triple (predicate "http://www.w3.org/2002/07/owl#equivalentProperty")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasLeader")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasLeader"))
f-80   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasLeader")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasLeader"))
f-81   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasHead")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasHead"))
f-82   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasLeader")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasHead"))
f-83   (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasHead")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasLeader"))
f-84   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#X")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Description"))
f-85   (triple (predicate "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasLeader")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#X")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#Y"))
f-86   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#Y")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Description"))
f-87   (triple (predicate "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#hasHead")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#X")
       (object "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#Y"))
f-88   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#Y")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-89   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://www.w3.org/2002/03owlt/equivalentProperty/premises006#X")
       (object "http://www.w3.org/2002/07/owl#Thing"))

7.1.15.owl:imports

Full Import Entailment Test: 001
Description: (informative) <imports/Manifest001#test>
If a document imports another document, then it entails anything that is entailed by the conjunction of the two documents. 
TO BE DONE.

Full Negative Entailment Test: 002
Description: (informative) <imports/Manifest002#test>
If a premise document uses a namespace but does not import the document corresponding to the namespace, then the premises do not necessarily entail anything that is entailed by the conjunction of the two documents. 
TO BE DONE.

Full Import Entailment Test: 003
Description: (informative) <imports/Manifest003#test>
If a document imports a document which in turn imports a third document, then it entails anything which is entailed by the conjunction of the statements from the three documents. That is, imports is transitive. 
TO BE DONE.

Full Imports Level Test: 004
Description: (informative) <imports/Manifest004#test>
Importing OWL Full documents may change the level of OWL Lite or OWL DL documents. 
TO BE DONE.

DL Imports Level Test: 005
Description: (informative) <imports/Manifest005#test>
OWL DL documents cannot be imported by OWL Lite documents. 
TO BE DONE.

Lite Imports Level Test: 006
Description: (informative) <imports/Manifest006#test>
The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file. 
TO BE DONE.

Lite Imports Level Test: 007
Description: (informative) <imports/Manifest007#test>
The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file. 
TO BE DONE.

Lite Imports Level Test: 008
Description: (informative) <imports/Manifest008#test>
Some RDFS files can have type declarations added to make a useful OWL Lite file. 
TO BE DONE.

7.1.16. owl:intersectionOf

Full Positive Entailment Test: 001
Description: (informative) <intersectionOf/Manifest001#test>
The order of the classes in an intersectionOf construct is unimportant. 
TO BE DONE.

7.1.17.owl:inverseOf

Full Positive Entailment Test: 001
Description: (informative) <inverseOf/Manifest001#test>
If the pair (x,y) is an instance of P, than the pair (y,x) is an instance of the named property.
Full Premises: <inverseOf/premises001> 
Ontology:
<rdf:RDF 
    xmlns:my="http://example.net/myVocab#"
    xmlns:eg="http://example.net/vocab#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:your="http://example.net/yourVocab#">
    <rdf:Description rdf:about="http://example.net/myVocab#hasBrother">
        <owl:inverseOf rdf:resource="http://example.net/yourVocab#isBrotherOf"/>
    </rdf:Description>
</rdf:RDF>

Annotation:
<rdf:RDF 
    xmlns:my="http://example.net/myVocab#"
    xmlns:eg="http://example.net/vocab#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:your="http://example.net/yourVocab#">
    <rdf:Description rdf:about="http://example.net/vocab#joe">
        <my:hasBrother rdf:resource="http://example.net/vocab#bob"/>
    </rdf:Description>
</rdf:RDF>
Full Conclusions: <inverseOf/conclusions001> 
f-76   (triple (predicate "http://www.w3.org/2002/07/owl#inverseOf")
       (subject "http://example.net/myVocab#hasBrother")
       (object "http://example.net/yourVocab#isBrotherOf"))
f-77   (triple (predicate "http://www.w3.org/2002/07/owl#inverseOf")
       (subject "http://example.net/yourVocab#isBrotherOf")
       (object "http://example.net/myVocab#hasBrother"))
f-78   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://example.net/vocab#joe")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Description"))
f-79   (triple (predicate "http://example.net/myVocab#hasBrother")
       (subject "http://example.net/vocab#joe")
       (object "http://example.net/vocab#bob"))
f-80   (triple (predicate "http://example.net/yourVocab#isBrotherOf")
       (subject "http://example.net/vocab#bob")
       (object "http://example.net/vocab#joe"))
f-81   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://example.net/vocab#joe")
       (object "http://www.w3.org/2002/07/owl#Thing"))

7.1.18. owl:maxCardinality

Full Inconsistent document. 001
Description: (informative) <maxCardinality/Manifest001#test>
A property with maximum cardinality of two cannot take three distinct values on some subject node. 
TO BE DONE.

Full Inconsistent document. 002
Description: (informative) <maxCardinality/Manifest002#test>
A property with maximum cardinality of two cannot take three distinct values on some subject node. In this example, one of the three values is implicit. 
TO BE DONE.

7.1.19.owl:oneOf

Full Consistent document. 001
Description: (informative) <oneOf/Manifest001#test>
oneOf does not indicate that the named individuals are distinct. Thus a consistent interpretation of this file is when all the individual names denote the same individual. 
TO BE DONE.

Full Positive Entailment Test: 002
Description: (informative) <oneOf/Manifest002#test>
oneOf describes a class by enumerating its individuals. 
TO BE DONE.

Full Positive Entailment Test: 003
Description: (informative) <oneOf/Manifest003#test>
The order of the instances in an oneOf construct is unimportant. 
TO BE DONE.

7.1.20.owl:unionOf

Full Positive Entailment Test: 001
Description: (informative) <unionOf/Manifest001#test>
A union is a superclass of its parts. 
TO BE DONE.

Full Positive Entailment Test: 002
Description: (informative) <unionOf/Manifest002#test>
A union behaves quite like set theoretic union. 
TO BE DONE.

7.2. By Issue

7.2.1. Qualified Restrictions

Lite Illegal use of OWL namespace. 001
Description: (informative) <I3.2/Manifest001#test>
A DAML+OIL qualified cardinality constraint is not legal OWL. 
TO BE DONE.

Lite Illegal use of OWL namespace. 002
Description: (informative) <I3.2/Manifest002#test>
A DAML+OIL qualified max cardinality constraint is not legal OWL. 
TO BE DONE.

Lite Illegal use of OWL namespace. 003
Description: (informative) <I3.2/Manifest003#test>
A DAML+OIL qualified min cardinality constraint is not legal OWL. 
TO BE DONE.

7.2.2. UnambiguousProperty

Lite Illegal use of OWL namespace. 001
Description: (informative) <I3.4/Manifest001#test>
This is not legal OWL. The name UnambiguousProperty is not in the OWL namespace. daml:UnambiguousProperty corresponds to owl:InverseFunctionalProperty. 
TO BE DONE.

7.2.3. UniqueProp BadName

Lite Illegal use of OWL namespace. 001
Description: (informative) <I4.1/Manifest001#test>
This is not legal OWL. The name UniqueProperty is not in the OWL namespace. daml:UniqueProperty corresponds to owl:FunctionalProperty. 
TO BE DONE.

7.2.4. EquivalentTo

Full Positive Entailment Test: 001
Description: (informative) <I4.6/Manifest001#test>
sameAs and sameIndividualAs are equivalent.
Full Premises: <I4.6/premises001> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/I4.6/premises001" >
    <rdf:Description rdf:ID="A">
      <owl:sameAs rdf:resource="#B"/>
    </rdf:Description>
</rdf:RDF>
Lite Conclusions: <I4.6/conclusions001> 
f-84   (triple (predicate "http://www.w3.org/2002/07/owl#sameAs")
       (subject "http://www.w3.org/2002/03owlt/I4.6/premises001#A")
       (object "http://www.w3.org/2002/03owlt/I4.6/premises001#B"))
f-85   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/I4.6/premises001#A")
       (object "http://www.w3.org/2002/03owlt/I4.6/premises001#B"))
f-86   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/I4.6/premises001#B")
       (object "http://www.w3.org/2002/03owlt/I4.6/premises001#B"))
f-87   (triple (predicate "http://www.w3.org/2002/07/owl#sameAs")
       (subject "http://www.w3.org/2002/03owlt/I4.6/premises001#B")
       (object "http://www.w3.org/2002/03owlt/I4.6/premises001#B"))
f-88   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/I4.6/premises001#B")
       (object "http://www.w3.org/2002/03owlt/I4.6/premises001#A"))
f-89   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/I4.6/premises001#A")
       (object "http://www.w3.org/2002/03owlt/I4.6/premises001#A"))
f-90   (triple (predicate "http://www.w3.org/2002/07/owl#sameAs")
       (subject "http://www.w3.org/2002/03owlt/I4.6/premises001#B")
       (object "http://www.w3.org/2002/03owlt/I4.6/premises001#A"))
f-91   (triple (predicate "http://www.w3.org/2002/07/owl#sameAs")
       (subject "http://www.w3.org/2002/03owlt/I4.6/premises001#A")
       (object "http://www.w3.org/2002/03owlt/I4.6/premises001#A"))

Full Positive Entailment Test: 002
Description: (informative) <I4.6/Manifest002#test>
sameAs and sameIndividualAs are equivalent.
Full Premises: <I4.6/premises002> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/I4.6/premises002" >
    <rdf:Description rdf:ID="A">
      <owl:sameIndividualAs rdf:resource="#B"/>
    </rdf:Description>
</rdf:RDF>
Full Conclusions: <I4.6/conclusions002> 
f-84   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/I4.6/premises002#A")
       (object "http://www.w3.org/2002/03owlt/I4.6/premises002#B"))
f-85   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/I4.6/premises002#B")
       (object "http://www.w3.org/2002/03owlt/I4.6/premises002#B"))
f-86   (triple (predicate "http://www.w3.org/2002/07/owl#sameAs")
       (subject "http://www.w3.org/2002/03owlt/I4.6/premises002#B")
       (object "http://www.w3.org/2002/03owlt/I4.6/premises002#B"))
f-87   (triple (predicate "http://www.w3.org/2002/07/owl#sameAs")
       (subject "http://www.w3.org/2002/03owlt/I4.6/premises002#A")
       (object "http://www.w3.org/2002/03owlt/I4.6/premises002#B"))
f-88   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/I4.6/premises002#B")
       (object "http://www.w3.org/2002/03owlt/I4.6/premises002#A"))
f-89   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "http://www.w3.org/2002/03owlt/I4.6/premises002#A")
       (object "http://www.w3.org/2002/03owlt/I4.6/premises002#A"))
f-90   (triple (predicate "http://www.w3.org/2002/07/owl#sameAs")
       (subject "http://www.w3.org/2002/03owlt/I4.6/premises002#A")
       (object "http://www.w3.org/2002/03owlt/I4.6/premises002#A"))
f-91   (triple (predicate "http://www.w3.org/2002/07/owl#sameAs")
       (subject "http://www.w3.org/2002/03owlt/I4.6/premises002#B")
       (object "http://www.w3.org/2002/03owlt/I4.6/premises002#A"))

7.2.5. Uniform treatment of literal data values

Full Positive Entailment Test: 001
Description: (informative) <I5.1/Manifest001#test>
stateCode example using an inverseFunctionalProperty and literals
Full Premises: <I5.1/premises001> 
Ontology:
<rdf:RDF
  xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
  xmlns:NS0='http://example.org/vocab#'
 >
  <rdf:Description rdf:about='http://example.org/vocab#stateCode'>
    <rdf:type rdf:resource='http://www.w3.org/2002/07/owl#InverseFunctionalProperty'/>
  </rdf:Description>
</rdf:RDF>

Annotation:
<rdf:RDF
  xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
  xmlns:NS0='http://example.org/vocab#'
 >
  <rdf:Description rdf:nodeID='A0'>
    <NS0:stateCode>KS</NS0:stateCode>
    <NS0:population>2688418</NS0:population>
  </rdf:Description>
  <rdf:Description rdf:nodeID='A1'>
    <NS0:stateCode>KS</NS0:stateCode>
    <NS0:stateBird rdf:resource='http://example.org/vocab#WesternMeadowlark'/>
  </rdf:Description>
</rdf:RDF>
Full Conclusions: <I5.1/conclusions001> 
f-84   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://example.org/vocab#stateCode")
       (object "http://www.w3.org/2002/07/owl#InverseFunctionalProperty"))
f-85   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://example.org/vocab#stateCode")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"))
f-86   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "http://example.org/vocab#stateCode")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-87   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "#N400006")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Description"))
f-88   (triple (predicate "http://example.org/vocab#stateCode")
       (subject "#N400006")
       (object "KS"))
f-89   (triple (predicate "http://example.org/vocab#population")
       (subject "#N400006")
       (object "2688418"))
f-90   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "#N400010")
       (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Description"))
f-91   (triple (predicate "http://example.org/vocab#stateCode")
       (subject "#N400010")
       (object "KS"))
f-92   (triple (predicate "http://example.org/vocab#stateBird")
       (subject "#N400010")
       (object "http://example.org/vocab#WesternMeadowlark"))
f-93   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "#N400010")
       (object "#N400006"))
f-94   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "#N400006")
       (object "#N400010"))
f-95   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "#N400010")
       (object "#N400010"))
f-96   (triple (predicate "http://www.w3.org/2002/07/owl#sameIndividualAs")
       (subject "#N400006")
       (object "#N400006"))
f-97   (triple (predicate "http://example.org/vocab#stateBird")
       (subject "#N400006")
       (object "http://example.org/vocab#WesternMeadowlark"))
f-98   (triple (predicate "http://example.org/vocab#population")
       (subject "#N400010")
       (object "2688418"))
f-99   (triple (predicate "http://www.w3.org/2002/07/owl#sameAs")
       (subject "#N400006")
       (object "#N400006"))
f-100  (triple (predicate "http://www.w3.org/2002/07/owl#sameAs")
       (subject "#N400006")
       (object "#N400010"))
f-101  (triple (predicate "http://www.w3.org/2002/07/owl#sameAs")
       (subject "#N400010")
       (object "#N400010"))
f-102  (triple (predicate "http://www.w3.org/2002/07/owl#sameAs")
       (subject "#N400010")
       (object "#N400006"))
f-103   (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "#N400010")
       (object "http://www.w3.org/2002/07/owl#Thing"))
f-104  (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
       (subject "#N400006")
       (object "http://www.w3.org/2002/07/owl#Thing"))

7.2.6. IF-or-IFF-property-properties

Full Positive Entailment Test: 001
Description: (informative) <I5.24/Manifest001#test>
This entailment is similar to one that does not hold in RDFS. 
TO BE DONE.

Full Positive Entailment Test: 004
Description: (informative) <I5.24/Manifest004#test>
This is a typical definition of range from description logic. It works both ways. 
TO BE DONE.

7.2.7. Semantic-Layering

Full Consistent document. 005
Description: (informative) <I5.3/Manifest005#test>
Any RDF/XML document is in OWL Full. 
TO BE DONE.

Lite Consistent document. 006
Description: (informative) <I5.3/Manifest006#test>
A minimal OWL Lite version of test 005. 
TO BE DONE.

Full Consistent document. 007
Description: (informative) <I5.3/Manifest007#test>
Any RDF/XML document is in OWL Full. 
TO BE DONE.

Lite Consistent document. 008
Description: (informative) <I5.3/Manifest008#test>
An OWL Lite version of test 007. 
TO BE DONE.

Full Consistent document. 009
Description: (informative) <I5.3/Manifest009#test>
The use of blank nodes in OWL DL and OWL Lite is restricted. 
TO BE DONE.

7.2.8. List syntax or semantics

Full Positive Entailment Test: 001
Description: (informative) <I5.5/Manifest001#test>
rdf:first is a FunctionalProperty. 
TO BE DONE.

Full Positive Entailment Test: 002
Description: (informative) <I5.5/Manifest002#test>
rdf:rest is a FunctionalProperty. 
TO BE DONE.

Full Inconsistent document. 003
Description: (informative) <I5.5/Manifest003#test>
rdf:nil cannot have an rdf:rest property. 
TO BE DONE.

Full Inconsistent document. 004
Description: (informative) <I5.5/Manifest004#test>
rdf:nil cannot have an rdf:first property. 
TO BE DONE.