Copyright © 2003 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply.
Contents
owl:AllDifferent
owl:FunctionalProperty
owl:InverseFunctionalProperty
owl:Nothing
owl:SymmetricProperty
owl:TransitiveProperty
owl:allValuesFrom
owl:cardinality
owl:complementOf
owl:differentFrom
owl:disjointWith
owl:distinctMembers
owl:equivalentClass
owl:equivalentProperty
owl:imports
owl:intersectionOf
owl:inverseOf
owl:maxCardinality
owl:oneOf
owl:someValuesFrom
owl:unionOf
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 . |
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 . |
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 . |
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 . |
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 . |
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 . |
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 . |
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 . |
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 . |
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 . |
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 . |
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 . |
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 . |
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 . |
owl:imports
Full | Import Entailment Test: | 001 | |
---|---|---|---|
Description:
(informative)
<imports/Manifest001#test>
|
|||
If a document imports another document, then it entails anything that is entailed by the conjunction of the two documents. | |||
N3 format is informative. | |||
Namespaces: | |||
@prefix ont: <http://www.w3.org/2002/03owlt/imports/support001-A#> . | |||
Full | Premises:
<imports/premises001>
| ||
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xmlns:ont='http://www.w3.org/2002/03owlt/imports/support001-A#' xml:base='http://www.w3.org/2002/03owlt/imports/premises001' > <rdf:Description rdf:about=''> <owl:imports rdf:resource="http://www.w3.org/2002/03owlt/imports/support001-A"/> </rdf:Description> <ont:Man rdf:about='http://example.org/data#Socrates'/> </rdf:RDF> | |||
<imports/premises001> owl:imports <imports/support001-A> . <http://example.org/data#Socrates> rdf:type ont:Man . | |||
Lite | Imported Premises
<imports/support001-A>
| ||
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xml:base='http://www.w3.org/2002/03owlt/imports/support001-A' > <owl:Ontology rdf:about=''/> <owl:Class rdf:ID='Man'> <rdfs:subClassOf rdf:resource='#Mortal'/> </owl:Class> <owl:Class rdf:ID='Mortal'/> </rdf:RDF> | |||
<imports/support001-A> rdf:type owl:Ontology . ont:Man rdf:type owl:Class . ont:Man rdfs:subClassOf ont:Mortal . ont:Mortal rdf:type owl:Class . | |||
Full | Conclusions:
<imports/conclusions001>
| ||
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xml:base='http://www.w3.org/2002/03owlt/imports/conclusions001' > <rdf:Description rdf:about='http://example.org/data#Socrates'> <rdf:type rdf:resource='http://www.w3.org/2002/03owlt/imports/support001-A#Mortal'/> </rdf:Description> </rdf:RDF> | |||
<http://example.org/data#Socrates> rdf:type ont:Mortal . |
Full | Negative Entailment Test: | 002 | |
---|---|---|---|
Description:
(informative)
<imports/Manifest002#test>
|
|||
If a premise document uses a namespace but does not import the document corresponding to the namespace, then the premises do not necessarily entail anything that is entailed by the conjunction of the two documents. | |||
N3 format is informative. | |||
Namespaces: | |||
@prefix ont: <http://www.w3.org/2002/03owlt/imports/support002-A#> . | |||
Full | Premises:
<imports/premises002>
| ||
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xmlns:ont='http://www.w3.org/2002/03owlt/imports/support002-A#' xml:base='http://www.w3.org/2002/03owlt/imports/premises002' > <ont:Man rdf:about='http://example.org/data#Socrates'/> </rdf:RDF> | |||
<http://example.org/data#Socrates> rdf:type ont:Man . | |||
Lite | Imported Premises
<imports/support002-A>
| ||
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xml:base='http://www.w3.org/2002/03owlt/imports/support002-A' > <owl:Ontology rdf:about=''/> <owl:Class rdf:ID='Man'> <rdfs:subClassOf rdf:resource='#Mortal'/> </owl:Class> <owl:Class rdf:ID='Mortal'/> </rdf:RDF> | |||
<imports/support002-A> rdf:type owl:Ontology . ont:Man rdf:type owl:Class . ont:Man rdfs:subClassOf ont:Mortal . ont:Mortal rdf:type owl:Class . | |||
Full | Conclusions:
<imports/nonconclusions002>
| ||
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xml:base='http://www.w3.org/2002/03owlt/imports/nonconclusions002' > <rdf:Description rdf:about='http://example.org/data#Socrates'> <rdf:type rdf:resource='http://www.w3.org/2002/03owlt/imports/support002-A#Mortal'/> </rdf:Description> </rdf:RDF> | |||
<http://example.org/data#Socrates> rdf:type ont:Mortal . |
Full | Import Entailment Test: | 003 | |
---|---|---|---|
Description:
(informative)
<imports/Manifest003#test>
|
|||
If a document imports a document which in turn imports a third document, then it entails anything which is entailed by the conjunction of the statements from the three documents. That is, imports is transitive. | |||
N3 format is informative. | |||
Namespaces: | |||
@prefix ont: <http://www.w3.org/2002/03owlt/imports/support003-A#> . | |||
Full | Premises:
<imports/premises003>
| ||
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xmlns:ont='http://www.w3.org/2002/03owlt/imports/support003-A#' xml:base='http://www.w3.org/2002/03owlt/imports/premises003' > <rdf:Description rdf:about=''> <owl:imports rdf:resource='http://www.w3.org/2002/03owlt/imports/support003-A'/> </rdf:Description> <ont:Man rdf:about='http://example.org/data#Socrates'/> </rdf:RDF> | |||
<imports/premises003> owl:imports <imports/support003-A> . <http://example.org/data#Socrates> rdf:type ont:Man . | |||
Lite | Imported Premises
<imports/support003-A>
| ||
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xml:base='http://www.w3.org/2002/03owlt/imports/support003-A' > <owl:Ontology rdf:about=''> <owl:imports rdf:resource='http://www.w3.org/2002/03owlt/imports/support003-B'/> </owl:Ontology> <owl:Class rdf:ID='Man'> <rdfs:subClassOf rdf:resource='#Person'/> </owl:Class> <owl:Class rdf:ID='Person'/> </rdf:RDF> | |||
<imports/support003-A> rdf:type owl:Ontology . <imports/support003-A> owl:imports <imports/support003-B> . ont:Man rdf:type owl:Class . ont:Man rdfs:subClassOf ont:Person . ont:Person rdf:type owl:Class . | |||
Lite | Imported Premises
<imports/support003-B>
| ||
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xml:base='http://www.w3.org/2002/03owlt/imports/support003-B' > <owl:Ontology rdf:about=''/> <owl:Class rdf:about='http://www.w3.org/2002/03owlt/imports/support003-A#Person'> <rdfs:subClassOf rdf:resource='#Mortal'/> </owl:Class> <owl:Class rdf:ID='Mortal'/> </rdf:RDF> | |||
<imports/support003-B> rdf:type owl:Ontology . ont:Person rdf:type owl:Class . ont:Person rdfs:subClassOf <imports/support003-B#Mortal> . <imports/support003-B#Mortal> rdf:type owl:Class . | |||
Full | Conclusions:
<imports/conclusions003>
| ||
<rdf:RDF xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' xmlns:owl='http://www.w3.org/2002/07/owl#' xml:base='http://www.w3.org/2002/03owlt/imports/conclusions003' > <rdf:Description rdf:about='http://example.org/data#Socrates'> <rdf:type rdf:resource='http://www.w3.org/2002/03owlt/imports/support003-B#Mortal'/> </rdf:Description> </rdf:RDF> | |||
<http://example.org/data#Socrates> rdf:type <imports/support003-B#Mortal> . |
Full | 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 . |
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 . |
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 . |
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 . |
owl:oneOf
Full | Consistent document. | 001 | |
---|---|---|---|
Description:
(informative)
<oneOf/Manifest001#test>
|
|||
oneOf does not indicate that the named
individuals are distinct. Thus a consistent interpretation
of this file is when all the individual names denote the
same individual. | |||
N3 format is informative. | |||
Full | Consistent:
<oneOf/consistent001>
| ||
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/oneOf/consistent001#" xml:base="http://www.w3.org/2002/03owlt/oneOf/consistent001" > <owl:Class> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:ID="amy"/> <rdf:Description rdf:ID="bob"/> <rdf:Description rdf:ID="caroline"/> </owl:oneOf> <owl:equivalentClass> <owl:Class> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:ID="yolanda"/> <rdf:Description rdf:ID="zebedee"/> </owl:oneOf> </owl:Class> </owl:equivalentClass> </owl:Class> </rdf:RDF> | |||
_:a rdf:type owl:Class . _:c rdf:first first:caroline . _:c rdf:rest rdf:nil . _: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 . |
owl:someValuesFrom
Full | Negative Entailment Test: | 002 | |
---|---|---|---|
Description:
(informative)
<someValuesFrom/Manifest002#test>
|
|||
A simple example showing how owl:someValuesFrom differs from owl:allValuesFrom . | |||
N3 format is informative. | |||
Full | Premises:
<someValuesFrom/premises002>
| ||
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises002#" xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/premises002" > <owl:Class rdf:ID="r"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#p"/> <owl:someValuesFrom rdf:resource="#c"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <owl:ObjectProperty rdf:ID="p"/> <owl:Class rdf:ID="c"/> <first:r rdf:ID="i"> <first:p rdf:resource="#o"/> </first:r> </rdf:RDF> | |||
first:r rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:someValuesFrom first:c . first:r rdfs:subClassOf _:a . first:p rdf:type owl:ObjectProperty . first:c rdf:type owl:Class . first:i rdf:type first:r . first:i first:p first:o . | |||
Full | Conclusions:
<someValuesFrom/nonconclusions002>
| ||
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises002#" xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/nonconclusions002" > <first:c rdf:about="premises001#o"/> </rdf:RDF> | |||
<someValuesFrom/premises001#o> rdf:type first:c . |
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 . |