next top contents index

OWL Web Ontology Language
Test Cases
7.1. By Function

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

7.1. By Function

7.1.1. `owl:AllDifferent`

Full	Positive Entailment Test:		001
Description: (informative) `<AllDifferent/Manifest001#test>`
using `AllDifferent` to derive `differentFrom`
N3 format is informative.
Full	Premises: `<AllDifferent/premises001>`
<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/AllDifferent/premises001#" xml:base="http://www.w3.org/2002/03owlt/AllDifferent/premises001" > <owl:AllDifferent> <owl:distinctMembers rdf:parseType="Collection"> <first:Person rdf:about="#Fred" /> <first:Person rdf:about="#Wilma" /> <first:Person rdf:about="#Barney" /> <first:Person rdf:about="#Betty" /> </owl:distinctMembers> </owl:AllDifferent> </rdf:RDF>
_:a rdf:type owl:AllDifferent . first:Fred rdf:type first:Person . first:Wilma rdf:type first:Person . first:Barney rdf:type first:Person . first:Betty rdf:type first:Person . _:c rdf:first first:Betty . _:c rdf:rest rdf:nil . _:c rdf:type rdf:List . _:e rdf:first first:Barney . _:e rdf:rest _:c . _:e rdf:type rdf:List . _:g rdf:first first:Wilma . _:g rdf:rest _:e . _:g rdf:type rdf:List . _:i rdf:first first:Fred . _:i rdf:rest _:g . _:i rdf:type rdf:List . _:a owl:distinctMembers _:i .
Full	Conclusions: `<AllDifferent/conclusions001>`
<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/AllDifferent/premises001#" xml:base="http://www.w3.org/2002/03owlt/AllDifferent/conclusions001" > <rdf:Description rdf:about="premises001#Barney"> <owl:differentFrom rdf:resource="premises001#Fred"/> </rdf:Description> </rdf:RDF>
first:Barney owl:differentFrom first:Fred .

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 which is the subject of two `prop` triples, then the `object`s of these triples have the same denotation.
N3 format is informative.
Full	Premises: `<FunctionalProperty/premises001>`
<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" > <owl:FunctionalProperty rdf:ID="prop"/> <rdf:Description rdf:ID="subject"> <first:prop rdf:resource="#object1" /> <first:prop rdf:resource="#object2" /> </rdf:Description> </rdf:RDF>
first:prop rdf:type owl:FunctionalProperty . first:subject first:prop first:object1 . first:subject first:prop first:object2 .
Full	Conclusions: `<FunctionalProperty/conclusions001>`
<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/conclusions001" > <rdf:Description rdf:about="premises001#object1"> <owl:sameIndividualAs rdf:resource="premises001#object2" /> </rdf:Description> </rdf:RDF>
first:object1 owl:sameIndividualAs first:object2 .

Full	Positive Entailment Test:		002
Description: (informative) `<FunctionalProperty/Manifest002#test>`
If `prop` belongs to `owl:FunctionalProperty`, and `subject` denotes a resource which is the subject of two `prop` triples, then the `object`s of these triples have the same denotation.Hence any assertion made using one of them can be transferred to the other.
N3 format is informative.
Namespaces:
@prefix eg: <http://www.example.org/> .
Full	Premises: `<FunctionalProperty/premises002>`
<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/premises002#" xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises002" > <owl:FunctionalProperty rdf:ID="prop"/> <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>
first:prop rdf:type owl:FunctionalProperty . first:object1 eg:prop2 "value" . first:subject first:prop first:object1 . first:subject first:prop first:object2 .
Full	Conclusions: `<FunctionalProperty/conclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:eg ="http://www.example.org/" xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions002" > <rdf:Description rdf:about="premises002#object2" > <eg:prop2>value</eg:prop2> </rdf:Description> </rdf:RDF>
first:object2 eg:prop2 "value" .

Full	Positive Entailment Test:		003
Description: (informative) `<FunctionalProperty/Manifest003#test>`
If `prop` is an `owl:FunctionalProperty`, then its inverse is an `owl:InverseFunctionalProperty`.
N3 format is informative.
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>
first:prop rdf:type owl:FunctionalProperty . first:prop owl:inverseOf first:inv .
Lite	Conclusions: `<FunctionalProperty/conclusions003>`
<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/conclusions003" > <owl:InverseFunctionalProperty rdf:about="premises003#inv"/> </rdf:RDF>
first:inv rdf:type owl:InverseFunctionalProperty .

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`.
N3 format is informative.
Full	Premises: `<FunctionalProperty/premises004>`
<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#" xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises004" > <owl:ObjectProperty rdf:ID="prop"> <rdfs:range rdf:resource="#Singleton"/> </owl:ObjectProperty> <rdfs:Class rdf:ID="Singleton"> <owl:oneOf rdf:parseType="Collection"> <rdf:Description/> </owl:oneOf> </rdfs:Class> </rdf:RDF>
first:prop rdf:type owl:ObjectProperty . first:prop rdfs:range first:Singleton . first:Singleton rdf:type rdfs:Class . _:a rdf:first _:b . _:a rdf:rest rdf:nil . _:a rdf:type rdf:List . first:Singleton owl:oneOf _:a .
Full	Conclusions: `<FunctionalProperty/conclusions004>`
<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/conclusions004" > <owl:FunctionalProperty rdf:about="premises004#prop"/> </rdf:RDF>
first:prop rdf:type owl:FunctionalProperty .

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 which is the object of two `prop` triples, then the `subject`s of these triples have the same denotation.
N3 format is informative.
Full	Premises: `<InverseFunctionalProperty/premises001>`
<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" > <owl:InverseFunctionalProperty rdf:ID="prop"/> <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>
first:prop rdf:type owl:InverseFunctionalProperty . first:subject1 first:prop first:object . first:subject2 first:prop first:object .
Full	Conclusions: `<InverseFunctionalProperty/conclusions001>`
<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/conclusions001" > <rdf:Description rdf:about="premises001#subject1"> <owl:sameIndividualAs rdf:resource="premises001#subject2" /> </rdf:Description> </rdf:RDF>
first:subject1 owl:sameIndividualAs first:subject2 .

Full	Positive Entailment Test:		002
Description: (informative) `<InverseFunctionalProperty/Manifest002#test>`
If `prop` belongs to `owl:InverseFunctionalProperty`, and `object` denotes a resource which is the object of two `prop` triples, then the `subject`s of these triples have the same denotation. Hence any assertion made using one of them can be transferred to the other.
N3 format is informative.
Namespaces:
@prefix eg: <http://www.example.org/> .
Full	Premises: `<InverseFunctionalProperty/premises002>`
<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" > <owl:InverseFunctionalProperty rdf:ID="prop"/> <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>
first:prop rdf:type owl:InverseFunctionalProperty . first:subject1 first:prop first:object . first:subject1 eg:prop2 "value" . first:subject2 first:prop first:object .
Full	Conclusions: `<InverseFunctionalProperty/conclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:eg ="http://www.example.org/" xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions002" > <rdf:Description rdf:about="premises002#subject2" > <eg:prop2>value</eg:prop2> </rdf:Description> </rdf:RDF>
first:subject2 eg:prop2 "value" .

Full	Positive Entailment Test:		003
Description: (informative) `<InverseFunctionalProperty/Manifest003#test>`
If `prop` is an `owl:InverseFunctionalProperty`, then its inverse is an `owl:FunctionalProperty`.
N3 format is informative.
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>
first:prop rdf:type owl:InverseFunctionalProperty . first:prop owl:inverseOf first:inv .
Full	Conclusions: `<InverseFunctionalProperty/conclusions003>`
<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/conclusions003" > <owl:FunctionalProperty rdf:about="premises003#inv"/> </rdf:RDF>
first:inv rdf:type owl:FunctionalProperty .

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`.
N3 format is informative.
Full	Premises: `<InverseFunctionalProperty/premises004>`
<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#" xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004" > <owl:ObjectProperty rdf:ID="prop"> <rdfs:domain rdf:resource="#Singleton"/> </owl:ObjectProperty> <rdfs:Class rdf:ID="Singleton"> <owl:oneOf rdf:parseType="Collection"> <rdf:Description/> </owl:oneOf> </rdfs:Class> </rdf:RDF>
first:prop rdf:type owl:ObjectProperty . first:prop rdfs:domain first:Singleton . first:Singleton rdf:type rdfs:Class . _:a rdf:first _:b . _:a rdf:rest rdf:nil . _:a rdf:type rdf:List . first:Singleton owl:oneOf _:a .
Lite	Conclusions: `<InverseFunctionalProperty/conclusions004>`
<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/conclusions004" > <owl:InverseFunctionalProperty rdf:about="premises004#prop"/> </rdf:RDF>
first:prop rdf:type owl:InverseFunctionalProperty .

7.1.4. `owl:Nothing`

DL	OWL described in OWL.		002
Description: (informative) `<Nothing/Manifest002#test>`
An empty `owl:Class` has the same class extension as `owl:Nothing`.
N3 format is informative.
DL	True: `<Nothing/conclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xml:base='http://www.w3.org/2002/03owlt/Nothing/conclusions002' xmlns:owl="http://www.w3.org/2002/07/owl#"> <owl:Class> <owl:oneOf rdf:parseType="Collection"/> <owl:equivalentClass rdf:resource="http://www.w3.org/2002/07/owl#Nothing" /> </owl:Class> </rdf:RDF>
_:a rdf:type owl:Class . _:a owl:oneOf rdf:nil . _:a owl:equivalentClass owl:Nothing .

7.1.5. `owl:SymmetricProperty`

Full	Positive Entailment Test:		001
Description: (informative) `<SymmetricProperty/Manifest001#test>`
A simple illustration of symmetric properties.
N3 format is informative.
Full	Premises: `<SymmetricProperty/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/SymmetricProperty/premises001#" xmlns:second="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001#" xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/premises001" > <rdf:Description rdf:about="premises001#Ghent"> <first:path rdf:resource="premises001#Antwerp"/> </rdf:Description> <owl:SymmetricProperty rdf:about="premises001#path"/> </rdf:RDF>
first:Ghent first:path first:Antwerp . first:path rdf:type owl:SymmetricProperty .
Full	Conclusions: `<SymmetricProperty/conclusions001>`
<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/SymmetricProperty/premises001#" xmlns:second="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001#" xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001" > <rdf:Description rdf:about="premises001#Antwerp"> <first:path rdf:resource="premises001#Ghent"/> </rdf:Description> </rdf:RDF>
first:Antwerp first:path first:Ghent .

7.1.6. `owl:TransitiveProperty`

Full	Positive Entailment Test:		001
Description: (informative) `<TransitiveProperty/Manifest001#test>`
A simple illustration of transitivity.
N3 format is informative.
Full	Premises: `<TransitiveProperty/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/TransitiveProperty/premises001#" xmlns:second="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001#" xml:base="http://www.w3.org/2002/03owlt/TransitiveProperty/premises001" > <rdf:Description rdf:about="premises001#Antwerp"> <first:path rdf:resource="premises001#Amsterdam"/> </rdf:Description> <rdf:Description rdf:about="premises001#Ghent"> <first:path rdf:resource="premises001#Antwerp"/> </rdf:Description> <owl:TransitiveProperty rdf:about="premises001#path"/> </rdf:RDF>
first:Antwerp first:path first:Amsterdam . first:Ghent first:path first:Antwerp . first:path rdf:type owl:TransitiveProperty .
Full	Conclusions: `<TransitiveProperty/conclusions001>`
<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/TransitiveProperty/premises001#" xmlns:second="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001#" xml:base="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001" > <rdf:Description rdf:about="premises001#Ghent"> <first:path rdf:resource="premises001#Amsterdam"/> </rdf:Description> </rdf:RDF>
first:Ghent first:path first:Amsterdam .

7.1.7. `owl:allValuesFrom`

Lite	Positive Entailment Test:		001
Description: (informative) `<allValuesFrom/Manifest001#test>`
A simple example.
N3 format is informative.
Lite	Premises: `<allValuesFrom/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/allValuesFrom/premises001#" xml:base="http://www.w3.org/2002/03owlt/allValuesFrom/premises001" > <owl:Class rdf:ID="r"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:allValuesFrom rdf:resource="#c"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> <owl:Class rdf:ID="c"/> <first:r rdf:ID="i"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/> <first:p> <owl:Thing rdf:ID="o" /> </first:p> </first:r> </rdf:RDF>
first:r rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:allValuesFrom first:c . first:r rdfs:subClassOf _:a . first:p rdf:type owl:ObjectProperty . first:c rdf:type owl:Class . first:i rdf:type first:r . first:i rdf:type owl:Thing . first:o rdf:type owl:Thing . first:i first:p first:o .
Lite	Conclusions: `<allValuesFrom/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:first="http://www.w3.org/2002/03owlt/allValuesFrom/premises001#" xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/allValuesFrom/conclusions001" > <first:c rdf:about="premises001#o"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/> </first:c> <owl:Class rdf:about="premises001#c"/> </rdf:RDF>
first:o rdf:type first:c . first:o rdf:type owl:Thing . first:c rdf:type owl:Class .

