next top contents index

OWL Web Ontology Language
Test Cases
7.1. By Function

Copyright © 2004 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 . _:e rdf:first first:Barney . _:e rdf:rest _:c . _:g rdf:first first:Wilma . _:g rdf:rest _:e . _:i rdf:first first:Fred . _:i rdf:rest _:g . _: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:AnnotationProperty`

Lite	Negative Entailment Test:		001
Description: (informative) `<AnnotationProperty/Manifest001#test>`
The semantics of annotations in the direct semantics strictly distinguishes class valued annotations from individual valued annotations.
N3 format is informative.
Lite	Premises: `<AnnotationProperty/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/AnnotationProperty/premises001#" xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/premises001" > <owl:Class rdf:ID="A"> <first:ap> <owl:Class rdf:ID="B"/> </first:ap> </owl:Class> <owl:AnnotationProperty rdf:ID="ap"/> </rdf:RDF>
first:A rdf:type owl:Class . first:B rdf:type owl:Class . first:A first:ap first:B . first:ap rdf:type owl:AnnotationProperty .
Lite	Conclusions: `<AnnotationProperty/nonconclusions001>`
<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/AnnotationProperty/premises001#" xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/nonconclusions001" > <owl:Class rdf:about="premises001#A"> <first:ap> <owl:Thing /> </first:ap> </owl:Class> <owl:AnnotationProperty rdf:about="premises001#ap"/> </rdf:RDF>
first:A rdf:type owl:Class . _:a rdf:type owl:Thing . first:A first:ap _:a . first:ap rdf:type owl:AnnotationProperty .

Full	Positive Entailment Test:		002
Description: (informative) `<AnnotationProperty/Manifest002#test>`
Under the rdfs compatible semantics, the previous non-entailment is, in fact, an entailment.
N3 format is informative.
Lite	Premises: `<AnnotationProperty/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/AnnotationProperty/premises002#" xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/premises002" > <owl:Class rdf:ID="A"> <first:ap> <owl:Class rdf:ID="B"/> </first:ap> </owl:Class> <owl:AnnotationProperty rdf:ID="ap"/> </rdf:RDF>
first:A rdf:type owl:Class . first:B rdf:type owl:Class . first:A first:ap first:B . first:ap rdf:type owl:AnnotationProperty .
Lite	Conclusions: `<AnnotationProperty/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/AnnotationProperty/premises002#" xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/conclusions002" > <owl:Class rdf:about="premises002#A"> <first:ap> <owl:Thing /> </first:ap> </owl:Class> <owl:AnnotationProperty rdf:about="premises002#ap"/> </rdf:RDF>
first:A rdf:type owl:Class . _:a rdf:type owl:Thing . first:A first:ap _:a . first:ap rdf:type owl:AnnotationProperty .

Full (EC)	Consistent document.		003
Description: (informative) `<AnnotationProperty/Manifest003#test>`
URI references used in annotations don't need to be typed.
N3 format is informative.
Lite	Consistent: `<AnnotationProperty/consistent003>`
<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/AnnotationProperty/consistent003#" xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/consistent003" > <owl:AnnotationProperty rdf:ID="ap"/> <owl:Class rdf:ID="A"> <first:ap> <rdf:Description rdf:ID="B"/> </first:ap> </owl:Class> </rdf:RDF>
first:ap rdf:type owl:AnnotationProperty . first:A rdf:type owl:Class . first:A first:ap first:B .

Full (EC)	Consistent document.		004
Description: (informative) `<AnnotationProperty/Manifest004#test>`
AnnotationProperty's in OWL Lite and OWL DL, may not have range constraints.
N3 format is informative.
Full	Consistent: `<AnnotationProperty/consistent004>`
<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/AnnotationProperty/consistent004" > <owl:AnnotationProperty rdf:ID="ap"> <rdfs:range rdf:resource= "http://www.w3.org/2001/XMLSchema#string"/> </owl:AnnotationProperty> </rdf:RDF>
first:ap rdf:type owl:AnnotationProperty . first:ap rdfs:range xsd:string .

7.1.3. `owl:Class`

Full	OWL described in OWL.		001
Description: (informative) `<Class/Manifest001#test>`
In OWL Full every rdfs:Class is an owl:Class, in particular rdfs:Class is an owl:Class.
N3 format is informative.
Full	True: `<Class/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/Class/conclusions001" > <owl:Class rdf:about="http://www.w3.org/2000/01/rdf-schema#Class"> <owl:equivalentClass> <rdfs:Class rdf:about="http://www.w3.org/2002/07/owl#Class"/> </owl:equivalentClass> </owl:Class> </rdf:RDF>
rdfs:Class rdf:type owl:Class . owl:Class rdf:type rdfs:Class . rdfs:Class owl:equivalentClass owl:Class .

Full	Positive Entailment Test:		002
Description: (informative) `<Class/Manifest002#test>`
In OWL Full, the triple in the premises is synonymous with the triple in the conclusions.
N3 format is informative.
Full	Premises: `<Class/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#" xml:base="http://www.w3.org/2002/03owlt/Class/premises002" > <rdfs:Class rdf:ID="ex"/> </rdf:RDF>
first:ex rdf:type rdfs:Class .
Lite	Conclusions: `<Class/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/Class/conclusions002" > <owl:Class rdf:about="premises002#ex"/> </rdf:RDF>
first:ex rdf:type owl:Class .

Full	Positive Entailment Test:		003
Description: (informative) `<Class/Manifest003#test>`
In OWL Full, the triple in the premises is synonymous with the triple in the conclusions.
N3 format is informative.
Lite	Premises: `<Class/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/Class/premises003" > <owl:Class rdf:ID="ex"/> </rdf:RDF>
first:ex rdf:type owl:Class .
Full	Conclusions: `<Class/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#" xml:base="http://www.w3.org/2002/03owlt/Class/conclusions003" > <rdfs:Class rdf:about="premises003#ex"/> </rdf:RDF>
first:ex rdf:type rdfs:Class .

Full (EC)	Negative Entailment Test:		004
Description: (informative) `<Class/Manifest004#test>`
Annotations about owl:Class are not related to those about rdfs:Class.
N3 format is informative.
Namespaces:
@prefix dc: <http://purl.org/dc/elements/1.0/> .
Full	Premises: `<Class/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:first="http://www.w3.org/2002/03owlt/Class/premises004#" xmlns:dc='http://purl.org/dc/elements/1.0/' xml:base="http://www.w3.org/2002/03owlt/Class/premises004" > <owl:Class rdf:ID="WorkingGroup"/> <owl:Class rdf:about="http://www.w3.org/2000/01/rdf-schema#Class"> <dc:creator> <first:WorkingGroup rdf:about="http://www.w3.org/RDF/Group/Schema/members" /> </dc:creator> </owl:Class> </rdf:RDF>
first:WorkingGroup rdf:type owl:Class . rdfs:Class rdf:type owl:Class . <http://www.w3.org/RDF/Group/Schema/members> rdf:type first:WorkingGroup . rdfs:Class dc:creator <http://www.w3.org/RDF/Group/Schema/members> .
Full	Conclusions: `<Class/nonconclusions004>`
<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/Class/premises004#" xmlns:dc='http://purl.org/dc/elements/1.0/' xml:base="http://www.w3.org/2002/03owlt/Class/nonconclusions004" > <owl:Class rdf:about="premises004#WorkingGroup"/> <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Class"> <dc:creator> <first:WorkingGroup /> </dc:creator> </owl:Class> </rdf:RDF>
first:WorkingGroup rdf:type owl:Class . owl:Class rdf:type owl:Class . _:a rdf:type first:WorkingGroup . owl:Class dc:creator _:a .

DL Full	Negative Entailment Test:		005
Description: (informative) `<Class/Manifest005#test>`
This test shows a potential misapplication of OWL Full comprehension rules. It also shows optional type triples on an `owl:Class`.
N3 format is informative.
Lite	Premises: `<Class/premises005>`
<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/Class/premises005" > <owl:Thing rdf:ID="x"/> </rdf:RDF>
first:x rdf:type owl:Thing .
DL	Conclusions: `<Class/nonconclusions005>`
<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/Class/nonconclusions005" > <owl:Class rdf:ID="c"/> <rdf:Description rdf:about="premises005#x"> <rdf:type> <rdf:Description> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/> <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> <owl:unionOf rdf:parseType="Collection"> <rdf:Description rdf:about="#c" /> <owl:Class> <owl:complementOf rdf:resource="#c"/> </owl:Class> </owl:unionOf> </rdf:Description> </rdf:type> </rdf:Description> </rdf:RDF>
second:c rdf:type owl:Class . _:a rdf:type owl:Class . _:a rdf:type rdfs:Class . _:c rdf:type owl:Class . _:c owl:complementOf second:c . _:e rdf:first _:c . _:e rdf:rest rdf:nil . _:g rdf:first second:c . _:g rdf:rest _:e . _:a owl:unionOf _:g . first:x rdf:type _:a .