Lite	Negative Entailment Test:		002
Description: (informative) `<allValuesFrom/Manifest002#test>`
Another simple example; contrast with `owl:someValuesFrom`.
N3 format is informative.
Lite	Premises: `<allValuesFrom/premises002>`
<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/allValuesFrom/premises002#" xml:base="http://www.w3.org/2002/03owlt/allValuesFrom/premises002" > <owl:Class rdf:ID="r"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:allValuesFrom rdf:resource="#c"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> <owl:Class rdf:ID="c"/> <first:r rdf:ID="i"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/> </first:r> </rdf:RDF>
first:r rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:allValuesFrom first:c . first:r rdfs:subClassOf _:a . first:p rdf:type owl:ObjectProperty . first:c rdf:type owl:Class . first:i rdf:type first:r . first:i rdf:type owl:Thing .
Lite	Conclusions: `<allValuesFrom/nonconclusions002>`
<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/allValuesFrom/premises002#" xmlns:second="http://www.w3.org/2002/03owlt/allValuesFrom/nonconclusions002#" xml:base="http://www.w3.org/2002/03owlt/allValuesFrom/nonconclusions002" > <owl:Thing rdf:about="premises002#i"> <first:p> <first:c rdf:nodeID="o" /> </first:p> </owl:Thing> <owl:Thing rdf:nodeID="o" /> <owl:ObjectProperty rdf:about="premises002#p"/> <owl:Class rdf:about="premises002#c"/> </rdf:RDF>
first:i rdf:type owl:Thing . _:a rdf:type first:c . first:i first:p _:a . _:a rdf:type owl:Thing . first:p rdf:type owl:ObjectProperty . first:c rdf:type owl:Class .

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.
N3 format is informative.
Lite	Premises: `<cardinality/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#" xml:base="http://www.w3.org/2002/03owlt/cardinality/premises001" > <owl:Class rdf:ID="c"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:cardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> </rdf:RDF>
first:c rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:cardinality "1"^^xsd:nonNegativeInteger . first:c rdfs:subClassOf _:a . first:p rdf:type owl:ObjectProperty .
Lite	Conclusions: `<cardinality/conclusions001>`
<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/cardinality/conclusions001" > <owl:Class rdf:about="premises001#c"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="premises001#p"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:maxCardinality> </owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="premises001#p"/> <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:minCardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:about="premises001#p"/> </rdf:RDF>
first:c rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:maxCardinality "1"^^xsd:nonNegativeInteger . first:c rdfs:subClassOf _:a . _:c rdf:type owl:Restriction . _:c owl:onProperty first:p . _:c owl:minCardinality "1"^^xsd:nonNegativeInteger . first:c rdfs:subClassOf _:c . first:p rdf:type owl:ObjectProperty .

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.
N3 format is informative.
Lite	Premises: `<cardinality/premises002>`
<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/cardinality/premises002" > <owl:Class rdf:about="conclusions002#c"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="conclusions002#p"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:maxCardinality> </owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="conclusions002#p"/> <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:minCardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:about="conclusions002#p"/> </rdf:RDF>
second:c rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty second:p . _:a owl:maxCardinality "1"^^xsd:nonNegativeInteger . second:c rdfs:subClassOf _:a . _:c rdf:type owl:Restriction . _:c owl:onProperty second:p . _:c owl:minCardinality "1"^^xsd:nonNegativeInteger . second:c rdfs:subClassOf _:c . second:p rdf:type owl:ObjectProperty .
Lite	Conclusions: `<cardinality/conclusions002>`
<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/cardinality/conclusions002" > <owl:Class rdf:ID="c"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:cardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> </rdf:RDF>
second:c rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty second:p . _:a owl:cardinality "1"^^xsd:nonNegativeInteger . second:c rdfs:subClassOf _:a . second:p rdf:type owl:ObjectProperty .

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.
N3 format is informative.
DL	Premises: `<cardinality/premises003>`
<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/cardinality/premises003" > <owl:Class rdf:ID="c"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:cardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> </rdf:RDF>
first:c rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:cardinality "2"^^xsd:nonNegativeInteger . first:c rdfs:subClassOf _:a . first:p rdf:type owl:ObjectProperty .
DL	Conclusions: `<cardinality/conclusions003>`
<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/cardinality/conclusions003" > <owl:Class rdf:about="premises003#c"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="premises003#p"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:maxCardinality> </owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="premises003#p"/> <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:minCardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:about="premises003#p"/> </rdf:RDF>
first:c rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:maxCardinality "2"^^xsd:nonNegativeInteger . first:c rdfs:subClassOf _:a . _:c rdf:type owl:Restriction . _:c owl:onProperty first:p . _:c owl:minCardinality "2"^^xsd:nonNegativeInteger . first:c rdfs:subClassOf _:c . first:p rdf:type owl:ObjectProperty .

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.
N3 format is informative.
DL	Premises: `<cardinality/premises004>`
<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/cardinality/premises004" > <owl:Class rdf:about="conclusions004#c"> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="conclusions004#p"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:maxCardinality> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="conclusions004#p"/> <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:minCardinality> </owl:Restriction> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:about="conclusions004#p"/> </rdf:RDF>
second:c rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty second:p . _:c owl:maxCardinality "2"^^xsd:nonNegativeInteger . _:e rdf:type owl:Restriction . _:e owl:onProperty second:p . _:e owl:minCardinality "2"^^xsd:nonNegativeInteger . _:g rdf:first _:e . _:g rdf:rest rdf:nil . _:g rdf:type rdf:List . _:i rdf:first _:c . _:i rdf:rest _:g . _:i rdf:type rdf:List . _:a owl:intersectionOf _:i . second:c rdfs:subClassOf _:a . second:p rdf:type owl:ObjectProperty .
DL	Conclusions: `<cardinality/conclusions004>`
<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/cardinality/conclusions004" > <owl:Class rdf:ID="c"> <rdfs:subClassOf> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:cardinality> </owl:Restriction> </owl:intersectionOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> </rdf:RDF>
second:c rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty second:p . _:c owl:cardinality "2"^^xsd:nonNegativeInteger . _:e rdf:first _:c . _:e rdf:rest rdf:nil . _:e rdf:type rdf:List . _:a owl:intersectionOf _:e . second:c rdfs:subClassOf _:a . second:p rdf:type owl:ObjectProperty .

7.1.9. `owl:complementOf`

Full	Positive Entailment Test:		001
Description: (informative) `<complementOf/Manifest001#test>`
`complementOf` is a `SymmetricProperty`.
N3 format is informative.
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>
first:A owl:complementOf first:B .
Full	Conclusions: `<complementOf/conclusions001>`
<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/conclusions001" > <rdf:Description rdf:about="premises001#B"> <owl:complementOf rdf:resource="premises001#A"/> </rdf:Description> </rdf:RDF>
first:B owl:complementOf first:A .

7.1.10. `owl:differentFrom`

Full	Positive Entailment Test:		001
Description: (informative) `<differentFrom/Manifest001#test>`
`differentFrom` is a `SymmetricProperty`.
N3 format is informative.
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>
first:a owl:differentFrom first:b .
Full	Conclusions: `<differentFrom/conclusions001>`
<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/conclusions001" > <rdf:Description rdf:about="premises001#b"> <owl:differentFrom rdf:resource="premises001#a"/> </rdf:Description> </rdf:RDF>
first:b owl:differentFrom first:a .

Full	Positive Entailment Test:		002
Description: (informative) `<differentFrom/Manifest002#test>`
using `distinctMembers` to derive `differentFrom`
N3 format is informative.
Full	Premises: `<differentFrom/premises002>`
<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/differentFrom/premises002#" xml:base="http://www.w3.org/2002/03owlt/differentFrom/premises002" > <owl:AllDifferent> <owl:distinctMembers rdf:parseType="Collection"> <first:Person rdf:about="#Fred" /> <first:Person rdf:about="#Wilma" /> <first:Person rdf:about="#Barney" /> <first:Person rdf:about="#Betty" /> </owl:distinctMembers> </owl:AllDifferent> </rdf:RDF>
_:a rdf:type owl:AllDifferent . first:Fred rdf:type first:Person . first:Wilma rdf:type first:Person . first:Barney rdf:type first:Person . first:Betty rdf:type first:Person . _:c rdf:first first:Betty . _:c rdf:rest rdf:nil . _:c rdf:type rdf:List . _:e rdf:first first:Barney . _:e rdf:rest _:c . _:e rdf:type rdf:List . _:g rdf:first first:Wilma . _:g rdf:rest _:e . _:g rdf:type rdf:List . _:i rdf:first first:Fred . _:i rdf:rest _:g . _:i rdf:type rdf:List . _:a owl:distinctMembers _:i .
Full	Conclusions: `<differentFrom/conclusions002>`
<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/differentFrom/premises002#" xml:base="http://www.w3.org/2002/03owlt/differentFrom/conclusions002" > <rdf:Description rdf:about="premises002#Barney"> <owl:differentFrom rdf:resource="premises002#Wilma"/> </rdf:Description> </rdf:RDF>
first:Barney owl:differentFrom first:Wilma .

7.1.11. `owl:disjointWith`

DL	Positive Entailment Test:		001
Description: (informative) `<disjointWith/Manifest001#test>`
Disjoint classes have different members.
N3 format is informative.
DL	Premises: `<disjointWith/premises001>`
<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> <first:A rdf:ID="a"/> <owl:Thing rdf:about="#a"/> <first:B rdf:ID="b"/> <owl:Thing rdf:about="#b"/> </rdf:RDF>
first:A rdf:type owl:Class . first:B rdf:type owl:Class . first:A owl:disjointWith first:B . first:a rdf:type first:A . first:a rdf:type owl:Thing . first:b rdf:type first:B . first:b rdf:type owl:Thing .
Lite	Conclusions: `<disjointWith/conclusions001>`
<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/premises001#" xml:base="http://www.w3.org/2002/03owlt/disjointWith/conclusions001" > <owl:Thing rdf:about="premises001#a"> <owl:differentFrom> <owl:Thing rdf:about="premises001#b"/> </owl:differentFrom> </owl:Thing> </rdf:RDF>
first:a rdf:type owl:Thing . first:b rdf:type owl:Thing . first:a owl:differentFrom first:b .

Full	Positive Entailment Test:		002
Description: (informative) `<disjointWith/Manifest002#test>`
Disjoint classes have different members.
N3 format is informative.
Full	Premises: `<disjointWith/premises002>`
<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> <first:A rdf:ID="a"/> <first:B rdf:ID="b"/> </rdf:RDF>
first:A owl:disjointWith first:B . first:a rdf:type first:A . first:b rdf:type first:B .
Full	Conclusions: `<disjointWith/conclusions002>`
<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/disjointWith/conclusions002" > <rdf:Description rdf:about="premises002#a"> <owl:differentFrom rdf:resource="premises002#b"/> </rdf:Description> </rdf:RDF>
first:a owl:differentFrom first:b .

7.1.12. `owl:distinctMembers`