Full	Positive Entailment Test:		006
Description: (informative) `<Class/Manifest006#test>`
This test shows a correct application of OWL Full comprehension rules. It also shows that use of `rdfs:Class` instead of `owl:Class` may make a file fall outside OWL DL.
N3 format is informative.
Lite	Premises: `<Class/premises006>`
<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/Class/premises006" > <owl:Thing rdf:ID="x"/> <owl:Class rdf:ID="c"/> </rdf:RDF>
first:x rdf:type owl:Thing . first:c rdf:type owl:Class .
Full	Conclusions: `<Class/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/Class/conclusions006" > <rdf:Description rdf:about="premises006#x"> <rdf:type> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="premises006#c" /> <rdfs:Class> <owl:complementOf rdf:resource="premises006#c"/> </rdfs:Class> </owl:unionOf> </owl:Class> </rdf:type> </rdf:Description> </rdf:RDF>
_:a rdf:type owl:Class . first:c rdf:type owl:Class . _:c rdf:type rdfs:Class . _:c owl:complementOf first:c . _:e rdf:first _:c . _:e rdf:rest rdf:nil . _:g rdf:first first:c . _:g rdf:rest _:e . _:a owl:unionOf _:g . first:x rdf:type _:a .

7.1.4. `owl:DatatypeProperty`

Full (EC)	Consistent document.		001
Description: (informative) `<DatatypeProperty/Manifest001#test>`
DatatypeProperty's may be used to related typed literals to typed literals, in OWL Full.
N3 format is informative.
Full	Consistent: `<DatatypeProperty/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/DatatypeProperty/consistent001#" xml:base="http://www.w3.org/2002/03owlt/DatatypeProperty/consistent001" > <owl:DatatypeProperty rdf:ID="convertedAbsoluteValue"> <rdfs:domain rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/> <rdfs:range rdf:resource= "http://www.w3.org/2001/XMLSchema#nonNegativeInteger" /> </owl:DatatypeProperty> <rdf:Description> <owl:sameAs rdf:datatype= "http://www.w3.org/2001/XMLSchema#integer" >-3</owl:sameAs> <first:convertedAbsoluteValue rdf:datatype= "http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >3</first:convertedAbsoluteValue> </rdf:Description> </rdf:RDF>
first:convertedAbsoluteValue rdf:type owl:DatatypeProperty . first:convertedAbsoluteValue rdfs:domain xsd:integer . first:convertedAbsoluteValue rdfs:range xsd:nonNegativeInteger . _:a owl:sameAs "-3"^^xsd:integer . _:a first:convertedAbsoluteValue "3"^^xsd:nonNegativeInteger .

7.1.5. `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:sameAs rdf:resource="premises001#object2" /> </rdf:Description> </rdf:RDF>
first:object1 owl:sameAs 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 . 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 .

Full	Positive Entailment Test:		005
Description: (informative) `<FunctionalProperty/Manifest005#test>`
If prop belongs to `owl:FunctionalProperty` then an OWL individual has at most one value for prop.
N3 format is informative.
Namespaces:
@prefix eg: <http://www.example.org/> .
Full	Premises: `<FunctionalProperty/premises005>`
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises005" 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/"> <owl:FunctionalProperty rdf:about="http://www.example.org/foo#prop" /> <owl:Thing rdf:about="http://www.example.org/foo#object" /> </rdf:RDF>
eg:foo#prop rdf:type owl:FunctionalProperty . eg:foo#object rdf:type owl:Thing .
Full	Conclusions: `<FunctionalProperty/conclusions005>`
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions005" 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/"> <owl:Thing rdf:about="http://www.example.org/foo#object"> <rdf:type> <owl:Restriction> <owl:onProperty> <owl:FunctionalProperty rdf:about="http://www.example.org/foo#prop" /> </owl:onProperty> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:maxCardinality> </owl:Restriction> </rdf:type> </owl:Thing> </rdf:RDF>
eg:foo#object rdf:type owl:Thing . _:a rdf:type owl:Restriction . eg:foo#prop rdf:type owl:FunctionalProperty . _:a owl:onProperty eg:foo#prop . _:a owl:maxCardinality "1"^^xsd:nonNegativeInteger . eg:foo#object rdf:type _:a .

7.1.6. `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:sameAs rdf:resource="premises001#subject2" /> </rdf:Description> </rdf:RDF>
first:subject1 owl:sameAs 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 . 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.7. `owl:Nothing`

Lite Full	Inconsistent document.		001
Description: (informative) `<Nothing/Manifest001#test>`
The triple asserts something of type `owl:Nothing`, however that is the empty class.
N3 format is informative.
Lite	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#" xml:base="http://www.w3.org/2002/03owlt/Nothing/inconsistent001" > <owl:Nothing/> </rdf:RDF>
_:a rdf:type owl:Nothing .

DL Full	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.8. `owl:Ontology`

Lite Full	Positive Entailment Test:		001
Description: (informative) `<Ontology/Manifest001#test>`
This is a variation of equivalentClass-001, showing the use of `owl:Ontology` triples in the premises and conclusions.
N3 format is informative.
Lite	Premises: `<Ontology/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/Ontology/premises001#" xml:base="http://www.w3.org/2002/03owlt/Ontology/premises001" > <owl:Ontology rdf:about="" /> <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>
<Ontology/premises001> rdf:type owl:Ontology . 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: `<Ontology/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/Ontology/premises001#" xml:base="http://www.w3.org/2002/03owlt/Ontology/conclusions001" > <owl:Ontology /> <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>
_:a rdf:type owl:Ontology . 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 Full	Negative Entailment Test:		003
Description: (informative) `<Ontology/Manifest003#test>`
This is a variation of equivalentClass-001, showing the use of `owl:Ontology` triple only in the conclusions.
N3 format is informative.
Lite	Premises: `<Ontology/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:first="http://www.w3.org/2002/03owlt/Ontology/premises003#" xml:base="http://www.w3.org/2002/03owlt/Ontology/premises003" > <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: `<Ontology/nonconclusions003>`
<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/Ontology/premises003#" xml:base="http://www.w3.org/2002/03owlt/Ontology/nonconclusions003" > <owl:Ontology /> <first:Car rdf:about="premises003#auto"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Car> <first:Automobile rdf:about="premises003#car"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Automobile> <owl:Class rdf:about="premises003#Car"/> <owl:Class rdf:about="premises003#Automobile"/> </rdf:RDF>
_:a rdf:type owl:Ontology . 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 Full	Positive Entailment Test:		004
Description: (informative) `<Ontology/Manifest004#test>`
This is a variation of equivalentClass-001, showing the use of two `owl:Ontology` triples in the premises.
N3 format is informative.
Lite	Premises: `<Ontology/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#" xmlns:first="http://www.w3.org/2002/03owlt/Ontology/premises004#" xml:base="http://www.w3.org/2002/03owlt/Ontology/premises004" > <owl:Ontology rdf:about="" /> <owl:Ontology rdf:about="http://www.example.org/" /> <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>
<Ontology/premises004> rdf:type owl:Ontology . <http://www.example.org/> rdf:type owl:Ontology . 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: `<Ontology/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#" xmlns:first="http://www.w3.org/2002/03owlt/Ontology/premises004#" xml:base="http://www.w3.org/2002/03owlt/Ontology/conclusions004" > <first:Car rdf:about="premises004#auto"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Car> <first:Automobile rdf:about="premises004#car"> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </first:Automobile> <owl:Class rdf:about="premises004#Car"/> <owl:Class rdf:about="premises004#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 .

7.1.9. `owl:Restriction`

Lite Full	Inconsistent document.		001
Description: (informative) `<Restriction/Manifest001#test>`
This test shows the syntax for using the same restriction twice in OWL Lite.
N3 format is informative.
Lite	Inconsistent: `<Restriction/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/Restriction/inconsistent001#" xml:base="http://www.w3.org/2002/03owlt/Restriction/inconsistent001" > <owl:ObjectProperty rdf:ID="op"/> <rdf:Description rdf:ID="a"> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="#op"/> <owl:someValuesFrom rdf:resource= "http://www.w3.org/2002/07/owl#Nothing" /> </owl:Restriction> </rdf:type> </rdf:Description> <rdf:Description rdf:ID="b"> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="#op"/> <owl:someValuesFrom rdf:resource= "http://www.w3.org/2002/07/owl#Nothing" /> </owl:Restriction> </rdf:type> </rdf:Description> </rdf:RDF>
first:op rdf:type owl:ObjectProperty . _:a rdf:type owl:Restriction . _:a owl:onProperty first:op . _:a owl:someValuesFrom owl:Nothing . first:a rdf:type _:a . _:c rdf:type owl:Restriction . _:c owl:onProperty first:op . _:c owl:someValuesFrom owl:Nothing . first:b rdf:type _:c .

Full	Inconsistent document.		002
Description: (informative) `<Restriction/Manifest002#test>`
This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice.
N3 format is informative.
Full	Inconsistent: `<Restriction/inconsistent002>`
<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/Restriction/inconsistent002" > <owl:ObjectProperty rdf:ID="op"/> <rdf:Description rdf:ID="a"> <rdf:type> <owl:Restriction rdf:nodeID="r"> <owl:onProperty rdf:resource="#op"/> <owl:someValuesFrom rdf:resource= "http://www.w3.org/2002/07/owl#Nothing" /> </owl:Restriction> </rdf:type> </rdf:Description> <rdf:Description rdf:ID="b"> <rdf:type rdf:nodeID="r"/> </rdf:Description> </rdf:RDF>
first:op rdf:type owl:ObjectProperty . _:a rdf:type owl:Restriction . _:a owl:onProperty first:op . _:a owl:someValuesFrom owl:Nothing . first:a rdf:type _:a . first:b rdf:type _:a .