Full	Positive Entailment Test:		001
Description: (informative) `<distinctMembers/Manifest001#test>`
using `distinctMembers` to derive `differentFrom`
N3 format is informative.
Full	Premises: `<distinctMembers/premises001>`
<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/distinctMembers/premises001#" xml:base="http://www.w3.org/2002/03owlt/distinctMembers/premises001" > <owl:AllDifferent> <owl:distinctMembers rdf:parseType="Collection"> <first:Person rdf:about="#Fred" /> <first:Person rdf:about="#Wilma" /> <first:Person rdf:about="#Barney" /> <first:Person rdf:about="#Betty" /> </owl:distinctMembers> </owl:AllDifferent> </rdf:RDF>
_:a rdf:type owl:AllDifferent . first:Fred rdf:type first:Person . first:Wilma rdf:type first:Person . first:Barney rdf:type first:Person . first:Betty rdf:type first:Person . _:c rdf:first first:Betty . _:c rdf:rest rdf:nil . _:c rdf:type rdf:List . _:e rdf:first first:Barney . _:e rdf:rest _:c . _:e rdf:type rdf:List . _:g rdf:first first:Wilma . _:g rdf:rest _:e . _:g rdf:type rdf:List . _:i rdf:first first:Fred . _:i rdf:rest _:g . _:i rdf:type rdf:List . _:a owl:distinctMembers _:i .
Full	Conclusions: `<distinctMembers/conclusions001>`
<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/distinctMembers/premises001#" xml:base="http://www.w3.org/2002/03owlt/distinctMembers/conclusions001" > <rdf:Description rdf:about="premises001#Fred"> <owl:differentFrom rdf:resource="premises001#Barney"/> </rdf:Description> </rdf:RDF>
first:Fred owl:differentFrom first:Barney .

7.1.13. `owl:equivalentClass`

Lite	Positive Entailment Test:		001
Description: (informative) `<equivalentClass/Manifest001#test>`
Two classes may have the same class extension.
N3 format is informative.
Lite	Premises: `<equivalentClass/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/equivalentClass/premises001#" 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> <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>
first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class . first:Car owl:equivalentClass first:Automobile . first:car rdf:type first:Car . first:car rdf:type owl:Thing . first:auto rdf:type first:Automobile . first:auto rdf:type owl:Thing .
Lite	Conclusions: `<equivalentClass/conclusions001>`
<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/conclusions001" > <first:Car rdf:about="premises001#auto"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Car> <first:Automobile rdf:about="premises001#car"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Automobile> <owl:Class rdf:about="premises001#Car"/> <owl:Class rdf:about="premises001#Automobile"/> </rdf:RDF>
first:auto rdf:type first:Car . first:auto rdf:type owl:Thing . first:car rdf:type first:Automobile . first:car rdf:type owl:Thing . first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class .

Lite	Positive Entailment Test:		002
Description: (informative) `<equivalentClass/Manifest002#test>`
Two classes may be different names for the same set of individuals
N3 format is informative.
Lite	Premises: `<equivalentClass/premises002>`
<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>
first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class . first:Car owl:equivalentClass first:Automobile .
Lite	Conclusions: `<equivalentClass/conclusions002>`
<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/conclusions002" > <owl:Class rdf:about="premises002#Car"> <rdfs:subClassOf> <owl:Class rdf:about="premises002#Automobile"> <rdfs:subClassOf rdf:resource="premises002#Car" /> </owl:Class> </rdfs:subClassOf> </owl:Class> </rdf:RDF>
first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class . first:Automobile rdfs:subClassOf first:Car . first:Car rdfs:subClassOf first:Automobile .

Lite	Positive Entailment Test:		003
Description: (informative) `<equivalentClass/Manifest003#test>`
Two classes may be different names for the same set of individuals
N3 format is informative.
Lite	Premises: `<equivalentClass/premises003>`
<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>
second:Car rdf:type owl:Class . second:Automobile rdf:type owl:Class . second:Automobile rdfs:subClassOf second:Car . second:Car rdfs:subClassOf second:Automobile .
Lite	Conclusions: `<equivalentClass/conclusions003>`
<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/conclusions003" > <owl:Class rdf:ID="Car"> <owl:equivalentClass> <owl:Class rdf:ID="Automobile"/> </owl:equivalentClass> </owl:Class> </rdf:RDF>
second:Car rdf:type owl:Class . second:Automobile rdf:type owl:Class . second:Car owl:equivalentClass second:Automobile .

Lite	Positive Entailment Test:		004
Description: (informative) `<equivalentClass/Manifest004#test>`
Two classes with the same complete description are equivalent.
N3 format is informative.
Lite	Premises: `<equivalentClass/premises004>`
<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/premises004" > <owl:Class rdf:ID="c1"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:cardinality> </owl:Restriction> </owl:intersectionOf> </owl:Class> <owl:Class rdf:ID="c2"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:cardinality> </owl:Restriction> </owl:intersectionOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> </rdf:RDF>
first:c1 rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:cardinality "1"^^xsd:nonNegativeInteger . _:c rdf:first _:a . _:c rdf:rest rdf:nil . _:c rdf:type rdf:List . first:c1 owl:intersectionOf _:c . first:c2 rdf:type owl:Class . _:e rdf:type owl:Restriction . _:e owl:onProperty first:p . _:e owl:cardinality "1"^^xsd:nonNegativeInteger . _:g rdf:first _:e . _:g rdf:rest rdf:nil . _:g rdf:type rdf:List . first:c2 owl:intersectionOf _:g . first:p rdf:type owl:ObjectProperty .
Lite	Conclusions: `<equivalentClass/conclusions004>`
<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/conclusions004" > <owl:Class rdf:about="premises004#c1"> <owl:equivalentClass> <owl:Class rdf:about="premises004#c2"/> </owl:equivalentClass> </owl:Class> </rdf:RDF>
first:c1 rdf:type owl:Class . first:c2 rdf:type owl:Class . first:c1 owl:equivalentClass first:c2 .

Lite	Negative Entailment Test:		005
Description: (informative) `<equivalentClass/Manifest005#test>`
Two classes with the same partial description are not equivalent.
N3 format is informative.
Lite	Premises: `<equivalentClass/premises005>`
<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/premises005" > <owl:Class rdf:ID="c1"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:cardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:ID="c2"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:cardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> </rdf:RDF>
first:c1 rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:cardinality "1"^^xsd:nonNegativeInteger . first:c1 rdfs:subClassOf _:a . first:c2 rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty first:p . _:c owl:cardinality "1"^^xsd:nonNegativeInteger . first:c2 rdfs:subClassOf _:c . first:p rdf:type owl:ObjectProperty .
Lite	Conclusions: `<equivalentClass/nonconclusions005>`
<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/nonconclusions005" > <owl:Class rdf:about="premises005#c1"> <owl:equivalentClass> <owl:Class rdf:about="premises005#c2"/> </owl:equivalentClass> </owl:Class> </rdf:RDF>
first:c1 rdf:type owl:Class . first:c2 rdf:type owl:Class . first:c1 owl:equivalentClass first:c2 .

DL	Positive Entailment Test:		006
Description: (informative) `<equivalentClass/Manifest006#test>`
De Morgan's law.
N3 format is informative.
Lite	Premises: `<equivalentClass/premises006>`
<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/premises006" > <owl:Class rdf:ID="A"/> <owl:Class rdf:ID="B"/> </rdf:RDF>
first:A rdf:type owl:Class . first:B rdf:type owl:Class .
DL	Conclusions: `<equivalentClass/conclusions006>`
<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/conclusions006" > <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class> <owl:complementOf rdf:resource="premises006#A"/> </owl:Class> <owl:Class> <owl:complementOf rdf:resource="premises006#B"/> </owl:Class> </owl:intersectionOf> <owl:equivalentClass> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises006#A"/> <rdf:Description rdf:about="premises006#B"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="premises006#A"/> <owl:Class rdf:about="premises006#B"/> </rdf:RDF>
_:a rdf:type owl:Class . _:c rdf:type owl:Class . _:c owl:complementOf first:A . _:e rdf:type owl:Class . _:e owl:complementOf first:B . _:g rdf:first _:e . _:g rdf:rest rdf:nil . _:g rdf:type rdf:List . _:i rdf:first _:c . _:i rdf:rest _:g . _:i rdf:type rdf:List . _:a owl:intersectionOf _:i . _:k rdf:type owl:Class . _:m rdf:type owl:Class . _:o rdf:first first:B . _:o rdf:rest rdf:nil . _:o rdf:type rdf:List . _:q rdf:first first:A . _:q rdf:rest _:o . _:q rdf:type rdf:List . _:m owl:unionOf _:q . _:k owl:complementOf _:m . _:a owl:equivalentClass _:k . first:A rdf:type owl:Class . first:B rdf:type owl:Class .