Full (EC)	Consistent document.		003
Description: (informative) `<Restriction/Manifest003#test>`
This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice.
Datatypes that may or may not be supported:		xsd:byte,
N3 format is informative.
Full	Consistent: `<Restriction/consistent003>`
<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/Restriction/consistent003#" xml:base="http://www.w3.org/2002/03owlt/Restriction/consistent003" > <owl:DatatypeProperty rdf:ID="dp"/> <owl:Class rdf:ID="C"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="superC"/> <owl:Restriction rdf:nodeID="r"> <owl:onProperty rdf:resource="#dp"/> <owl:someValuesFrom rdf:resource= "http://www.w3.org/2001/XMLSchema#byte" /> </owl:Restriction> </owl:intersectionOf> </owl:Class> <owl:Class rdf:ID="D"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="superD"/> <rdf:Description rdf:nodeID="r"/> </owl:intersectionOf> </owl:Class> </rdf:RDF>
first:dp rdf:type owl:DatatypeProperty . first:C rdf:type owl:Class . first:superC rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:dp . _:a owl:someValuesFrom xsd:byte . _:c rdf:first _:a . _:c rdf:rest rdf:nil . _:e rdf:first first:superC . _:e rdf:rest _:c . first:C owl:intersectionOf _:e . first:D rdf:type owl:Class . first:superD rdf:type owl:Class . _:g rdf:first _:a . _:g rdf:rest rdf:nil . _:i rdf:first first:superD . _:i rdf:rest _:g . first:D owl:intersectionOf _:i .

Lite Full	Consistent document.		004
Description: (informative) `<Restriction/Manifest004#test>`
This test shows OWL Lite syntax for using two equivalent restrictions.
Datatypes that may or may not be supported:		xsd:byte,
N3 format is informative.
Lite	Consistent: `<Restriction/consistent004>`
<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/Restriction/consistent004" > <owl:DatatypeProperty rdf:ID="dp"/> <owl:Class rdf:ID="C"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="superC"/> <owl:Restriction> <owl:onProperty rdf:resource="#dp"/> <owl:someValuesFrom rdf:resource= "http://www.w3.org/2001/XMLSchema#byte" /> </owl:Restriction> </owl:intersectionOf> </owl:Class> <owl:Class rdf:ID="D"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="superD"/> <owl:Restriction> <owl:onProperty rdf:resource="#dp"/> <owl:someValuesFrom rdf:resource= "http://www.w3.org/2001/XMLSchema#byte" /> </owl:Restriction> </owl:intersectionOf> </owl:Class> </rdf:RDF>
first:dp rdf:type owl:DatatypeProperty . first:C rdf:type owl:Class . first:superC rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:dp . _:a owl:someValuesFrom xsd:byte . _:c rdf:first _:a . _:c rdf:rest rdf:nil . _:e rdf:first first:superC . _:e rdf:rest _:c . first:C owl:intersectionOf _:e . first:D rdf:type owl:Class . first:superD rdf:type owl:Class . _:g rdf:type owl:Restriction . _:g owl:onProperty first:dp . _:g owl:someValuesFrom xsd:byte . _:i rdf:first _:g . _:i rdf:rest rdf:nil . _:k rdf:first first:superD . _:k rdf:rest _:i . first:D owl:intersectionOf _:k .

Lite Full	Negative Entailment Test:		005
Description: (informative) `<Restriction/Manifest005#test>`
This test shows a potential misapplication of OWL Full comprehension rules. It also shows optional type triples on an `owl:Restriction`.
N3 format is informative.
Lite	Premises: `<Restriction/premises005>`
<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/Restriction/premises005" > <owl:Thing rdf:ID="x"> <rdf:type> <owl:Restriction> <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> <owl:onProperty> <owl:ObjectProperty rdf:about="premises005#p" /> </owl:onProperty> <owl:maxCardinality rdf:datatype= "http://www.w3.org/2001/XMLSchema#int" >0</owl:maxCardinality> </owl:Restriction> </rdf:type> </owl:Thing> <owl:ObjectProperty rdf:ID="p" /> </rdf:RDF>
first:x rdf:type owl:Thing . _:a rdf:type owl:Restriction . _:a rdf:type rdfs:Class . first:p rdf:type owl:ObjectProperty . _:a owl:onProperty first:p . _:a owl:maxCardinality "0"^^xsd:int . first:x rdf:type _:a . first:p rdf:type owl:ObjectProperty .
Lite	Conclusions: `<Restriction/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#" xmlns:first="http://www.w3.org/2002/03owlt/Restriction/premises005#" xmlns:second="http://www.w3.org/2002/03owlt/Restriction/nonconclusions005#" xml:base="http://www.w3.org/2002/03owlt/Restriction/nonconclusions005" > <rdf:Description rdf:about="premises005#x"> <rdf:type> <owl:Restriction> <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/> <owl:onProperty> <owl:ObjectProperty rdf:about="premises005#p" /> </owl:onProperty> <owl:allValuesFrom> <owl:Class rdf:ID="c"> <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </rdf:type> </rdf:Description> </rdf:RDF>
_:a rdf:type owl:Restriction . _:a rdf:type rdfs:Class . _:a rdf:type owl:Class . first:p rdf:type owl:ObjectProperty . _:a owl:onProperty first:p . second:c rdf:type owl:Class . second:c rdf:type rdfs:Class . _:a owl:allValuesFrom second:c . first:x rdf:type _:a .

Full	Positive Entailment Test:		006
Description: (informative) `<Restriction/Manifest006#test>`
This test shows a correct application of OWL Full comprehension rules. It also shows that optional type triples on an `owl:Restriction` do not replace the obligatory ones.
N3 format is informative.
Lite	Premises: `<Restriction/premises006>`
<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/Restriction/premises006" > <owl:Thing rdf:ID="x"/> <owl:ObjectProperty rdf:ID="p" /> </rdf:RDF>
first:x rdf:type owl:Thing . first:p rdf:type owl:ObjectProperty .
Full	Conclusions: `<Restriction/conclusions006>`
<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/Restriction/conclusions006" > <rdf:Description rdf:about="premises006#x"> <rdf:type> <rdf:Description> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/> <owl:unionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:about="premises006#p" /> </owl:onProperty> <owl:someValuesFrom rdf:resource="http://www.w3.org/2002/07/owl#Thing" /> </owl:Restriction> <owl:Class> <owl:onProperty> <owl:ObjectProperty rdf:about="premises006#p" /> </owl:onProperty> <owl:maxCardinality rdf:datatype= "http://www.w3.org/2001/XMLSchema#int" >0</owl:maxCardinality> </owl:Class> </owl:unionOf> </rdf:Description> </rdf:type> </rdf:Description> </rdf:RDF>
_:a rdf:type owl:Class . _:c rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:c owl:onProperty first:p . _:c owl:someValuesFrom owl:Thing . _:e rdf:type owl:Class . first:p rdf:type owl:ObjectProperty . _:e owl:onProperty first:p . _:e owl:maxCardinality "0"^^xsd:int . _:g rdf:first _:e . _:g rdf:rest rdf:nil . _:i rdf:first _:c . _:i rdf:rest _:g . _:a owl:unionOf _:i . first:x rdf:type _:a .

7.1.10. `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 .

DL Full	Positive Entailment Test:		002
Description: (informative) `<SymmetricProperty/Manifest002#test>`
Test illustrating extensional semantics of `owl:SymmetricProperty`.
N3 format is informative.
DL	Premises: `<SymmetricProperty/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/SymmetricProperty/premises002#" xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/premises002" > <owl:InverseFunctionalProperty rdf:about="#equalityOnA"> <rdfs:range> <owl:Class rdf:ID="A"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:ID="a"/> <owl:Thing rdf:ID="b"/> </owl:oneOf> </owl:Class> </rdfs:range> </owl:InverseFunctionalProperty> <owl:Thing rdf:about="#a"> <first:equalityOnA rdf:resource="#a"/> </owl:Thing> <owl:Thing rdf:about="#b"> <first:equalityOnA rdf:resource="#b"/> </owl:Thing> <owl:Thing rdf:ID="c"/> </rdf:RDF>
first:equalityOnA rdf:type owl:InverseFunctionalProperty . first:A rdf:type owl:Class . first:a rdf:type owl:Thing . first:b rdf:type owl:Thing . _:a rdf:first first:b . _:a rdf:rest rdf:nil . _:c rdf:first first:a . _:c rdf:rest _:a . first:A owl:oneOf _:c . first:equalityOnA rdfs:range first:A . first:a rdf:type owl:Thing . first:a first:equalityOnA first:a . first:b rdf:type owl:Thing . first:b first:equalityOnA first:b . first:c rdf:type owl:Thing .
DL	Conclusions: `<SymmetricProperty/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/SymmetricProperty/premises002#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions002" > <owl:SymmetricProperty rdf:about="premises002#equalityOnA"> <rdfs:domain> <owl:Class> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:about="premises002#a"/> <owl:Thing rdf:about="premises002#b"/> <owl:Thing rdf:about="premises002#c"/> </owl:oneOf> </owl:Class> </rdfs:domain> </owl:SymmetricProperty> <owl:Thing rdf:about="premises002#a"> <first:equalityOnA rdf:resource="premises002#a"/> </owl:Thing> </rdf:RDF>
first:equalityOnA rdf:type owl:SymmetricProperty . _:a rdf:type owl:Class . first:a rdf:type owl:Thing . first:b rdf:type owl:Thing . first:c rdf:type owl:Thing . _:c rdf:first first:c . _:c rdf:rest rdf:nil . _:e rdf:first first:b . _:e rdf:rest _:c . _:g rdf:first first:a . _:g rdf:rest _:e . _:a owl:oneOf _:g . first:equalityOnA rdfs:domain _:a . first:a rdf:type owl:Thing . first:a first:equalityOnA first:a .

Lite Full	Positive Entailment Test:		003
Description: (informative) `<SymmetricProperty/Manifest003#test>`
A Lite version of test 001.
N3 format is informative.
Lite	Premises: `<SymmetricProperty/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/SymmetricProperty/premises003#" xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/premises003" > <owl:Thing rdf:about="premises003#Ghent"> <first:path> <owl:Thing rdf:about="premises003#Antwerp"/> </first:path> </owl:Thing> <owl:SymmetricProperty rdf:about="premises003#path"/> </rdf:RDF>
first:Ghent rdf:type owl:Thing . first:Antwerp rdf:type owl:Thing . first:Ghent first:path first:Antwerp . first:path rdf:type owl:SymmetricProperty .
Lite	Conclusions: `<SymmetricProperty/conclusions003>`
<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/SymmetricProperty/premises003#" xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions003" > <owl:Thing rdf:about="premises003#Antwerp"> <first:path> <owl:Thing rdf:about="premises003#Ghent"/> </first:path> </owl:Thing> <owl:ObjectProperty rdf:about="premises003#path"/> </rdf:RDF>
first:Antwerp rdf:type owl:Thing . first:Ghent rdf:type owl:Thing . first:Antwerp first:path first:Ghent . first:path rdf:type owl:ObjectProperty .

7.1.11. `owl:Thing`

Lite Full	Inconsistent document.		003
Description: (informative) `<Thing/Manifest003#test>`
The extension of OWL Thing may not be empty.
N3 format is informative.
Lite	Inconsistent: `<Thing/inconsistent003>`
<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/Thing/inconsistent003" > <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"> <owl:equivalentClass rdf:resource ="http://www.w3.org/2002/07/owl#Nothing"/> </owl:Class> </rdf:RDF>
owl:Thing rdf:type owl:Class . owl:Thing owl:equivalentClass owl:Nothing .

DL	Consistent document.		004
Description: (informative) `<Thing/Manifest004#test>`
The extension of OWL Thing may be a singleton in OWL DL.
N3 format is informative.
DL	Consistent: `<Thing/consistent004>`
<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/Thing/consistent004" > <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:about="#s"/> </owl:oneOf> </owl:Class> </rdf:RDF>
owl:Thing rdf:type owl:Class . first:s rdf:type owl:Thing . _:a rdf:first first:s . _:a rdf:rest rdf:nil . owl:Thing owl:oneOf _:a .

Full	Inconsistent document.		005
Description: (informative) `<Thing/Manifest005#test>`
The extension of OWL Thing may not be a singleton in OWL Full.
N3 format is informative.
Full	Inconsistent: `<Thing/inconsistent005>`
<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/Thing/inconsistent005" > <rdf:Description rdf:about="http://www.w3.org/2002/07/owl#Thing"> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:about="#s"/> </owl:oneOf> </rdf:Description> </rdf:RDF>
_:a rdf:first first:s . _:a rdf:rest rdf:nil . owl:Thing owl:oneOf _:a .

7.1.12. `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 .

DL Full	Positive Entailment Test:		002
Description: (informative) `<TransitiveProperty/Manifest002#test>`
Test illustrating extensional semantics of `owl:TransitiveProperty`.
N3 format is informative.
DL	Premises: `<TransitiveProperty/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/TransitiveProperty/premises002#" xmlns:second="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions002#" xml:base="http://www.w3.org/2002/03owlt/TransitiveProperty/premises002" > <owl:SymmetricProperty rdf:ID="symProp"> <rdfs:range> <owl:Class> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:ID="a"/> <owl:Thing rdf:ID="b"/> </owl:oneOf> </owl:Class> </rdfs:range> </owl:SymmetricProperty> <owl:Thing rdf:about="#a"> <first:symProp rdf:resource="#a"/> </owl:Thing> <owl:Thing rdf:about="#b"> <first:symProp rdf:resource="#b"/> </owl:Thing> </rdf:RDF>
first:symProp rdf:type owl:SymmetricProperty . _:a rdf:type owl:Class . first:a rdf:type owl:Thing . first:b rdf:type owl:Thing . _:c rdf:first first:b . _:c rdf:rest rdf:nil . _:e rdf:first first:a . _:e rdf:rest _:c . _:a owl:oneOf _:e . first:symProp rdfs:range _:a . first:a rdf:type owl:Thing . first:a first:symProp first:a . first:b rdf:type owl:Thing . first:b first:symProp first:b .
Lite	Conclusions: `<TransitiveProperty/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/TransitiveProperty/premises002#" xmlns:second="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions002#" xml:base="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions002" > <owl:TransitiveProperty rdf:about="premises002#symProp"/> <rdf:Description rdf:about="premises002#a"> <rdf:type> <owl:Restriction> <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/> <owl:onProperty rdf:resource="premises002#symProp"/> <owl:someValuesFrom rdf:resource="http://www.w3.org/2002/07/owl#Thing"/> </owl:Restriction> </rdf:type> </rdf:Description> </rdf:RDF>
first:symProp rdf:type owl:TransitiveProperty . _:a rdf:type owl:Restriction . _:a rdf:type owl:Class . _:a owl:onProperty first:symProp . _:a owl:someValuesFrom owl:Thing . first:a rdf:type _:a .

7.1.13. `owl:allValuesFrom`

Lite Full	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 Full	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.14. `owl:backwardCompatibleWith`

Lite Full	Consistent document.		001
Description: (informative) `<backwardCompatibleWith/Manifest001#test>`
An example of use.
N3 format is informative.
Lite	Consistent: `<backwardCompatibleWith/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/backwardCompatibleWith/consistent001#" xml:base="http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent001" > <owl:Ontology> <owl:backwardCompatibleWith> <owl:Ontology rdf:about="http://www.example.org/"/> </owl:backwardCompatibleWith> </owl:Ontology> </rdf:RDF>
_:a rdf:type owl:Ontology . <http://www.example.org/> rdf:type owl:Ontology . _:a owl:backwardCompatibleWith <http://www.example.org/> .

Full (EC)	Consistent document.		002
Description: (informative) `<backwardCompatibleWith/Manifest002#test>`
In OWL Lite and DL the subject and object of a triple with predicate `owl:backwardCompatibleWith` must both be explicitly typed as `owl:Ontology`.
N3 format is informative.
Full	Consistent: `<backwardCompatibleWith/consistent002>`
<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/backwardCompatibleWith/consistent002#" xml:base="http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent002" > <rdf:Description> <owl:backwardCompatibleWith> <owl:Ontology rdf:about="http://www.example.org/"/> </owl:backwardCompatibleWith> </rdf:Description> </rdf:RDF>
<http://www.example.org/> rdf:type owl:Ontology . _:a owl:backwardCompatibleWith <http://www.example.org/> .

7.1.15. `owl:cardinality`

Lite Full	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 Full	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 Full	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 Full	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 . _:i rdf:first _:c . _:i rdf:rest _:g . _: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 . _:a owl:intersectionOf _:e . second:c rdfs:subClassOf _:a . second:p rdf:type owl:ObjectProperty .

Full	Positive Entailment Test:		006
Description: (informative) `<cardinality/Manifest006#test>`
An `owl:cardinality` constraint is simply shorthand for a pair of `owl:minCardinality` and `owl:maxCardinality` constraints.
N3 format is informative.
Full	Premises: `<cardinality/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/cardinality/premises006" > <rdf:Description rdf:about="conclusions006#c"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="conclusions006#p"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:maxCardinality> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="conclusions006#p"/> <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >1</owl:minCardinality> </owl:Restriction> </owl:intersectionOf> </rdf:Description> </rdf:RDF>
_:a rdf:type owl:Restriction . _:a owl:onProperty second:p . _:a owl:maxCardinality "1"^^xsd:nonNegativeInteger . _:c rdf:type owl:Restriction . _:c owl:onProperty second:p . _:c owl:minCardinality "1"^^xsd:nonNegativeInteger . _:e rdf:first _:c . _:e rdf:rest rdf:nil . _:g rdf:first _:a . _:g rdf:rest _:e . second:c owl:intersectionOf _:g .
Full	Conclusions: `<cardinality/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/cardinality/conclusions006" > <rdf:Description rdf:ID="c"> <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> </rdf:Description> </rdf:RDF>
_:a rdf:type owl:Restriction . _:a owl:onProperty second:p . _:a owl:cardinality "1"^^xsd:nonNegativeInteger . _:c rdf:first _:a . _:c rdf:rest rdf:nil . second:c owl:intersectionOf _:c .