7.1.14. `owl:equivalentProperty`

Lite	Positive Entailment Test:		001
Description: (informative) `<equivalentProperty/Manifest001#test>`
`hasLeader` may be stated to be the `owl:equivalentProperty` of `hasHead`.
N3 format is informative.
Lite	Premises: `<equivalentProperty/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/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>
first:hasHead rdf:type owl:ObjectProperty . first:hasLeader rdf:type owl:ObjectProperty . first:hasHead owl:equivalentProperty first:hasLeader . first:X rdf:type owl:Thing . first:Y rdf:type owl:Thing . first:X first:hasLeader first:Y .
Lite	Conclusions: `<equivalentProperty/conclusions001>`
<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/conclusions001" > <owl:Thing rdf:about="premises001#X"> <first:hasHead> <owl:Thing rdf:about="premises001#Y"/> </first:hasHead> </owl:Thing> <owl:ObjectProperty rdf:about="premises001#hasHead"/> </rdf:RDF>
first:X rdf:type owl:Thing . first:Y rdf:type owl:Thing . first:X first:hasHead first:Y . first:hasHead rdf:type owl:ObjectProperty .

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`.
N3 format is informative.
Lite	Premises: `<equivalentProperty/premises002>`
<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>
first:hasHead rdf:type owl:ObjectProperty . first:hasLeader rdf:type owl:ObjectProperty . first:hasHead owl:equivalentProperty first:hasLeader .
Lite	Conclusions: `<equivalentProperty/conclusions002>`
<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/conclusions002" > <owl:ObjectProperty rdf:about="premises002#hasHead"> <rdfs:subPropertyOf rdf:resource="premises002#hasLeader"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:about="premises002#hasLeader"> <rdfs:subPropertyOf rdf:resource="premises002#hasHead"/> </owl:ObjectProperty> </rdf:RDF>
first:hasHead rdf:type owl:ObjectProperty . first:hasHead rdfs:subPropertyOf first:hasLeader . first:hasLeader rdf:type owl:ObjectProperty . first:hasLeader rdfs:subPropertyOf first:hasHead .

Lite	Positive Entailment Test:		003
Description: (informative) `<equivalentProperty/Manifest003#test>`
The inverse entailment of test 002 also holds.
N3 format is informative.
Lite	Premises: `<equivalentProperty/premises003>`
<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>
second:hasHead rdf:type owl:ObjectProperty . second:hasHead rdfs:subPropertyOf second:hasLeader . second:hasLeader rdf:type owl:ObjectProperty . second:hasLeader rdfs:subPropertyOf second:hasHead .
Lite	Conclusions: `<equivalentProperty/conclusions003>`
<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/conclusions003" > <owl:ObjectProperty rdf:ID="hasHead"> <owl:equivalentProperty> <owl:ObjectProperty rdf:ID="hasLeader"/> </owl:equivalentProperty> </owl:ObjectProperty> </rdf:RDF>
second:hasHead rdf:type owl:ObjectProperty . second:hasLeader rdf:type owl:ObjectProperty . second:hasHead owl:equivalentProperty second:hasLeader .

DL	Positive Entailment Test:		004
Description: (informative) `<equivalentProperty/Manifest004#test>`
If `p` and `q` have the same property extension then `p` `equivalentProperty` `q`.
N3 format is informative.
DL	Premises: `<equivalentProperty/premises004>`
<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/premises004" > <owl:ObjectProperty rdf:ID="p"> <rdfs:domain rdf:resource="#d"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:ID="q"> <rdfs:domain rdf:resource="#d"/> </owl:ObjectProperty> <owl:FunctionalProperty rdf:about="#q"/> <owl:FunctionalProperty rdf:about="#p"/> <owl:Thing rdf:ID="v"/> <owl:Class rdf:ID="d"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:hasValue rdf:resource="#v"/> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#q"/> <owl:hasValue rdf:resource="#v"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> </rdf:RDF>
first:p rdf:type owl:ObjectProperty . first:p rdfs:domain first:d . first:q rdf:type owl:ObjectProperty . first:q rdfs:domain first:d . first:q rdf:type owl:FunctionalProperty . first:p rdf:type owl:FunctionalProperty . first:v rdf:type owl:Thing . first:d rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:hasValue first:v . first:d owl:equivalentClass _:a . _:c rdf:type owl:Restriction . _:c owl:onProperty first:q . _:c owl:hasValue first:v . first:d owl:equivalentClass _:c .
Lite	Conclusions: `<equivalentProperty/conclusions004>`
<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/conclusions004" > <owl:ObjectProperty rdf:about="premises004#p"> <owl:equivalentProperty> <owl:ObjectProperty rdf:about="premises004#q"/> </owl:equivalentProperty> </owl:ObjectProperty> </rdf:RDF>
first:p rdf:type owl:ObjectProperty . first:q rdf:type owl:ObjectProperty . first:p owl:equivalentProperty first:q .

Full	Positive Entailment Test:		005
Description: (informative) `<equivalentProperty/Manifest005#test>`
If `p` and `q` have the same property extension then `p` `owl:equivalentProperty` `q`.
N3 format is informative.
Full	Premises: `<equivalentProperty/premises005>`
<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/premises005" > <owl:FunctionalProperty rdf:about="#q"> <rdfs:domain rdf:nodeID="d"/> </owl:FunctionalProperty> <owl:FunctionalProperty rdf:about="#p"> <rdfs:domain rdf:nodeID="d"/> </owl:FunctionalProperty> <owl:Restriction rdf:nodeID="d"> <owl:onProperty rdf:resource="#p"/> <owl:onProperty rdf:resource="#q"/> <owl:hasValue rdf:resource="#v"/> </owl:Restriction> </rdf:RDF>
first:q rdf:type owl:FunctionalProperty . first:q rdfs:domain _:a . first:p rdf:type owl:FunctionalProperty . first:p rdfs:domain _:a . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:onProperty first:q . _:a owl:hasValue first:v .
Full	Conclusions: `<equivalentProperty/conclusions005>`
<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/conclusions005" > <rdf:Description rdf:about="premises005#p"> <owl:equivalentProperty rdf:resource="premises005#q"/> </rdf:Description> </rdf:RDF>
first:p owl:equivalentProperty first:q .

Full	Positive Entailment Test:		006
Description: (informative) `<equivalentProperty/Manifest006#test>`
`hasLeader` may be stated to be the `owl:equivalentProperty` of `hasHead`.
N3 format is informative.
Full	Premises: `<equivalentProperty/premises006>`
<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:Description rdf:ID="X"> <first:hasLeader> <rdf:Description rdf:ID="Y"/> </first:hasLeader> </rdf:Description> </rdf:RDF>
first:hasHead owl:equivalentProperty first:hasLeader . first:X first:hasLeader first:Y .
Full	Conclusions: `<equivalentProperty/conclusions006>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:first="http://www.w3.org/2002/03owlt/equivalentProperty/premises006#" xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/conclusions006" > <rdf:Description rdf:about="premises006#X"> <first:hasHead rdf:resource="premises006#Y" /> </rdf:Description> </rdf:RDF>
first:X first:hasHead first:Y .

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.
N3 format is informative.
Namespaces:
@prefix ont: <http://www.w3.org/2002/03owlt/imports/support001-A#> .
Full	Premises: `<imports/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:ont='http://www.w3.org/2002/03owlt/imports/support001-A#' xml:base='http://www.w3.org/2002/03owlt/imports/premises001' > <rdf:Description rdf:about=''> <owl:imports rdf:resource="http://www.w3.org/2002/03owlt/imports/support001-A"/> </rdf:Description> <ont:Man rdf:about='http://example.org/data#Socrates'/> </rdf:RDF>
<imports/premises001> owl:imports <imports/support001-A> . <http://example.org/data#Socrates> rdf:type ont:Man .
Lite	Imported Premises `<imports/support001-A>`
<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/imports/support001-A' > <owl:Ontology rdf:about=''/> <owl:Class rdf:ID='Man'> <rdfs:subClassOf rdf:resource='#Mortal'/> </owl:Class> <owl:Class rdf:ID='Mortal'/> </rdf:RDF>
<imports/support001-A> rdf:type owl:Ontology . ont:Man rdf:type owl:Class . ont:Man rdfs:subClassOf ont:Mortal . ont:Mortal rdf:type owl:Class .
Full	Conclusions: `<imports/conclusions001>`
<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/imports/conclusions001' > <rdf:Description rdf:about='http://example.org/data#Socrates'> <rdf:type rdf:resource='http://www.w3.org/2002/03owlt/imports/support001-A#Mortal'/> </rdf:Description> </rdf:RDF>
<http://example.org/data#Socrates> rdf:type ont:Mortal .

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.
N3 format is informative.
Namespaces:
@prefix ont: <http://www.w3.org/2002/03owlt/imports/support002-A#> .
Full	Premises: `<imports/premises002>`
<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:ont='http://www.w3.org/2002/03owlt/imports/support002-A#' xml:base='http://www.w3.org/2002/03owlt/imports/premises002' > <ont:Man rdf:about='http://example.org/data#Socrates'/> </rdf:RDF>
<http://example.org/data#Socrates> rdf:type ont:Man .
Lite	Imported Premises `<imports/support002-A>`
<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/imports/support002-A' > <owl:Ontology rdf:about=''/> <owl:Class rdf:ID='Man'> <rdfs:subClassOf rdf:resource='#Mortal'/> </owl:Class> <owl:Class rdf:ID='Mortal'/> </rdf:RDF>
<imports/support002-A> rdf:type owl:Ontology . ont:Man rdf:type owl:Class . ont:Man rdfs:subClassOf ont:Mortal . ont:Mortal rdf:type owl:Class .
Full	Conclusions: `<imports/nonconclusions002>`
<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/imports/nonconclusions002' > <rdf:Description rdf:about='http://example.org/data#Socrates'> <rdf:type rdf:resource='http://www.w3.org/2002/03owlt/imports/support002-A#Mortal'/> </rdf:Description> </rdf:RDF>
<http://example.org/data#Socrates> rdf:type ont:Mortal .

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.
N3 format is informative.
Namespaces:
@prefix ont: <http://www.w3.org/2002/03owlt/imports/support003-A#> .
Full	Premises: `<imports/premises003>`
<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:ont='http://www.w3.org/2002/03owlt/imports/support003-A#' xml:base='http://www.w3.org/2002/03owlt/imports/premises003' > <rdf:Description rdf:about=''> <owl:imports rdf:resource='http://www.w3.org/2002/03owlt/imports/support003-A'/> </rdf:Description> <ont:Man rdf:about='http://example.org/data#Socrates'/> </rdf:RDF>
<imports/premises003> owl:imports <imports/support003-A> . <http://example.org/data#Socrates> rdf:type ont:Man .
Lite	Imported Premises `<imports/support003-A>`
<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/imports/support003-A' > <owl:Ontology rdf:about=''> <owl:imports rdf:resource='http://www.w3.org/2002/03owlt/imports/support003-B'/> </owl:Ontology> <owl:Class rdf:ID='Man'> <rdfs:subClassOf rdf:resource='#Person'/> </owl:Class> <owl:Class rdf:ID='Person'/> </rdf:RDF>
<imports/support003-A> rdf:type owl:Ontology . <imports/support003-A> owl:imports <imports/support003-B> . ont:Man rdf:type owl:Class . ont:Man rdfs:subClassOf ont:Person . ont:Person rdf:type owl:Class .
Lite	Imported Premises `<imports/support003-B>`
<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/imports/support003-B' > <owl:Ontology rdf:about=''/> <owl:Class rdf:about='http://www.w3.org/2002/03owlt/imports/support003-A#Person'> <rdfs:subClassOf rdf:resource='#Mortal'/> </owl:Class> <owl:Class rdf:ID='Mortal'/> </rdf:RDF>
<imports/support003-B> rdf:type owl:Ontology . ont:Person rdf:type owl:Class . ont:Person rdfs:subClassOf <imports/support003-B#Mortal> . <imports/support003-B#Mortal> rdf:type owl:Class .
Full	Conclusions: `<imports/conclusions003>`
<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/imports/conclusions003' > <rdf:Description rdf:about='http://example.org/data#Socrates'> <rdf:type rdf:resource='http://www.w3.org/2002/03owlt/imports/support003-B#Mortal'/> </rdf:Description> </rdf:RDF>
<http://example.org/data#Socrates> rdf:type <imports/support003-B#Mortal> .

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.
N3 format is informative.
Full	Imported document: `<imports/imports004>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xml:base="http://www.w3.org/2002/03owlt/imports/imports004" > <rdfs:Class rdf:ID="c" /> </rdf:RDF>
first:c rdf:type rdfs:Class .
Full	Main document: `<imports/main004>`
<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/imports/main004" > <owl:Ontology rdf:about=""> <owl:imports rdf:resource="imports004" /> </owl:Ontology> </rdf:RDF>
<imports/main004> rdf:type owl:Ontology . <imports/main004> owl:imports <imports/imports004> .

DL	Imports Level Test:		005
Description: (informative) `<imports/Manifest005#test>`
If an OWL Lite document imports an OWL DL document then it becomes OWL DL.
N3 format is informative.
DL	Imported document: `<imports/imports005>`
<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/imports/imports005" > <owl:Ontology rdf:about=""/> <owl:Class rdf:ID="c"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:ID="x"/> </owl:oneOf> </owl:Class> </rdf:RDF>
<imports/imports005> rdf:type owl:Ontology . first:c rdf:type owl:Class . first:x rdf:type owl:Thing . _:a rdf:first first:x . _:a rdf:rest rdf:nil . _:a rdf:type rdf:List . first:c owl:oneOf _:a .
DL	Main document: `<imports/main005>`
<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/imports/main005" > <owl:Ontology rdf:about=""> <owl:imports rdf:resource="imports005" /> </owl:Ontology> </rdf:RDF>
<imports/main005> rdf:type owl:Ontology . <imports/main005> owl:imports <imports/imports005> .

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.
N3 format is informative.
Lite	Imported document: `<imports/imports006>`
<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/imports/imports006" > <owl:Ontology rdf:about=""/> <owl:Class rdf:ID="c"/> </rdf:RDF>
<imports/imports006> rdf:type owl:Ontology . first:c rdf:type owl:Class .
Lite	Main document: `<imports/main006>`
<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/imports/imports006#" xml:base="http://www.w3.org/2002/03owlt/imports/main006" > <owl:Ontology rdf:about=""> <owl:imports rdf:resource="imports006"/> </owl:Ontology> <first:c rdf:ID="x"/> </rdf:RDF>
<imports/main006> rdf:type owl:Ontology . <imports/main006> owl:imports <imports/imports006> . second:x rdf:type first:c .

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.
N3 format is informative.
Lite	Imported document: `<imports/imports007>`
<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/imports/imports007" > <owl:Ontology rdf:about=""/> <owl:ObjectProperty rdf:ID="p"/> </rdf:RDF>
<imports/imports007> rdf:type owl:Ontology . first:p rdf:type owl:ObjectProperty .
Lite	Main document: `<imports/main007>`
<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/imports/imports007#" xml:base="http://www.w3.org/2002/03owlt/imports/main007" > <owl:Ontology rdf:about=""> <owl:imports rdf:resource="imports007"/> </owl:Ontology> <owl:Thing> <first:p> <owl:Thing /> </first:p> </owl:Thing> </rdf:RDF>
<imports/main007> rdf:type owl:Ontology . <imports/main007> owl:imports <imports/imports007> . _:a rdf:type owl:Thing . _:c rdf:type owl:Thing . _:a first:p _:c .