7.1.16. `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.17. `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 . _:e rdf:first first:Barney . _:e rdf:rest _:c . _:g rdf:first first:Wilma . _:g rdf:rest _:e . _:i rdf:first first:Fred . _:i rdf:rest _:g . _: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.18. `owl:disjointWith`

DL Full	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 .

DL Full	Consistent document.		003
Description: (informative) `<disjointWith/Manifest003#test>`
If the owl:disjointWith edges in the graph form an undirected complete subgraph then this may be within OWL DL.
N3 format is informative.
DL	Consistent: `<disjointWith/consistent003>`
<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/consistent003" > <owl:Class rdf:nodeID="A"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="A"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="B"/> <owl:disjointWith rdf:nodeID="D"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="B"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="B"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="A"/> <owl:disjointWith rdf:nodeID="C"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="C"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="C"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="A"/> <owl:disjointWith rdf:nodeID="D"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="D"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="D"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="C"/> <owl:disjointWith rdf:nodeID="B"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="E"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="E"/> </owl:intersectionOf> </owl:Class> </rdf:RDF>
_:a rdf:type owl:Class . first:A rdf:type owl:Class . _:c rdf:first first:A . _:c rdf:rest rdf:nil . _:a owl:intersectionOf _:c . _:a owl:disjointWith _:e . _:a owl:disjointWith _:g . _:a owl:disjointWith _:i . _:e rdf:type owl:Class . first:B rdf:type owl:Class . _:k rdf:first first:B . _:k rdf:rest rdf:nil . _:e owl:intersectionOf _:k . _:e owl:disjointWith _:a . _:e owl:disjointWith _:m . _:e owl:disjointWith _:i . _:m rdf:type owl:Class . first:C rdf:type owl:Class . _:o rdf:first first:C . _:o rdf:rest rdf:nil . _:m owl:intersectionOf _:o . _:m owl:disjointWith _:a . _:m owl:disjointWith _:g . _:m owl:disjointWith _:i . _:g rdf:type owl:Class . first:D rdf:type owl:Class . _:q rdf:first first:D . _:q rdf:rest rdf:nil . _:g owl:intersectionOf _:q . _:g owl:disjointWith _:m . _:g owl:disjointWith _:e . _:g owl:disjointWith _:i . _:i rdf:type owl:Class . first:E rdf:type owl:Class . _:s rdf:first first:E . _:s rdf:rest rdf:nil . _:i owl:intersectionOf _:s .

Full (EC)	Consistent document.		004
Description: (informative) `<disjointWith/Manifest004#test>`
This example has owl:disjointWith edges in the graph which cannot be generated by the mapping rules for DisjointClasses. Consider the lack of owl:disjointWith edge between nodes C and D.
N3 format is informative.
Full	Consistent: `<disjointWith/consistent004>`
<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/consistent004" > <owl:Class rdf:nodeID="A"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="A"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="B"/> <owl:disjointWith rdf:nodeID="D"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="B"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="B"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="A"/> <owl:disjointWith rdf:nodeID="C"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="C"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="C"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="A"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="D"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="D"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="B"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="E"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="E"/> </owl:intersectionOf> </owl:Class> </rdf:RDF>
_:a rdf:type owl:Class . first:A rdf:type owl:Class . _:c rdf:first first:A . _:c rdf:rest rdf:nil . _:a owl:intersectionOf _:c . _:a owl:disjointWith _:e . _:a owl:disjointWith _:g . _:a owl:disjointWith _:i . _:e rdf:type owl:Class . first:B rdf:type owl:Class . _:k rdf:first first:B . _:k rdf:rest rdf:nil . _:e owl:intersectionOf _:k . _:e owl:disjointWith _:a . _:e owl:disjointWith _:m . _:e owl:disjointWith _:i . _:m rdf:type owl:Class . first:C rdf:type owl:Class . _:o rdf:first first:C . _:o rdf:rest rdf:nil . _:m owl:intersectionOf _:o . _:m owl:disjointWith _:a . _:m owl:disjointWith _:i . _:g rdf:type owl:Class . first:D rdf:type owl:Class . _:q rdf:first first:D . _:q rdf:rest rdf:nil . _:g owl:intersectionOf _:q . _:g owl:disjointWith _:e . _:g owl:disjointWith _:i . _:i rdf:type owl:Class . first:E rdf:type owl:Class . _:s rdf:first first:E . _:s rdf:rest rdf:nil . _:i owl:intersectionOf _:s .

DL Full	Consistent document.		005
Description: (informative) `<disjointWith/Manifest005#test>`
If the owl:disjointWith edges in the graph form unconnected undirected complete subgraphs then this may be within OWL DL.
N3 format is informative.
DL	Consistent: `<disjointWith/consistent005>`
<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/consistent005" > <owl:Class rdf:nodeID="A"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="A"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="D"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="B"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="B"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="C"/> </owl:Class> <owl:Class rdf:nodeID="C"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="C"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:nodeID="D"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="D"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="E"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="E"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="D"/> </owl:Class> </rdf:RDF>
_:a rdf:type owl:Class . first:A rdf:type owl:Class . _:c rdf:first first:A . _:c rdf:rest rdf:nil . _:a owl:intersectionOf _:c . _:a owl:disjointWith _:e . _:a owl:disjointWith _:g . _:i rdf:type owl:Class . first:B rdf:type owl:Class . _:k rdf:first first:B . _:k rdf:rest rdf:nil . _:i owl:intersectionOf _:k . _:i owl:disjointWith _:m . _:m rdf:type owl:Class . first:C rdf:type owl:Class . _:o rdf:first first:C . _:o rdf:rest rdf:nil . _:m owl:intersectionOf _:o . _:e rdf:type owl:Class . first:D rdf:type owl:Class . _:q rdf:first first:D . _:q rdf:rest rdf:nil . _:e owl:intersectionOf _:q . _:e owl:disjointWith _:g . _:g rdf:type owl:Class . first:E rdf:type owl:Class . _:s rdf:first first:E . _:s rdf:rest rdf:nil . _:g owl:intersectionOf _:s . _:g owl:disjointWith _:e .

Full (EC)	Consistent document.		006
Description: (informative) `<disjointWith/Manifest006#test>`
If the owl:disjointWith edges in the graph form undirected complete subgraphs which share blank nodes then this is not within OWL DL.
N3 format is informative.
Full	Consistent: `<disjointWith/consistent006>`
<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/consistent006" > <owl:Class rdf:nodeID="A"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="A"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="D"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="B"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="B"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="C"/> <owl:disjointWith rdf:nodeID="A"/> </owl:Class> <owl:Class rdf:nodeID="C"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="C"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="A"/> </owl:Class> <owl:Class rdf:nodeID="D"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="D"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="E"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="E"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="D"/> </owl:Class> </rdf:RDF>
_:a rdf:type owl:Class . first:A rdf:type owl:Class . _:c rdf:first first:A . _:c rdf:rest rdf:nil . _:a owl:intersectionOf _:c . _:a owl:disjointWith _:e . _:a owl:disjointWith _:g . _:i rdf:type owl:Class . first:B rdf:type owl:Class . _:k rdf:first first:B . _:k rdf:rest rdf:nil . _:i owl:intersectionOf _:k . _:i owl:disjointWith _:m . _:i owl:disjointWith _:a . _:m rdf:type owl:Class . first:C rdf:type owl:Class . _:o rdf:first first:C . _:o rdf:rest rdf:nil . _:m owl:intersectionOf _:o . _:m owl:disjointWith _:a . _:e rdf:type owl:Class . first:D rdf:type owl:Class . _:q rdf:first first:D . _:q rdf:rest rdf:nil . _:e owl:intersectionOf _:q . _:e owl:disjointWith _:g . _:g rdf:type owl:Class . first:E rdf:type owl:Class . _:s rdf:first first:E . _:s rdf:rest rdf:nil . _:g owl:intersectionOf _:s . _:g owl:disjointWith _:e .