Lite	Imports Level Test:		008
Description: (informative) `<imports/Manifest008#test>`
It is often possible to import an ordinary RDFS document unchanged into an OWL Lite document. Aditional type declarations may be needed in the importing document.
N3 format is informative.
Full	Imported document: `<imports/imports008>`
<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/imports/imports008#" xmlns:second="http://www.w3.org/2002/03owlt/imports/main008#" xml:base="http://www.w3.org/2002/03owlt/imports/imports008" > <rdfs:Class rdf:ID="sub"> <rdfs:subClassOf rdf:resource="#super"/> </rdfs:Class> </rdf:RDF>
first:sub rdf:type rdfs:Class . first:sub rdfs:subClassOf first:super .
Lite	Main document: `<imports/main008>`
<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/imports/imports008#" xmlns:second="http://www.w3.org/2002/03owlt/imports/main008#" xml:base="http://www.w3.org/2002/03owlt/imports/main008" > <owl:Ontology rdf:about=""> <owl:imports> <owl:Ontology rdf:about="imports008"/> </owl:imports> </owl:Ontology> <owl:Class rdf:about="imports008#sub"/> <owl:Class rdf:about="imports008#super"/> </rdf:RDF>
<imports/main008> rdf:type owl:Ontology . <imports/imports008> rdf:type owl:Ontology . <imports/main008> owl:imports <imports/imports008> . first:sub rdf:type owl:Class . first:super rdf:type owl:Class .

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.
N3 format is informative.
Full	Premises: `<intersectionOf/premises001>`
<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/intersectionOf/premises001#" xml:base="http://www.w3.org/2002/03owlt/intersectionOf/premises001" > <rdf:Description rdf:about="premises001#B"> <owl:intersectionOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises001#Student"/> <rdf:Description rdf:about="premises001#Employee"/> </owl:intersectionOf> </rdf:Description> <rdf:Description rdf:about="premises001#C"> <owl:intersectionOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises001#Employee"/> <rdf:Description rdf:about="premises001#Student"/> </owl:intersectionOf> </rdf:Description> <first:B rdf:about="premises001#John"/> </rdf:RDF>
_:a rdf:first first:Employee . _:a rdf:rest rdf:nil . _:a rdf:type rdf:List . _:c rdf:first first:Student . _:c rdf:rest _:a . _:c rdf:type rdf:List . first:B owl:intersectionOf _:c . _:e rdf:first first:Student . _:e rdf:rest rdf:nil . _:e rdf:type rdf:List . _:g rdf:first first:Employee . _:g rdf:rest _:e . _:g rdf:type rdf:List . first:C owl:intersectionOf _:g . first:John rdf:type first:B .
Full	Conclusions: `<intersectionOf/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:first="http://www.w3.org/2002/03owlt/intersectionOf/premises001#" xml:base="http://www.w3.org/2002/03owlt/intersectionOf/conclusions001" > <first:C rdf:about="premises001#John"/> </rdf:RDF>
first:John rdf:type first:C .

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.
N3 format is informative.
Namespaces:
@prefix my: <http://example.net/myVocab#> . @prefix your: <http://example.net/yourVocab#> . @prefix eg: <http://example.net/vocab#> .
Full	Premises: `<inverseOf/premises001>`
<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#" xml:base='http://www.w3.org/2002/03owlt/inverseOf/premises001' 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:Description rdf:about="http://example.net/vocab#joe"> <my:hasBrother rdf:resource="http://example.net/vocab#bob"/> </rdf:Description> </rdf:RDF>
my:hasBrother owl:inverseOf your:isBrotherOf . eg:joe my:hasBrother eg:bob .
Full	Conclusions: `<inverseOf/conclusions001>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xml:base='http://www.w3.org/2002/03owlt/inverseOf/conclusions001' xmlns:your="http://example.net/yourVocab#"> <rdf:Description rdf:about="http://example.net/vocab#bob"> <your:isBrotherOf rdf:resource="http://example.net/vocab#joe"/> </rdf:Description> </rdf:RDF>
eg:bob your:isBrotherOf eg:joe .

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.
N3 format is informative.
Full	Inconsistent: `<maxCardinality/inconsistent001>`
<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/maxCardinality/inconsistent001#" xml:base="http://www.w3.org/2002/03owlt/maxCardinality/inconsistent001" > <rdf:Description rdf:about="inconsistent001#sb1"> <rdf:type rdf:parseType="Resource"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Restriction"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >2</owl:maxCardinality> <owl:onProperty rdf:resource="inconsistent001#prop"/> </rdf:type> <first:prop rdf:resource="inconsistent001#ob1"/> <first:prop rdf:resource="inconsistent001#ob2"/> <first:prop rdf:resource="inconsistent001#ob3"/> </rdf:Description> <rdf:Description rdf:about="inconsistent001#ob1"> <owl:differentIndividualFrom rdf:resource="inconsistent001#ob2"/> <owl:differentIndividualFrom rdf:resource="inconsistent001#ob3"/> </rdf:Description> <rdf:Description rdf:about="inconsistent001#ob2"> <owl:differentIndividualFrom rdf:resource="inconsistent001#ob3"/> </rdf:Description> <owl:ObjectProperty rdf:about="inconsistent001#prop"/> </rdf:RDF>
_:a rdf:type owl:Restriction . _:a owl:maxCardinality "2"^^xsd:nonNegativeInteger . _:a owl:onProperty first:prop . first:sb1 rdf:type _:a . first:sb1 first:prop first:ob1 . first:sb1 first:prop first:ob2 . first:sb1 first:prop first:ob3 . first:ob1 owl:differentIndividualFrom first:ob2 . first:ob1 owl:differentIndividualFrom first:ob3 . first:ob2 owl:differentIndividualFrom first:ob3 . first:prop rdf:type owl:ObjectProperty .

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.
N3 format is informative.
Full	Inconsistent: `<maxCardinality/inconsistent002>`
<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/maxCardinality/inconsistent002#" xml:base="http://www.w3.org/2002/03owlt/maxCardinality/inconsistent002" > <rdf:Description rdf:about="inconsistent002#sb1"> <rdf:type rdf:parseType="Resource"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Restriction"/> <owl:maxCardinality>2</owl:maxCardinality> <owl:onProperty rdf:resource="inconsistent002#prop"/> </rdf:type> <first:prop rdf:resource="inconsistent002#ob1"/> <first:prop rdf:resource="inconsistent002#ob2"/> <first:otherprop rdf:resource="inconsistent002#ob3"/> </rdf:Description> <rdf:Description rdf:about="inconsistent002#ob1"> <owl:differentIndividualFrom rdf:resource="inconsistent002#ob2"/> <owl:differentIndividualFrom rdf:resource="inconsistent002#ob3"/> </rdf:Description> <rdf:Description rdf:about="inconsistent002#ob2"> <owl:differentIndividualFrom rdf:resource="inconsistent002#ob3"/> </rdf:Description> <owl:ObjectProperty rdf:about="inconsistent002#prop"/> <rdf:Description rdf:about="inconsistent002#otherprop"> <rdfs:subPropertyOf rdf:resource="inconsistent002#prop"/> </rdf:Description> </rdf:RDF>
_:a rdf:type owl:Restriction . _:a owl:maxCardinality "2" . _:a owl:onProperty first:prop . first:sb1 rdf:type _:a . first:sb1 first:prop first:ob1 . first:sb1 first:prop first:ob2 . first:sb1 first:otherprop first:ob3 . first:ob1 owl:differentIndividualFrom first:ob2 . first:ob1 owl:differentIndividualFrom first:ob3 . first:ob2 owl:differentIndividualFrom first:ob3 . first:prop rdf:type owl:ObjectProperty . first:otherprop rdfs:subPropertyOf first:prop .

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.
N3 format is informative.
Full	Consistent: `<oneOf/consistent001>`
<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/oneOf/consistent001#" xml:base="http://www.w3.org/2002/03owlt/oneOf/consistent001" > <owl:Class> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:ID="amy"/> <rdf:Description rdf:ID="bob"/> <rdf:Description rdf:ID="caroline"/> </owl:oneOf> <owl:equivalentClass> <owl:Class> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:ID="yolanda"/> <rdf:Description rdf:ID="zebedee"/> </owl:oneOf> </owl:Class> </owl:equivalentClass> </owl:Class> </rdf:RDF>
_:a rdf:type owl:Class . _:c rdf:first first:caroline . _:c rdf:rest rdf:nil . _:c rdf:type rdf:List . _:e rdf:first first:bob . _:e rdf:rest _:c . _:e rdf:type rdf:List . _:g rdf:first first:amy . _:g rdf:rest _:e . _:g rdf:type rdf:List . _:a owl:oneOf _:g . _:i rdf:type owl:Class . _:k rdf:first first:zebedee . _:k rdf:rest rdf:nil . _:k rdf:type rdf:List . _:m rdf:first first:yolanda . _:m rdf:rest _:k . _:m rdf:type rdf:List . _:i owl:oneOf _:m . _:a owl:equivalentClass _:i .