DL Full	Consistent document.		007
Description: (informative) `<disjointWith/Manifest007#test>`
If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL.
N3 format is informative.
DL	Consistent: `<disjointWith/consistent007>`
<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/consistent007" > <owl:Class rdf:ID="A"> <owl:disjointWith rdf:nodeID="D"/> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="B"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="B"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="C"/> <owl:disjointWith rdf:resource="#A"/> </owl:Class> <owl:Class rdf:nodeID="C"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="C"/> </owl:intersectionOf> <owl:disjointWith rdf:resource="#A"/> </owl:Class> <owl:Class rdf:nodeID="D"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="D"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="E"/> </owl:Class> <owl:Class rdf:nodeID="E"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="E"/> </owl:intersectionOf> <owl:disjointWith rdf:nodeID="D"/> </owl:Class> </rdf:RDF>
first:A rdf:type owl:Class . first:A owl:disjointWith _:a . first:A owl:disjointWith _:c . _:e rdf:type owl:Class . first:B rdf:type owl:Class . _:g rdf:first first:B . _:g rdf:rest rdf:nil . _:e owl:intersectionOf _:g . _:e owl:disjointWith _:i . _:e owl:disjointWith first:A . _:i rdf:type owl:Class . first:C rdf:type owl:Class . _:k rdf:first first:C . _:k rdf:rest rdf:nil . _:i owl:intersectionOf _:k . _:i owl:disjointWith first:A . _:a rdf:type owl:Class . first:D rdf:type owl:Class . _:m rdf:first first:D . _:m rdf:rest rdf:nil . _:a owl:intersectionOf _:m . _:a owl:disjointWith _:c . _:c rdf:type owl:Class . first:E rdf:type owl:Class . _:o rdf:first first:E . _:o rdf:rest rdf:nil . _:c owl:intersectionOf _:o . _:c owl:disjointWith _:a .

Full (EC)	Consistent document.		008
Description: (informative) `<disjointWith/Manifest008#test>`
A further example that cannot be generated from the mapping rule for DisjointClasses.
N3 format is informative.
Full	Consistent: `<disjointWith/consistent008>`
<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/consistent008" > <owl:Class rdf:ID="A"/> <owl:Class rdf:nodeID="B"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="B"/> </owl:intersectionOf> <owl:disjointWith rdf:resource="#A"/> </owl:Class> <owl:Class rdf:nodeID="C"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="C"/> </owl:intersectionOf> <owl:disjointWith rdf:resource="#A"/> </owl:Class> <owl:Class rdf:ID="D"> <owl:disjointWith rdf:nodeID="B"/> <owl:disjointWith rdf:nodeID="C"/> </owl:Class> </rdf:RDF>
first:A rdf:type owl:Class . _:a rdf:type owl:Class . first:B rdf:type owl:Class . _:c rdf:first first:B . _:c rdf:rest rdf:nil . _:a owl:intersectionOf _:c . _:a owl:disjointWith first:A . _:e rdf:type owl:Class . first:C rdf:type owl:Class . _:g rdf:first first:C . _:g rdf:rest rdf:nil . _:e owl:intersectionOf _:g . _:e owl:disjointWith first:A . first:D rdf:type owl:Class . first:D owl:disjointWith _:a . first:D owl:disjointWith _:e .

DL Full	Consistent document.		009
Description: (informative) `<disjointWith/Manifest009#test>`
If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL.
N3 format is informative.
DL	Consistent: `<disjointWith/consistent009>`
<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/consistent009" > <owl:Class rdf:ID="A"/> <owl:Class rdf:nodeID="B"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="B"/> </owl:intersectionOf> <owl:disjointWith rdf:resource="#A"/> </owl:Class> <owl:Class rdf:nodeID="C"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="C"/> </owl:intersectionOf> <owl:disjointWith rdf:resource="#A"/> </owl:Class> <owl:Class rdf:ID="D"> <owl:disjointWith rdf:nodeID="B"/> <owl:disjointWith rdf:nodeID="C"/> <owl:disjointWith rdf:resource="#A"/> </owl:Class> </rdf:RDF>
first:A rdf:type owl:Class . _:a rdf:type owl:Class . first:B rdf:type owl:Class . _:c rdf:first first:B . _:c rdf:rest rdf:nil . _:a owl:intersectionOf _:c . _:a owl:disjointWith first:A . _:e rdf:type owl:Class . first:C rdf:type owl:Class . _:g rdf:first first:C . _:g rdf:rest rdf:nil . _:e owl:intersectionOf _:g . _:e owl:disjointWith first:A . first:D rdf:type owl:Class . first:D owl:disjointWith _:a . first:D owl:disjointWith _:e . first:D owl:disjointWith first:A .

Full	Inconsistent document.		010
Description: (informative) `<disjointWith/Manifest010#test>`
The `owl:disjointWith` loop is not in OWL DL. Classes that are disjoint with themselves are necessarily empty.
N3 format is informative.
Full	Inconsistent: `<disjointWith/inconsistent010>`
<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/inconsistent010#" xml:base="http://www.w3.org/2002/03owlt/disjointWith/inconsistent010" > <owl:Restriction rdf:nodeID="n"> <owl:onProperty> <owl:ObjectProperty rdf:about="#p" /> </owl:onProperty> <owl:minCardinality rdf:datatype= "http://www.w3.org/2001/XMLSchema#int" >1</owl:minCardinality> <owl:disjointWith rdf:nodeID="n"/> </owl:Restriction> <owl:Thing> <first:p> <owl:Thing/> </first:p> </owl:Thing> </rdf:RDF>
_:a rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:a owl:onProperty first:p . _:a owl:minCardinality "1"^^xsd:int . _:a owl:disjointWith _:a . _:c rdf:type owl:Thing . _:e rdf:type owl:Thing . _:c first:p _:e .

7.1.19. `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 . _:e rdf:first first:Barney . _:e rdf:rest _:c . _:g rdf:first first:Wilma . _:g rdf:rest _:e . _:i rdf:first first:Fred . _:i rdf:rest _:g . _: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.20. `owl:equivalentClass`

Lite Full	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 Full	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 Full	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 Full	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 . 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 . 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 Full	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 Full	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 . _:i rdf:first _:c . _:i rdf:rest _:g . _:a owl:intersectionOf _:i . _:k rdf:type owl:Class . _:m rdf:type owl:Class . _:o rdf:first first:B . _:o rdf:rest rdf:nil . _:q rdf:first first:A . _:q rdf:rest _:o . _:m owl:unionOf _:q . _:k owl:complementOf _:m . _:a owl:equivalentClass _:k . first:A rdf:type owl:Class . first:B rdf:type owl:Class .

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

DL Full	Negative Entailment Test:		008
Description: (informative) `<equivalentClass/Manifest008#test>`
Annotation properties refer to a class instance. equivalentClass refers to the class extension.
N3 format is informative.
Lite	Premises: `<equivalentClass/premises008>`
<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/premises008#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises008" > <owl:Class rdf:ID="c1"> <owl:equivalentClass> <owl:Class rdf:ID="c2"/> </owl:equivalentClass> <first:annotate>description of c1</first:annotate> </owl:Class> <owl:AnnotationProperty rdf:ID="annotate" /> </rdf:RDF>
first:c1 rdf:type owl:Class . first:c2 rdf:type owl:Class . first:c1 owl:equivalentClass first:c2 . first:c1 first:annotate "description of c1" . first:annotate rdf:type owl:AnnotationProperty .
Lite	Conclusions: `<equivalentClass/nonconclusions008>`
<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/premises008#" xml:base="http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008" > <owl:Class rdf:about="premises008#c2"> <first:annotate>description of c1</first:annotate> </owl:Class> <owl:AnnotationProperty rdf:about="premises008#annotate" /> </rdf:RDF>
first:c2 rdf:type owl:Class . first:c2 first:annotate "description of c1" . first:annotate rdf:type owl:AnnotationProperty .

DL Full	Consistent document.		009
Description: (informative) `<equivalentClass/Manifest009#test>`
A possible mapping of the EquivalentClasses axiom, which is connected but without a Hamiltonian path.
N3 format is informative.
DL	Consistent: `<equivalentClass/consistent009>`
<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/equivalentClass/consistent009" > <owl:Class rdf:nodeID="a"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:ID="A"/> </owl:oneOf> <owl:equivalentClass> <owl:Class rdf:nodeID="b"> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:ID="B"/> </owl:unionOf> </owl:Class> </owl:equivalentClass> <owl:equivalentClass> <owl:Class rdf:nodeID="c"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:ID="C"/> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> <owl:equivalentClass> <owl:Class rdf:nodeID="d"> <owl:complementOf> <owl:Class rdf:ID="D"/> </owl:complementOf> </owl:Class> </owl:equivalentClass> </owl:Class> </rdf:RDF>
_:a rdf:type owl:Class . first:A rdf:type owl:Thing . _:c rdf:first first:A . _:c rdf:rest rdf:nil . _:a owl:oneOf _:c . _:e rdf:type owl:Class . first:B rdf:type owl:Class . _:g rdf:first first:B . _:g rdf:rest rdf:nil . _:e owl:unionOf _:g . _:a owl:equivalentClass _:e . _:i rdf:type owl:Class . first:C rdf:type owl:Class . _:k rdf:first first:C . _:k rdf:rest rdf:nil . _:i owl:intersectionOf _:k . _:a owl:equivalentClass _:i . _:m rdf:type owl:Class . first:D rdf:type owl:Class . _:m owl:complementOf first:D . _:a owl:equivalentClass _:m .

7.1.21. `owl:equivalentProperty`

Lite Full	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 Full	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 Full	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 Full	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.22. `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 (EC)	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	Import 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	Import 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 . 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	Import 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	Import 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	Import 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 .

Full	OWL described in OWL.		010
Description: (informative) `<imports/Manifest010#test>`
This test specifies the domain and range for owl:imports.
N3 format is informative.
Full	True: `<imports/conclusions010>`
<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/conclusions010" > <rdf:Property rdf:about="http://www.w3.org/2002/07/owl#imports"> <rdfs:range rdf:resource="http://www.w3.org/2002/07/owl#Ontology"/> <rdfs:domain rdf:resource="http://www.w3.org/2002/07/owl#Ontology"/> </rdf:Property> </rdf:RDF>
owl:imports rdf:type rdf:Property . owl:imports rdfs:range owl:Ontology . owl:imports rdfs:domain owl:Ontology .

Lite	Import Entailment Test:		011
Description: (informative) `<imports/Manifest011#test>`
A Lite version of test imports-001.
N3 format is informative.
Namespaces:
@prefix ont: <http://www.w3.org/2002/03owlt/imports/support011-A#> .
Lite	Premises: `<imports/premises011>`
<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/support011-A#' xml:base='http://www.w3.org/2002/03owlt/imports/premises011' > <owl:Ontology rdf:about=''> <owl:imports rdf:resource="http://www.w3.org/2002/03owlt/imports/support011-A"/> </owl:Ontology> <ont:Man rdf:about='http://example.org/data#Socrates'/> </rdf:RDF>
<imports/premises011> rdf:type owl:Ontology . <imports/premises011> owl:imports <imports/support011-A> . <http://example.org/data#Socrates> rdf:type ont:Man .
Lite	Imported Premises `<imports/support011-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/support011-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/support011-A> rdf:type owl:Ontology . ont:Man rdf:type owl:Class . ont:Man rdfs:subClassOf ont:Mortal . ont:Mortal rdf:type owl:Class .
Lite	Conclusions: `<imports/conclusions011>`
<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/conclusions011' > <rdf:Description rdf:about='http://example.org/data#Socrates'> <rdf:type> <owl:Class rdf:about='support011-A#Mortal'/> </rdf:type> </rdf:Description> </rdf:RDF>
ont:Mortal rdf:type owl:Class . <http://example.org/data#Socrates> rdf:type ont:Mortal .

Lite Full	Consistent document.		012
Description: (informative) `<imports/Manifest012#test>`
A simple test for infinite loops in imports processing code.
N3 format is informative.
Lite	Consistent: `<imports/consistent012>`
<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/consistent012" > <owl:Ontology rdf:about="http://example.org/"> <owl:imports> <owl:Ontology rdf:about=""/> </owl:imports> </owl:Ontology> </rdf:RDF>
<http://example.org/> rdf:type owl:Ontology . <imports/consistent012> rdf:type owl:Ontology . <http://example.org/> owl:imports <imports/consistent012> .

Full	Import Level Test:		013
Description: (informative) `<imports/Manifest013#test>`
An imported ontology must have type owl:Ontology to be in DL.
N3 format is informative.
Lite	Imported document: `<imports/imports013>`
<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/imports013" > <owl:Class rdf:ID="c" /> </rdf:RDF>
first:c rdf:type owl:Class .
Full	Main document: `<imports/main013>`
<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/main013" > <owl:Ontology> <owl:imports rdf:resource="imports013"/> </owl:Ontology> </rdf:RDF>
_:a rdf:type owl:Ontology . _:a owl:imports <imports/imports013> .

Full	Import Level Test:		014
Description: (informative) `<imports/Manifest014#test>`
When importing a file that uses an xml:base declaration, if you use a different URL in an `owl:imports` triple, that URL may be without an explicit type.
N3 format is informative.
Lite	Imported document: `<imports/imports014>`
<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/imports014" > <owl:Ontology rdf:about=""/> </rdf:RDF>
<imports/imports014> rdf:type owl:Ontology .
Full	Main document: `<imports/main014>`
<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/imports014#" xmlns:second="http://www.w3.org/2002/03owlt/imports/main014#" xml:base="http://www.w3.org/2002/03owlt/imports/main014" > <owl:Ontology> <owl:imports rdf:resource="imports014.rdf"/> </owl:Ontology> </rdf:RDF>
_:a rdf:type owl:Ontology . _:a owl:imports <imports/imports014.rdf> .