Full	Positive Entailment Test:		002
Description: (informative) `<oneOf/Manifest002#test>`
`oneOf` describes a class by enumerating its individuals.
N3 format is informative.
Full	Premises: `<oneOf/premises002>`
<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/oneOf/premises002#" xmlns:second="http://www.w3.org/2002/03owlt/oneOf/conclusions002#" xml:base="http://www.w3.org/2002/03owlt/oneOf/premises002" > <rdf:Description rdf:about="premises002#TShirt"> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises002#small"/> <rdf:Description rdf:about="premises002#medium"/> <rdf:Description rdf:about="premises002#large"/> </owl:oneOf> </rdf:Description> </rdf:RDF>
_:a rdf:first first:large . _:a rdf:rest rdf:nil . _:a rdf:type rdf:List . _:c rdf:first first:medium . _:c rdf:rest _:a . _:c rdf:type rdf:List . _:e rdf:first first:small . _:e rdf:rest _:c . _:e rdf:type rdf:List . first:TShirt owl:oneOf _:e .
Full	Conclusions: `<oneOf/conclusions002>`
<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/oneOf/premises002#" xmlns:second="http://www.w3.org/2002/03owlt/oneOf/conclusions002#" xml:base="http://www.w3.org/2002/03owlt/oneOf/conclusions002" > <first:TShirt rdf:about="premises002#small"/> </rdf:RDF>
first:small rdf:type first:TShirt .

Full	Positive Entailment Test:		003
Description: (informative) `<oneOf/Manifest003#test>`
The order of the instances in an `owl:oneOf` construct is unimportant.
N3 format is informative.
Full	Premises: `<oneOf/premises003>`
<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/oneOf/premises003#" xml:base="http://www.w3.org/2002/03owlt/oneOf/premises003" > <rdf:Description rdf:about="premises003#T1"> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises003#small"/> <rdf:Description rdf:about="premises003#medium"/> <rdf:Description rdf:about="premises003#large"/> </owl:oneOf> </rdf:Description> <rdf:Description rdf:about="premises003#T2"> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises003#large"/> <rdf:Description rdf:about="premises003#medium"/> <rdf:Description rdf:about="premises003#small"/> </owl:oneOf> </rdf:Description> <first:T1 rdf:about="premises003#myT"/> </rdf:RDF>
_:a rdf:first first:large . _:a rdf:rest rdf:nil . _:a rdf:type rdf:List . _:c rdf:first first:medium . _:c rdf:rest _:a . _:c rdf:type rdf:List . _:e rdf:first first:small . _:e rdf:rest _:c . _:e rdf:type rdf:List . first:T1 owl:oneOf _:e . _:g rdf:first first:small . _:g rdf:rest rdf:nil . _:g rdf:type rdf:List . _:i rdf:first first:medium . _:i rdf:rest _:g . _:i rdf:type rdf:List . _:k rdf:first first:large . _:k rdf:rest _:i . _:k rdf:type rdf:List . first:T2 owl:oneOf _:k . first:myT rdf:type first:T1 .
Full	Conclusions: `<oneOf/conclusions003>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:first="http://www.w3.org/2002/03owlt/oneOf/premises003#" xml:base="http://www.w3.org/2002/03owlt/oneOf/conclusions003" > <first:T2 rdf:about="premises003#myT"/> </rdf:RDF>
first:myT rdf:type first:T2 .

7.1.20. `owl:someValuesFrom`

Full	Negative Entailment Test:		002
Description: (informative) `<someValuesFrom/Manifest002#test>`
A simple example showing how `owl:someValuesFrom` differs from `owl:allValuesFrom`.
N3 format is informative.
Full	Premises: `<someValuesFrom/premises002>`
<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/someValuesFrom/premises002#" xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/premises002" > <owl:Class rdf:ID="r"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:someValuesFrom rdf:resource="#c"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> <owl:Class rdf:ID="c"/> <first:r rdf:ID="i"> <first:p rdf:resource="#o"/> </first:r> </rdf:RDF>
first:r rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:someValuesFrom first:c . first:r rdfs:subClassOf _:a . first:p rdf:type owl:ObjectProperty . first:c rdf:type owl:Class . first:i rdf:type first:r . first:i first:p first:o .
Full	Conclusions: `<someValuesFrom/nonconclusions002>`
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises002#" xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/nonconclusions002" > <first:c rdf:about="premises001#o"/> </rdf:RDF>
<someValuesFrom/premises001#o> rdf:type first:c .

7.1.21. `owl:unionOf`

Full	Positive Entailment Test:		001
Description: (informative) `<unionOf/Manifest001#test>`
A union is a superclass of its parts.
N3 format is informative.
Full	Premises: `<unionOf/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/unionOf/premises001#" xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions001#" xml:base="http://www.w3.org/2002/03owlt/unionOf/premises001" > <rdf:Description rdf:about="premises001#A"> <owl:unionOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises001#Human"/> <rdf:Description rdf:about="premises001#Animal"/> </owl:unionOf> </rdf:Description> <first:Human rdf:about="premises001#John"/> </rdf:RDF>
_:a rdf:first first:Animal . _:a rdf:rest rdf:nil . _:a rdf:type rdf:List . _:c rdf:first first:Human . _:c rdf:rest _:a . _:c rdf:type rdf:List . first:A owl:unionOf _:c . first:John rdf:type first:Human .
Full	Conclusions: `<unionOf/conclusions001>`
<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/unionOf/premises001#" xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions001#" xml:base="http://www.w3.org/2002/03owlt/unionOf/conclusions001" > <first:A rdf:about="premises001#John"/> </rdf:RDF>
first:John rdf:type first:A .

Full	Positive Entailment Test:		002
Description: (informative) `<unionOf/Manifest002#test>`
A union behaves quite like set theoretic union.
N3 format is informative.
Full	Premises: `<unionOf/premises002>`
<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/unionOf/premises002#" xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions002#" xml:base="http://www.w3.org/2002/03owlt/unionOf/premises002" > <rdf:Description rdf:about="premises002#A"> <owl:unionOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises002#Human"/> <rdf:Description rdf:about="premises002#Animal"/> </owl:unionOf> </rdf:Description> <rdf:Description rdf:about="premises002#B"> <owl:unionOf rdf:parseType="Collection"> <rdf:Description rdf:about="premises002#Animal"/> <rdf:Description rdf:about="premises002#Human"/> <rdf:Description rdf:about="premises002#Stone"/> </owl:unionOf> </rdf:Description> <first:A rdf:about="premises002#John"/> </rdf:RDF>
_:a rdf:first first:Animal . _:a rdf:rest rdf:nil . _:a rdf:type rdf:List . _:c rdf:first first:Human . _:c rdf:rest _:a . _:c rdf:type rdf:List . first:A owl:unionOf _:c . _:e rdf:first first:Stone . _:e rdf:rest rdf:nil . _:e rdf:type rdf:List . _:g rdf:first first:Human . _:g rdf:rest _:e . _:g rdf:type rdf:List . _:i rdf:first first:Animal . _:i rdf:rest _:g . _:i rdf:type rdf:List . first:B owl:unionOf _:i . first:John rdf:type first:A .
Full	Conclusions: `<unionOf/conclusions002>`
<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/unionOf/premises002#" xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions002#" xml:base="http://www.w3.org/2002/03owlt/unionOf/conclusions002" > <first:B rdf:about="premises002#John"/> </rdf:RDF>
first:John rdf:type first:B .

next top contents index