7.1.23. `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 . _:c rdf:first first:Student . _:c rdf:rest _:a . first:B owl:intersectionOf _:c . _:e rdf:first first:Student . _:e rdf:rest rdf:nil . _:g rdf:first first:Employee . _:g rdf:rest _:e . 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.24. `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.25. `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:differentFrom rdf:resource="inconsistent001#ob2"/> <owl:differentFrom rdf:resource="inconsistent001#ob3"/> </rdf:Description> <rdf:Description rdf:about="inconsistent001#ob2"> <owl:differentFrom 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:differentFrom first:ob2 . first:ob1 owl:differentFrom first:ob3 . first:ob2 owl:differentFrom 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 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" >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:differentFrom rdf:resource="inconsistent002#ob2"/> <owl:differentFrom rdf:resource="inconsistent002#ob3"/> </rdf:Description> <rdf:Description rdf:about="inconsistent002#ob2"> <owl:differentFrom 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"^^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:otherprop first:ob3 . first:ob1 owl:differentFrom first:ob2 . first:ob1 owl:differentFrom first:ob3 . first:ob2 owl:differentFrom first:ob3 . first:prop rdf:type owl:ObjectProperty . first:otherprop rdfs:subPropertyOf first:prop .

7.1.26. `owl:oneOf`

Full (EC)	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 . _:e rdf:first first:bob . _:e rdf:rest _:c . _:g rdf:first first:amy . _:g rdf:rest _:e . _:a owl:oneOf _:g . _:i rdf:type owl:Class . _:k rdf:first first:zebedee . _:k rdf:rest rdf:nil . _:m rdf:first first:yolanda . _:m rdf:rest _:k . _: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 . _:c rdf:first first:medium . _:c rdf:rest _:a . _:e rdf:first first:small . _:e rdf:rest _:c . 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 . _:c rdf:first first:medium . _:c rdf:rest _:a . _:e rdf:first first:small . _:e rdf:rest _:c . first:T1 owl:oneOf _:e . _:g rdf:first first:small . _:g rdf:rest rdf:nil . _:i rdf:first first:medium . _:i rdf:rest _:g . _:k rdf:first first:large . _:k rdf:rest _:i . 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 .

DL Full	Positive Entailment Test:		004
Description: (informative) `<oneOf/Manifest004#test>`
This test illustrates the use of dataRange in OWL DL. This test combines some of the ugliest features of XML, RDF and OWL.
N3 format is informative.
DL	Premises: `<oneOf/premises004>`
<!DOCTYPE rdf:RDF [ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#"> <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#"> ]> <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/premises004#" xml:base="http://www.w3.org/2002/03owlt/oneOf/premises004" > <owl:DatatypeProperty rdf:ID="p"> <rdfs:range> <owl:DataRange> <owl:oneOf> <rdf:List> <rdf:first rdf:datatype="&xsd;integer">1</rdf:first> <rdf:rest> <rdf:List> <rdf:first rdf:datatype="&xsd;integer">2</rdf:first> <rdf:rest> <rdf:List> <rdf:first rdf:datatype="&xsd;integer">3</rdf:first> <rdf:rest> <rdf:List> <rdf:first rdf:datatype="&xsd;integer">4</rdf:first> <rdf:rest rdf:resource="&rdf;nil"/> </rdf:List> </rdf:rest> </rdf:List> </rdf:rest> </rdf:List> </rdf:rest> </rdf:List> </owl:oneOf> </owl:DataRange> </rdfs:range> <rdfs:range> <owl:DataRange> <owl:oneOf> <rdf:List> <rdf:first rdf:datatype="&xsd;integer">4</rdf:first> <rdf:rest> <rdf:List> <rdf:first rdf:datatype="&xsd;integer">5</rdf:first> <rdf:rest> <rdf:List> <rdf:first rdf:datatype="&xsd;integer">6</rdf:first> <rdf:rest rdf:resource="&rdf;nil"/> </rdf:List> </rdf:rest> </rdf:List> </rdf:rest> </rdf:List> </owl:oneOf> </owl:DataRange> </rdfs:range> </owl:DatatypeProperty> <owl:Thing rdf:ID="i"> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:minCardinality rdf:datatype="&xsd;int">1</owl:minCardinality> </owl:Restriction> </rdf:type> </owl:Thing> </rdf:RDF>
first:p rdf:type owl:DatatypeProperty . _:a rdf:type owl:DataRange . _:c rdf:type rdf:List . _:c rdf:first "1"^^xsd:integer . _:e rdf:type rdf:List . _:e rdf:first "2"^^xsd:integer . _:g rdf:type rdf:List . _:g rdf:first "3"^^xsd:integer . _:i rdf:type rdf:List . _:i rdf:first "4"^^xsd:integer . _:i rdf:rest rdf:nil . _:g rdf:rest _:i . _:e rdf:rest _:g . _:c rdf:rest _:e . _:a owl:oneOf _:c . first:p rdfs:range _:a . _:k rdf:type owl:DataRange . _:m rdf:type rdf:List . _:m rdf:first "4"^^xsd:integer . _:o rdf:type rdf:List . _:o rdf:first "5"^^xsd:integer . _:q rdf:type rdf:List . _:q rdf:first "6"^^xsd:integer . _:q rdf:rest rdf:nil . _:o rdf:rest _:q . _:m rdf:rest _:o . _:k owl:oneOf _:m . first:p rdfs:range _:k . first:i rdf:type owl:Thing . _:s rdf:type owl:Restriction . _:s owl:onProperty first:p . _:s owl:minCardinality "1"^^xsd:int . first:i rdf:type _:s .
Lite	Conclusions: `<oneOf/conclusions004>`
<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/premises004#" xml:base="http://www.w3.org/2002/03owlt/oneOf/conclusions004" > <owl:DatatypeProperty rdf:about="premises004#p"/> <owl:Thing rdf:about="premises004#i"> <first:p rdf:datatype= "http://www.w3.org/2001/XMLSchema#integer">4</first:p> </owl:Thing> </rdf:RDF>
first:p rdf:type owl:DatatypeProperty . first:i rdf:type owl:Thing . first:i first:p "4"^^xsd:integer .

7.1.27. `owl:sameAs`

Full	Positive Entailment Test:		001
Description: (informative) `<sameAs/Manifest001#test>`
Annotation properties refer to a class instance. sameAs, in OWL Full, also refers to the class instance.
N3 format is informative.
Full	Premises: `<sameAs/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/sameAs/premises001#" xml:base="http://www.w3.org/2002/03owlt/sameAs/premises001" > <owl:Class rdf:ID="c1"> <owl:sameAs> <owl:Class rdf:ID="c2"/> </owl:sameAs> <first:annotate>description of c1</first:annotate> </owl:Class> <owl:AnnotationProperty rdf:ID="annotate" /> </rdf:RDF>
first:c1 rdf:type owl:Class . first:c2 rdf:type owl:Class . first:c1 owl:sameAs first:c2 . first:c1 first:annotate "description of c1" . first:annotate rdf:type owl:AnnotationProperty .
Lite	Conclusions: `<sameAs/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/sameAs/premises001#" xml:base="http://www.w3.org/2002/03owlt/sameAs/conclusions001" > <owl:Class rdf:about="premises001#c2"> <first:annotate>description of c1</first:annotate> </owl:Class> <owl:AnnotationProperty rdf:about="premises001#annotate" /> </rdf:RDF>
first:c2 rdf:type owl:Class . first:c2 first:annotate "description of c1" . first:annotate rdf:type owl:AnnotationProperty .

7.1.28. `owl:someValuesFrom`

Full	Positive Entailment Test:		001
Description: (informative) `<someValuesFrom/Manifest001#test>`
A simple example.
N3 format is informative.
Lite	Premises: `<someValuesFrom/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/someValuesFrom/premises001#" xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/premises001" > <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"/> </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 .
Full	Conclusions: `<someValuesFrom/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/someValuesFrom/premises001#" xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/conclusions001" > <rdf:Description rdf:about="premises001#i"> <first:p> <first:c /> </first:p> </rdf:Description> </rdf:RDF>
_:a rdf:type first:c . first:i first:p _:a .

Full (EC)	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 .

Lite Full	Positive Entailment Test:		003
Description: (informative) `<someValuesFrom/Manifest003#test>`
A simple infinite loop for implementors to avoid.
N3 format is informative.
Lite	Premises: `<someValuesFrom/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/someValuesFrom/premises003#" xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/premises003" > <owl:Class rdf:ID="person"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="parent"/> </owl:onProperty> <owl:someValuesFrom rdf:resource="#person" /> </owl:Restriction> </owl:equivalentClass> </owl:Class> <first:person rdf:ID="fred" /> </rdf:RDF>
first:person rdf:type owl:Class . _:a rdf:type owl:Restriction . first:parent rdf:type owl:ObjectProperty . _:a owl:onProperty first:parent . _:a owl:someValuesFrom first:person . first:person owl:equivalentClass _:a . first:fred rdf:type first:person .
Lite	Conclusions: `<someValuesFrom/conclusions003>`
<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/someValuesFrom/premises003#" xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/conclusions003" > <owl:ObjectProperty rdf:about="premises003#parent"/> <owl:Thing rdf:about="premises003#fred"> <first:parent> <owl:Thing> <first:parent> <owl:Thing/> </first:parent> </owl:Thing> </first:parent> </owl:Thing> </rdf:RDF>
first:parent rdf:type owl:ObjectProperty . first:fred rdf:type owl:Thing . _:a rdf:type owl:Thing . _:c rdf:type owl:Thing . _:a first:parent _:c . first:fred first:parent _:a .

7.1.29. `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 . _:c rdf:first first:Human . _:c rdf:rest _:a . 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 . _:c rdf:first first:Human . _:c rdf:rest _:a . first:A owl:unionOf _:c . _:e rdf:first first:Stone . _:e rdf:rest rdf:nil . _:g rdf:first first:Human . _:g rdf:rest _:e . _:i rdf:first first:Animal . _:i rdf:rest _:g . 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 .

DL Full	Positive Entailment Test:		003
Description: (informative) `<unionOf/Manifest003#test>`
Sets with appropriate extensions are related by unionOf.
N3 format is informative.
DL	Premises: `<unionOf/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/unionOf/premises003" > <owl:Class rdf:ID="A"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:ID="a"/> </owl:oneOf> </owl:Class> <owl:Class rdf:ID="B"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:ID="b"/> </owl:oneOf> </owl:Class> <owl:Class rdf:ID="A-and-B"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:about="#a"/> <owl:Thing rdf:about="#b"/> </owl:oneOf> </owl:Class> </rdf:RDF>
first:A rdf:type owl:Class . first:a rdf:type owl:Thing . _:a rdf:first first:a . _:a rdf:rest rdf:nil . first:A owl:oneOf _:a . first:B rdf:type owl:Class . first:b rdf:type owl:Thing . _:c rdf:first first:b . _:c rdf:rest rdf:nil . first:B owl:oneOf _:c . first:A-and-B rdf:type owl:Class . first:a rdf:type owl:Thing . first:b rdf:type owl:Thing . _:e rdf:first first:b . _:e rdf:rest rdf:nil . _:g rdf:first first:a . _:g rdf:rest _:e . first:A-and-B owl:oneOf _:g .
DL	Conclusions: `<unionOf/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/unionOf/conclusions003" > <owl:Class rdf:about="premises003#A-and-B"> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="premises003#A"/> <owl:Class rdf:about="premises003#B"/> </owl:unionOf> </owl:Class> </rdf:RDF>
first:A-and-B rdf:type owl:Class . first:A rdf:type owl:Class . first:B rdf:type owl:Class . _:a rdf:first first:B . _:a rdf:rest rdf:nil . _:c rdf:first first:A . _:c rdf:rest _:a . first:A-and-B owl:unionOf _:c .

DL Full	Positive Entailment Test:		004
Description: (informative) `<unionOf/Manifest004#test>`
An inverse to test 003.
N3 format is informative.
DL	Premises: `<unionOf/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#" xmlns:first="http://www.w3.org/2002/03owlt/unionOf/premises004#" xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions004#" xml:base="http://www.w3.org/2002/03owlt/unionOf/premises004" > <owl:Class rdf:about="#A-and-B"> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="#A"/> <owl:Class rdf:about="#B"/> </owl:unionOf> </owl:Class> <owl:Class rdf:ID="A"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:ID="a"/> </owl:oneOf> </owl:Class> <owl:Class rdf:ID="B"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:ID="b"/> </owl:oneOf> </owl:Class> </rdf:RDF>
first:A-and-B rdf:type owl:Class . first:A rdf:type owl:Class . first:B rdf:type owl:Class . _:a rdf:first first:B . _:a rdf:rest rdf:nil . _:c rdf:first first:A . _:c rdf:rest _:a . first:A-and-B owl:unionOf _:c . first:A rdf:type owl:Class . first:a rdf:type owl:Thing . _:e rdf:first first:a . _:e rdf:rest rdf:nil . first:A owl:oneOf _:e . first:B rdf:type owl:Class . first:b rdf:type owl:Thing . _:g rdf:first first:b . _:g rdf:rest rdf:nil . first:B owl:oneOf _:g .
DL	Conclusions: `<unionOf/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#" xmlns:first="http://www.w3.org/2002/03owlt/unionOf/premises004#" xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions004#" xml:base="http://www.w3.org/2002/03owlt/unionOf/conclusions004" > <owl:Class rdf:about="premises004#A-and-B"> <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:about="premises004#a"/> <owl:Thing rdf:about="premises004#b"/> </owl:oneOf> </owl:Class> </rdf:RDF>
first:A-and-B rdf:type owl:Class . first:a rdf:type owl:Thing . first:b rdf:type owl:Thing . _:a rdf:first first:b . _:a rdf:rest rdf:nil . _:c rdf:first first:a . _:c rdf:rest _:a . first:A-and-B owl:oneOf _:c .

next top contents index