Copyright © 2004 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply.
Contents
owl:AllDifferentowl:AnnotationPropertyowl:Classowl:DatatypePropertyowl:FunctionalPropertyowl:InverseFunctionalPropertyowl:Nothingowl:Ontologyowl:Restrictionowl:SymmetricPropertyowl:Thingowl:TransitivePropertyowl:allValuesFromowl:backwardCompatibleWithowl:cardinalityowl:complementOfowl:differentFromowl:disjointWithowl:distinctMembersowl:equivalentClassowl:equivalentPropertyowl:importsowl:intersectionOfowl:inverseOfowl:maxCardinalityowl:oneOfowl:sameAsowl:someValuesFromowl:unionOfowl: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:AnnotationProperty| Lite | Negative Entailment Test: | 001 | |
|---|---|---|---|
Description:
(informative)
<AnnotationProperty/Manifest001#test>
|
|||
| The semantics of annotations in the direct semantics strictly distinguishes class valued annotations from individual valued annotations. | |||
| N3 format is informative. | |||
| Lite | Premises:
<AnnotationProperty/premises001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/AnnotationProperty/premises001#"
xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/premises001" >
<owl:Class rdf:ID="A">
<first:ap>
<owl:Class rdf:ID="B"/>
</first:ap>
</owl:Class>
<owl:AnnotationProperty rdf:ID="ap"/>
</rdf:RDF> | |||
first:A rdf:type owl:Class . first:B rdf:type owl:Class . first:A first:ap first:B . first:ap rdf:type owl:AnnotationProperty . | |||
| Lite | Conclusions:
<AnnotationProperty/nonconclusions001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/AnnotationProperty/premises001#"
xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/nonconclusions001" >
<owl:Class rdf:about="premises001#A">
<first:ap>
<owl:Thing />
</first:ap>
</owl:Class>
<owl:AnnotationProperty rdf:about="premises001#ap"/>
</rdf:RDF> | |||
first:A rdf:type owl:Class . _:a rdf:type owl:Thing . first:A first:ap _:a . first:ap rdf:type owl:AnnotationProperty . | |||
| Full | Positive Entailment Test: | 002 | |
|---|---|---|---|
Description:
(informative)
<AnnotationProperty/Manifest002#test>
|
|||
| Under the rdfs compatible semantics, the previous non-entailment is, in fact, an entailment. | |||
| N3 format is informative. | |||
| Lite | Premises:
<AnnotationProperty/premises002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/AnnotationProperty/premises002#"
xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/premises002" >
<owl:Class rdf:ID="A">
<first:ap>
<owl:Class rdf:ID="B"/>
</first:ap>
</owl:Class>
<owl:AnnotationProperty rdf:ID="ap"/>
</rdf:RDF> | |||
first:A rdf:type owl:Class . first:B rdf:type owl:Class . first:A first:ap first:B . first:ap rdf:type owl:AnnotationProperty . | |||
| Lite | Conclusions:
<AnnotationProperty/conclusions002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/AnnotationProperty/premises002#"
xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/conclusions002" >
<owl:Class rdf:about="premises002#A">
<first:ap>
<owl:Thing />
</first:ap>
</owl:Class>
<owl:AnnotationProperty rdf:about="premises002#ap"/>
</rdf:RDF> | |||
first:A rdf:type owl:Class . _:a rdf:type owl:Thing . first:A first:ap _:a . first:ap rdf:type owl:AnnotationProperty . | |||
| Full (EC) | Consistent document. | 003 | |
|---|---|---|---|
Description:
(informative)
<AnnotationProperty/Manifest003#test>
|
|||
| URI references used in annotations don't need to be typed. | |||
| N3 format is informative. | |||
| Lite | Consistent:
<AnnotationProperty/consistent003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/AnnotationProperty/consistent003#"
xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/consistent003" >
<owl:AnnotationProperty rdf:ID="ap"/>
<owl:Class rdf:ID="A">
<first:ap>
<rdf:Description rdf:ID="B"/>
</first:ap>
</owl:Class>
</rdf:RDF> | |||
first:ap rdf:type owl:AnnotationProperty . first:A rdf:type owl:Class . first:A first:ap first:B . | |||
| Full (EC) | Consistent document. | 004 | |
|---|---|---|---|
Description:
(informative)
<AnnotationProperty/Manifest004#test>
|
|||
| AnnotationProperty's in OWL Lite and OWL DL, may not have range constraints. | |||
| N3 format is informative. | |||
| Full | Consistent:
<AnnotationProperty/consistent004>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base=
"http://www.w3.org/2002/03owlt/AnnotationProperty/consistent004" >
<owl:AnnotationProperty rdf:ID="ap">
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#string"/>
</owl:AnnotationProperty>
</rdf:RDF> | |||
first:ap rdf:type owl:AnnotationProperty . first:ap rdfs:range xsd:string . | |||
owl:Class| Full | OWL described in OWL. | 001 | |
|---|---|---|---|
Description:
(informative)
<Class/Manifest001#test>
|
|||
| In OWL Full every rdfs:Class is an owl:Class, in particular rdfs:Class is an owl:Class. | |||
| N3 format is informative. | |||
| Full | True:
<Class/conclusions001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/Class/conclusions001" >
<owl:Class rdf:about="http://www.w3.org/2000/01/rdf-schema#Class">
<owl:equivalentClass>
<rdfs:Class rdf:about="http://www.w3.org/2002/07/owl#Class"/>
</owl:equivalentClass>
</owl:Class>
</rdf:RDF> | |||
rdfs:Class rdf:type owl:Class . owl:Class rdf:type rdfs:Class . rdfs:Class owl:equivalentClass owl:Class . | |||
| Full | Positive Entailment Test: | 002 | |
|---|---|---|---|
Description:
(informative)
<Class/Manifest002#test>
|
|||
| In OWL Full, the triple in the premises is synonymous with the triple in the conclusions. | |||
| N3 format is informative. | |||
| Full | Premises:
<Class/premises002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xml:base="http://www.w3.org/2002/03owlt/Class/premises002" >
<rdfs:Class rdf:ID="ex"/>
</rdf:RDF> | |||
first:ex rdf:type rdfs:Class . | |||
| Lite | Conclusions:
<Class/conclusions002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/Class/conclusions002" >
<owl:Class rdf:about="premises002#ex"/>
</rdf:RDF> | |||
first:ex rdf:type owl:Class . | |||
| Full | Positive Entailment Test: | 003 | |
|---|---|---|---|
Description:
(informative)
<Class/Manifest003#test>
|
|||
| In OWL Full, the triple in the premises is synonymous with the triple in the conclusions. | |||
| N3 format is informative. | |||
| Lite | Premises:
<Class/premises003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/Class/premises003" >
<owl:Class rdf:ID="ex"/>
</rdf:RDF> | |||
first:ex rdf:type owl:Class . | |||
| Full | Conclusions:
<Class/conclusions003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xml:base="http://www.w3.org/2002/03owlt/Class/conclusions003" >
<rdfs:Class rdf:about="premises003#ex"/>
</rdf:RDF> | |||
first:ex rdf:type rdfs:Class . | |||
| Full (EC) | Negative Entailment Test: | 004 | |
|---|---|---|---|
Description:
(informative)
<Class/Manifest004#test>
|
|||
| Annotations about owl:Class are not related to those about rdfs:Class. | |||
| N3 format is informative. | |||
| Namespaces: | |||
@prefix dc: <http://purl.org/dc/elements/1.0/> . | |||
| Full | Premises:
<Class/premises004>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/Class/premises004#"
xmlns:dc='http://purl.org/dc/elements/1.0/'
xml:base="http://www.w3.org/2002/03owlt/Class/premises004" >
<owl:Class rdf:ID="WorkingGroup"/>
<owl:Class rdf:about="http://www.w3.org/2000/01/rdf-schema#Class">
<dc:creator>
<first:WorkingGroup
rdf:about="http://www.w3.org/RDF/Group/Schema/members" />
</dc:creator>
</owl:Class>
</rdf:RDF> | |||
first:WorkingGroup rdf:type owl:Class . rdfs:Class rdf:type owl:Class . <http://www.w3.org/RDF/Group/Schema/members> rdf:type first:WorkingGroup . rdfs:Class dc:creator <http://www.w3.org/RDF/Group/Schema/members> . | |||
| Full | Conclusions:
<Class/nonconclusions004>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/Class/premises004#"
xmlns:dc='http://purl.org/dc/elements/1.0/'
xml:base="http://www.w3.org/2002/03owlt/Class/nonconclusions004" >
<owl:Class rdf:about="premises004#WorkingGroup"/>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Class">
<dc:creator>
<first:WorkingGroup />
</dc:creator>
</owl:Class>
</rdf:RDF> | |||
first:WorkingGroup rdf:type owl:Class . owl:Class rdf:type owl:Class . _:a rdf:type first:WorkingGroup . owl:Class dc:creator _:a . | |||
| DL Full | Negative Entailment Test: | 005 | |
|---|---|---|---|
Description:
(informative)
<Class/Manifest005#test>
|
|||
This test shows a potential misapplication of OWL Full comprehension rules.
It also shows optional type triples on an owl:Class. | |||
| N3 format is informative. | |||
| Lite | Premises:
<Class/premises005>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/Class/premises005" >
<owl:Thing rdf:ID="x"/>
</rdf:RDF> | |||
first:x rdf:type owl:Thing . | |||
| DL | Conclusions:
<Class/nonconclusions005>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/Class/nonconclusions005" >
<owl:Class rdf:ID="c"/>
<rdf:Description rdf:about="premises005#x">
<rdf:type>
<rdf:Description>
<rdf:type
rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
<rdf:type
rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:about="#c" />
<owl:Class>
<owl:complementOf rdf:resource="#c"/>
</owl:Class>
</owl:unionOf>
</rdf:Description>
</rdf:type>
</rdf:Description>
</rdf:RDF> | |||
second:c rdf:type owl:Class . _:a rdf:type owl:Class . _:a rdf:type rdfs:Class . _:c rdf:type owl:Class . _:c owl:complementOf second:c . _:e rdf:first _:c . _:e rdf:rest rdf:nil . _:g rdf:first second:c . _:g rdf:rest _:e . _:a owl:unionOf _:g . first:x rdf:type _:a . | |||
| Full | Positive Entailment Test: | 006 | |
|---|---|---|---|
Description:
(informative)
<Class/Manifest006#test>
|
|||
This test shows a correct application of OWL Full comprehension rules.
It also shows that use of rdfs:Class instead of owl:Class
may make a file fall outside OWL DL. | |||
| N3 format is informative. | |||
| Lite | Premises:
<Class/premises006>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/Class/premises006" >
<owl:Thing rdf:ID="x"/>
<owl:Class rdf:ID="c"/>
</rdf:RDF> | |||
first:x rdf:type owl:Thing . first:c rdf:type owl:Class . | |||
| Full | Conclusions:
<Class/conclusions006>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#'
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/Class/conclusions006" >
<rdf:Description rdf:about="premises006#x">
<rdf:type>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="premises006#c" />
<rdfs:Class>
<owl:complementOf rdf:resource="premises006#c"/>
</rdfs:Class>
</owl:unionOf>
</owl:Class>
</rdf:type>
</rdf:Description>
</rdf:RDF> | |||
_:a rdf:type owl:Class . first:c rdf:type owl:Class . _:c rdf:type rdfs:Class . _:c owl:complementOf first:c . _:e rdf:first _:c . _:e rdf:rest rdf:nil . _:g rdf:first first:c . _:g rdf:rest _:e . _:a owl:unionOf _:g . first:x rdf:type _:a . | |||
owl:DatatypeProperty| Full (EC) | Consistent document. | 001 | |
|---|---|---|---|
Description:
(informative)
<DatatypeProperty/Manifest001#test>
|
|||
| DatatypeProperty's may be used to related typed literals to typed literals, in OWL Full. | |||
| N3 format is informative. | |||
| Full | Consistent:
<DatatypeProperty/consistent001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/DatatypeProperty/consistent001#"
xml:base="http://www.w3.org/2002/03owlt/DatatypeProperty/consistent001" >
<owl:DatatypeProperty rdf:ID="convertedAbsoluteValue">
<rdfs:domain rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#nonNegativeInteger" />
</owl:DatatypeProperty>
<rdf:Description>
<owl:sameAs rdf:datatype=
"http://www.w3.org/2001/XMLSchema#integer"
>-3</owl:sameAs>
<first:convertedAbsoluteValue rdf:datatype=
"http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>3</first:convertedAbsoluteValue>
</rdf:Description>
</rdf:RDF> | |||
first:convertedAbsoluteValue rdf:type owl:DatatypeProperty . first:convertedAbsoluteValue rdfs:domain xsd:integer . first:convertedAbsoluteValue rdfs:range xsd:nonNegativeInteger . _:a owl:sameAs "-3"^^xsd:integer . _:a first:convertedAbsoluteValue "3"^^xsd:nonNegativeInteger . | |||
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 objects
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 objects
of these triples have the same denotation.Hence any assertion made
using one of them can be transferred to the other. | |||
| N3 format is informative. | |||
| Namespaces: | |||
@prefix eg: <http://www.example.org/> . | |||
| Full | Premises:
<FunctionalProperty/premises002>
| ||
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl ="http://www.w3.org/2002/07/owl#"
xmlns:eg ="http://www.example.org/"
xmlns:first="http://www.w3.org/2002/03owlt/FunctionalProperty/premises002#"
xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises002" >
<owl:FunctionalProperty rdf:ID="prop"/>
<rdf:Description rdf:ID="subject">
<first:prop>
<rdf:Description rdf:ID="object1">
<eg:prop2>value</eg:prop2>
</rdf:Description>
</first:prop>
<first:prop rdf:resource="#object2" />
</rdf:Description>
</rdf:RDF> | |||
first:prop rdf:type owl:FunctionalProperty . first:object1 eg:prop2 "value" . first:subject first:prop first:object1 . first:subject first:prop first:object2 . | |||
| Full | Conclusions:
<FunctionalProperty/conclusions002>
| ||
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:eg ="http://www.example.org/"
xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions002" >
<rdf:Description rdf:about="premises002#object2" >
<eg:prop2>value</eg:prop2>
</rdf:Description>
</rdf:RDF> | |||
first:object2 eg:prop2 "value" . | |||
| Full | Positive Entailment Test: | 003 | |
|---|---|---|---|
Description:
(informative)
<FunctionalProperty/Manifest003#test>
|
|||
If prop is an owl:FunctionalProperty,
then its inverse is an owl:InverseFunctionalProperty. | |||
| N3 format is informative. | |||
| Full | Premises:
<FunctionalProperty/premises003>
| ||
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl ="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises003" >
<owl:FunctionalProperty rdf:ID="prop">
<owl:inverseOf rdf:resource="#inv"/>
</owl:FunctionalProperty>
</rdf:RDF> | |||
first:prop rdf:type owl:FunctionalProperty . first:prop owl:inverseOf first:inv . | |||
| Lite | Conclusions:
<FunctionalProperty/conclusions003>
| ||
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl ="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003" >
<owl:InverseFunctionalProperty rdf:about="premises003#inv"/>
</rdf:RDF> | |||
first:inv rdf:type owl:InverseFunctionalProperty . | |||
| Full | Positive Entailment Test: | 004 | |
|---|---|---|---|
Description:
(informative)
<FunctionalProperty/Manifest004#test>
|
|||
If the range of prop is a singleton set then it is necessarily functional, (i.e. every member of its domain
has a single value) and so it is an owl:FunctionalProperty. | |||
| N3 format is informative. | |||
| Full | Premises:
<FunctionalProperty/premises004>
| ||
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl ="http://www.w3.org/2002/07/owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises004" >
<owl:ObjectProperty rdf:ID="prop">
<rdfs:range rdf:resource="#Singleton"/>
</owl:ObjectProperty>
<rdfs:Class rdf:ID="Singleton">
<owl:oneOf rdf:parseType="Collection">
<rdf:Description/>
</owl:oneOf>
</rdfs:Class>
</rdf:RDF> | |||
first:prop rdf:type owl:ObjectProperty . first:prop rdfs:range first:Singleton . first:Singleton rdf:type rdfs:Class . _:a rdf:first _:b . _:a rdf:rest rdf:nil . first:Singleton owl:oneOf _:a . | |||
| Full | Conclusions:
<FunctionalProperty/conclusions004>
| ||
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl ="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions004" >
<owl:FunctionalProperty rdf:about="premises004#prop"/>
</rdf:RDF> | |||
first:prop rdf:type owl:FunctionalProperty . | |||
| Full | Positive Entailment Test: | 005 | |
|---|---|---|---|
Description:
(informative)
<FunctionalProperty/Manifest005#test>
|
|||
If prop belongs to owl:FunctionalProperty
then an OWL individual has at most one value for prop. | |||
| N3 format is informative. | |||
| Namespaces: | |||
@prefix eg: <http://www.example.org/> . | |||
| Full | Premises:
<FunctionalProperty/premises005>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises005"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl ="http://www.w3.org/2002/07/owl#"
xmlns:eg ="http://www.example.org/">
<owl:FunctionalProperty rdf:about="http://www.example.org/foo#prop" />
<owl:Thing rdf:about="http://www.example.org/foo#object" />
</rdf:RDF> | |||
eg:foo#prop rdf:type owl:FunctionalProperty . eg:foo#object rdf:type owl:Thing . | |||
| Full | Conclusions:
<FunctionalProperty/conclusions005>
| ||
<rdf:RDF
xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions005"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl ="http://www.w3.org/2002/07/owl#"
xmlns:eg ="http://www.example.org/">
<owl:Thing rdf:about="http://www.example.org/foo#object">
<rdf:type>
<owl:Restriction>
<owl:onProperty>
<owl:FunctionalProperty rdf:about="http://www.example.org/foo#prop" />
</owl:onProperty>
<owl:maxCardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>1</owl:maxCardinality>
</owl:Restriction>
</rdf:type>
</owl:Thing>
</rdf:RDF> | |||
eg:foo#object rdf:type owl:Thing . _:a rdf:type owl:Restriction . eg:foo#prop rdf:type owl:FunctionalProperty . _:a owl:onProperty eg:foo#prop . _:a owl:maxCardinality "1"^^xsd:nonNegativeInteger . eg:foo#object rdf:type _:a . | |||
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 subjects
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 subjects
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| Lite Full | Inconsistent document. | 001 | |
|---|---|---|---|
Description:
(informative)
<Nothing/Manifest001#test>
|
|||
The triple asserts something of type owl:Nothing, however
that is the empty class. | |||
| N3 format is informative. | |||
| Lite | Inconsistent:
<Nothing/inconsistent001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/Nothing/inconsistent001" >
<owl:Nothing/>
</rdf:RDF> | |||
_:a rdf:type owl:Nothing . | |||
| DL Full | OWL described in OWL. | 002 | |
|---|---|---|---|
Description:
(informative)
<Nothing/Manifest002#test>
|
|||
An empty owl:Class has the same class extension as owl:Nothing. | |||
| N3 format is informative. | |||
| DL | True:
<Nothing/conclusions002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base='http://www.w3.org/2002/03owlt/Nothing/conclusions002'
xmlns:owl="http://www.w3.org/2002/07/owl#">
<owl:Class>
<owl:oneOf rdf:parseType="Collection"/>
<owl:equivalentClass rdf:resource="http://www.w3.org/2002/07/owl#Nothing" />
</owl:Class>
</rdf:RDF> | |||
_:a rdf:type owl:Class . _:a owl:oneOf rdf:nil . _:a owl:equivalentClass owl:Nothing . | |||
owl:Ontology| Lite Full | Positive Entailment Test: | 001 | |
|---|---|---|---|
Description:
(informative)
<Ontology/Manifest001#test>
|
|||
This is a variation of equivalentClass-001,
showing the use of owl:Ontology triples in the premises and conclusions. | |||
| N3 format is informative. | |||
| Lite | Premises:
<Ontology/premises001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/Ontology/premises001#"
xml:base="http://www.w3.org/2002/03owlt/Ontology/premises001" >
<owl:Ontology rdf:about="" />
<owl:Class rdf:ID="Car">
<owl:equivalentClass>
<owl:Class rdf:ID="Automobile"/>
</owl:equivalentClass>
</owl:Class>
<first:Car rdf:ID="car">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
</first:Car>
<first:Automobile rdf:ID="auto">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
</first:Automobile>
</rdf:RDF> | |||
<Ontology/premises001> rdf:type owl:Ontology . first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class . first:Car owl:equivalentClass first:Automobile . first:car rdf:type first:Car . first:car rdf:type owl:Thing . first:auto rdf:type first:Automobile . first:auto rdf:type owl:Thing . | |||
| Lite | Conclusions:
<Ontology/conclusions001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/Ontology/premises001#"
xml:base="http://www.w3.org/2002/03owlt/Ontology/conclusions001" >
<owl:Ontology />
<first:Car rdf:about="premises001#auto">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
</first:Car>
<first:Automobile rdf:about="premises001#car">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
</first:Automobile>
<owl:Class rdf:about="premises001#Car"/>
<owl:Class rdf:about="premises001#Automobile"/>
</rdf:RDF> | |||
_:a rdf:type owl:Ontology . first:auto rdf:type first:Car . first:auto rdf:type owl:Thing . first:car rdf:type first:Automobile . first:car rdf:type owl:Thing . first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class . | |||
| Lite Full | Negative Entailment Test: | 003 | |
|---|---|---|---|
Description:
(informative)
<Ontology/Manifest003#test>
|
|||
This is a variation of equivalentClass-001,
showing the use of owl:Ontology triple only in the conclusions. | |||
| N3 format is informative. | |||
| Lite | Premises:
<Ontology/premises003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/Ontology/premises003#"
xml:base="http://www.w3.org/2002/03owlt/Ontology/premises003" >
<owl:Class rdf:ID="Car">
<owl:equivalentClass>
<owl:Class rdf:ID="Automobile"/>
</owl:equivalentClass>
</owl:Class>
<first:Car rdf:ID="car">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
</first:Car>
<first:Automobile rdf:ID="auto">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
</first:Automobile>
</rdf:RDF> | |||
first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class . first:Car owl:equivalentClass first:Automobile . first:car rdf:type first:Car . first:car rdf:type owl:Thing . first:auto rdf:type first:Automobile . first:auto rdf:type owl:Thing . | |||
| Lite | Conclusions:
<Ontology/nonconclusions003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/Ontology/premises003#"
xml:base="http://www.w3.org/2002/03owlt/Ontology/nonconclusions003" >
<owl:Ontology />
<first:Car rdf:about="premises003#auto">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
</first:Car>
<first:Automobile rdf:about="premises003#car">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
</first:Automobile>
<owl:Class rdf:about="premises003#Car"/>
<owl:Class rdf:about="premises003#Automobile"/>
</rdf:RDF> | |||
_:a rdf:type owl:Ontology . first:auto rdf:type first:Car . first:auto rdf:type owl:Thing . first:car rdf:type first:Automobile . first:car rdf:type owl:Thing . first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class . | |||
| Lite Full | Positive Entailment Test: | 004 | |
|---|---|---|---|
Description:
(informative)
<Ontology/Manifest004#test>
|
|||
This is a variation of equivalentClass-001,
showing the use of two owl:Ontology triples in the premises. | |||
| N3 format is informative. | |||
| Lite | Premises:
<Ontology/premises004>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/Ontology/premises004#"
xml:base="http://www.w3.org/2002/03owlt/Ontology/premises004" >
<owl:Ontology rdf:about="" />
<owl:Ontology rdf:about="http://www.example.org/" />
<owl:Class rdf:ID="Car">
<owl:equivalentClass>
<owl:Class rdf:ID="Automobile"/>
</owl:equivalentClass>
</owl:Class>
<first:Car rdf:ID="car">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
</first:Car>
<first:Automobile rdf:ID="auto">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
</first:Automobile>
</rdf:RDF> | |||
<Ontology/premises004> rdf:type owl:Ontology . <http://www.example.org/> rdf:type owl:Ontology . first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class . first:Car owl:equivalentClass first:Automobile . first:car rdf:type first:Car . first:car rdf:type owl:Thing . first:auto rdf:type first:Automobile . first:auto rdf:type owl:Thing . | |||
| Lite | Conclusions:
<Ontology/conclusions004>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/Ontology/premises004#"
xml:base="http://www.w3.org/2002/03owlt/Ontology/conclusions004" >
<first:Car rdf:about="premises004#auto">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
</first:Car>
<first:Automobile rdf:about="premises004#car">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
</first:Automobile>
<owl:Class rdf:about="premises004#Car"/>
<owl:Class rdf:about="premises004#Automobile"/>
</rdf:RDF> | |||
first:auto rdf:type first:Car . first:auto rdf:type owl:Thing . first:car rdf:type first:Automobile . first:car rdf:type owl:Thing . first:Car rdf:type owl:Class . first:Automobile rdf:type owl:Class . | |||
owl:Restriction| Lite Full | Inconsistent document. | 001 | |
|---|---|---|---|
Description:
(informative)
<Restriction/Manifest001#test>
|
|||
| This test shows the syntax for using the same restriction twice in OWL Lite. | |||
| N3 format is informative. | |||
| Lite | Inconsistent:
<Restriction/inconsistent001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/Restriction/inconsistent001#"
xml:base="http://www.w3.org/2002/03owlt/Restriction/inconsistent001" >
<owl:ObjectProperty rdf:ID="op"/>
<rdf:Description rdf:ID="a">
<rdf:type>
<owl:Restriction>
<owl:onProperty rdf:resource="#op"/>
<owl:someValuesFrom rdf:resource=
"http://www.w3.org/2002/07/owl#Nothing" />
</owl:Restriction>
</rdf:type>
</rdf:Description>
<rdf:Description rdf:ID="b">
<rdf:type>
<owl:Restriction>
<owl:onProperty rdf:resource="#op"/>
<owl:someValuesFrom rdf:resource=
"http://www.w3.org/2002/07/owl#Nothing" />
</owl:Restriction>
</rdf:type>
</rdf:Description>
</rdf:RDF> | |||
first:op rdf:type owl:ObjectProperty . _:a rdf:type owl:Restriction . _:a owl:onProperty first:op . _:a owl:someValuesFrom owl:Nothing . first:a rdf:type _:a . _:c rdf:type owl:Restriction . _:c owl:onProperty first:op . _:c owl:someValuesFrom owl:Nothing . first:b rdf:type _:c . | |||
| Full | Inconsistent document. | 002 | |
|---|---|---|---|
Description:
(informative)
<Restriction/Manifest002#test>
|
|||
| This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice. | |||
| N3 format is informative. | |||
| Full | Inconsistent:
<Restriction/inconsistent002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/Restriction/inconsistent002" >
<owl:ObjectProperty rdf:ID="op"/>
<rdf:Description rdf:ID="a">
<rdf:type>
<owl:Restriction rdf:nodeID="r">
<owl:onProperty rdf:resource="#op"/>
<owl:someValuesFrom rdf:resource=
"http://www.w3.org/2002/07/owl#Nothing" />
</owl:Restriction>
</rdf:type>
</rdf:Description>
<rdf:Description rdf:ID="b">
<rdf:type rdf:nodeID="r"/>
</rdf:Description>
</rdf:RDF> | |||
first:op rdf:type owl:ObjectProperty . _:a rdf:type owl:Restriction . _:a owl:onProperty first:op . _:a owl:someValuesFrom owl:Nothing . first:a rdf:type _:a . first:b rdf:type _:a . | |||
| Full (EC) | Consistent document. | 003 | |
|---|---|---|---|
Description:
(informative)
<Restriction/Manifest003#test>
|
|||
| This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice. | |||
| Datatypes that may or may not be supported: | xsd:byte, | ||
| N3 format is informative. | |||
| Full | Consistent:
<Restriction/consistent003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/Restriction/consistent003#"
xml:base="http://www.w3.org/2002/03owlt/Restriction/consistent003" >
<owl:DatatypeProperty rdf:ID="dp"/>
<owl:Class rdf:ID="C">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="superC"/>
<owl:Restriction rdf:nodeID="r">
<owl:onProperty rdf:resource="#dp"/>
<owl:someValuesFrom rdf:resource=
"http://www.w3.org/2001/XMLSchema#byte" />
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="D">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="superD"/>
<rdf:Description rdf:nodeID="r"/>
</owl:intersectionOf>
</owl:Class>
</rdf:RDF> | |||
first:dp rdf:type owl:DatatypeProperty . first:C rdf:type owl:Class . first:superC rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:dp . _:a owl:someValuesFrom xsd:byte . _:c rdf:first _:a . _:c rdf:rest rdf:nil . _:e rdf:first first:superC . _:e rdf:rest _:c . first:C owl:intersectionOf _:e . first:D rdf:type owl:Class . first:superD rdf:type owl:Class . _:g rdf:first _:a . _:g rdf:rest rdf:nil . _:i rdf:first first:superD . _:i rdf:rest _:g . first:D owl:intersectionOf _:i . | |||
| Lite Full | Consistent document. | 004 | |
|---|---|---|---|
Description:
(informative)
<Restriction/Manifest004#test>
|
|||
| This test shows OWL Lite syntax for using two equivalent restrictions. | |||
| Datatypes that may or may not be supported: | xsd:byte, | ||
| N3 format is informative. | |||
| Lite | Consistent:
<Restriction/consistent004>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/Restriction/consistent004" >
<owl:DatatypeProperty rdf:ID="dp"/>
<owl:Class rdf:ID="C">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="superC"/>
<owl:Restriction>
<owl:onProperty rdf:resource="#dp"/>
<owl:someValuesFrom rdf:resource=
"http://www.w3.org/2001/XMLSchema#byte" />
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="D">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="superD"/>
<owl:Restriction>
<owl:onProperty rdf:resource="#dp"/>
<owl:someValuesFrom rdf:resource=
"http://www.w3.org/2001/XMLSchema#byte" />
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</rdf:RDF> | |||
first:dp rdf:type owl:DatatypeProperty . first:C rdf:type owl:Class . first:superC rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:dp . _:a owl:someValuesFrom xsd:byte . _:c rdf:first _:a . _:c rdf:rest rdf:nil . _:e rdf:first first:superC . _:e rdf:rest _:c . first:C owl:intersectionOf _:e . first:D rdf:type owl:Class . first:superD rdf:type owl:Class . _:g rdf:type owl:Restriction . _:g owl:onProperty first:dp . _:g owl:someValuesFrom xsd:byte . _:i rdf:first _:g . _:i rdf:rest rdf:nil . _:k rdf:first first:superD . _:k rdf:rest _:i . first:D owl:intersectionOf _:k . | |||
| Lite Full | Negative Entailment Test: | 005 | |
|---|---|---|---|
Description:
(informative)
<Restriction/Manifest005#test>
|
|||
This test shows a potential misapplication of OWL Full comprehension rules.
It also shows optional type triples on an owl:Restriction. | |||
| N3 format is informative. | |||
| Lite | Premises:
<Restriction/premises005>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/Restriction/premises005" >
<owl:Thing rdf:ID="x">
<rdf:type>
<owl:Restriction>
<rdf:type
rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
<owl:onProperty>
<owl:ObjectProperty rdf:about="premises005#p" />
</owl:onProperty>
<owl:maxCardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Restriction>
</rdf:type>
</owl:Thing>
<owl:ObjectProperty rdf:ID="p" />
</rdf:RDF> | |||
first:x rdf:type owl:Thing . _:a rdf:type owl:Restriction . _:a rdf:type rdfs:Class . first:p rdf:type owl:ObjectProperty . _:a owl:onProperty first:p . _:a owl:maxCardinality "0"^^xsd:int . first:x rdf:type _:a . first:p rdf:type owl:ObjectProperty . | |||
| Lite | Conclusions:
<Restriction/nonconclusions005>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/Restriction/premises005#"
xmlns:second="http://www.w3.org/2002/03owlt/Restriction/nonconclusions005#"
xml:base="http://www.w3.org/2002/03owlt/Restriction/nonconclusions005" >
<rdf:Description rdf:about="premises005#x">
<rdf:type>
<owl:Restriction>
<rdf:type
rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
<rdf:type
rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
<owl:onProperty>
<owl:ObjectProperty rdf:about="premises005#p" />
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:ID="c">
<rdf:type
rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
</owl:Class>
</owl:allValuesFrom>
</owl:Restriction>
</rdf:type>
</rdf:Description>
</rdf:RDF> | |||
_:a rdf:type owl:Restriction . _:a rdf:type rdfs:Class . _:a rdf:type owl:Class . first:p rdf:type owl:ObjectProperty . _:a owl:onProperty first:p . second:c rdf:type owl:Class . second:c rdf:type rdfs:Class . _:a owl:allValuesFrom second:c . first:x rdf:type _:a . | |||
| Full | Positive Entailment Test: | 006 | |
|---|---|---|---|
Description:
(informative)
<Restriction/Manifest006#test>
|
|||
This test shows a correct application of OWL Full comprehension rules.
It also shows that optional type triples on an owl:Restriction
do not replace the obligatory ones. | |||
| N3 format is informative. | |||
| Lite | Premises:
<Restriction/premises006>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/Restriction/premises006" >
<owl:Thing rdf:ID="x"/>
<owl:ObjectProperty rdf:ID="p" />
</rdf:RDF> | |||
first:x rdf:type owl:Thing . first:p rdf:type owl:ObjectProperty . | |||
| Full | Conclusions:
<Restriction/conclusions006>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/Restriction/conclusions006" >
<rdf:Description rdf:about="premises006#x">
<rdf:type>
<rdf:Description>
<rdf:type
rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
<owl:unionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="premises006#p" />
</owl:onProperty>
<owl:someValuesFrom rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
</owl:Restriction>
<owl:Class>
<owl:onProperty>
<owl:ObjectProperty rdf:about="premises006#p" />
</owl:onProperty>
<owl:maxCardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#int"
>0</owl:maxCardinality>
</owl:Class>
</owl:unionOf>
</rdf:Description>
</rdf:type>
</rdf:Description>
</rdf:RDF> | |||
_:a rdf:type owl:Class . _:c rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:c owl:onProperty first:p . _:c owl:someValuesFrom owl:Thing . _:e rdf:type owl:Class . first:p rdf:type owl:ObjectProperty . _:e owl:onProperty first:p . _:e owl:maxCardinality "0"^^xsd:int . _:g rdf:first _:e . _:g rdf:rest rdf:nil . _:i rdf:first _:c . _:i rdf:rest _:g . _:a owl:unionOf _:i . first:x rdf:type _:a . | |||
owl:SymmetricProperty| Full | Positive Entailment Test: | 001 | |
|---|---|---|---|
Description:
(informative)
<SymmetricProperty/Manifest001#test>
|
|||
| A simple illustration of symmetric properties. | |||
| N3 format is informative. | |||
| Full | Premises:
<SymmetricProperty/premises001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#"
xmlns:second="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001#"
xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/premises001" >
<rdf:Description rdf:about="premises001#Ghent">
<first:path rdf:resource="premises001#Antwerp"/>
</rdf:Description>
<owl:SymmetricProperty rdf:about="premises001#path"/>
</rdf:RDF> | |||
first:Ghent first:path first:Antwerp . first:path rdf:type owl:SymmetricProperty . | |||
| Full | Conclusions:
<SymmetricProperty/conclusions001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/SymmetricProperty/premises001#"
xmlns:second="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001#"
xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001" >
<rdf:Description rdf:about="premises001#Antwerp">
<first:path rdf:resource="premises001#Ghent"/>
</rdf:Description>
</rdf:RDF> | |||
first:Antwerp first:path first:Ghent . | |||
| DL Full | Positive Entailment Test: | 002 | |
|---|---|---|---|
Description:
(informative)
<SymmetricProperty/Manifest002#test>
|
|||
Test illustrating extensional semantics of owl:SymmetricProperty. | |||
| N3 format is informative. | |||
| DL | Premises:
<SymmetricProperty/premises002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/SymmetricProperty/premises002#"
xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/premises002" >
<owl:InverseFunctionalProperty rdf:about="#equalityOnA">
<rdfs:range>
<owl:Class rdf:ID="A">
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:ID="a"/>
<owl:Thing rdf:ID="b"/>
</owl:oneOf>
</owl:Class>
</rdfs:range>
</owl:InverseFunctionalProperty>
<owl:Thing rdf:about="#a">
<first:equalityOnA rdf:resource="#a"/>
</owl:Thing>
<owl:Thing rdf:about="#b">
<first:equalityOnA rdf:resource="#b"/>
</owl:Thing>
<owl:Thing rdf:ID="c"/>
</rdf:RDF> | |||
first:equalityOnA rdf:type owl:InverseFunctionalProperty . first:A rdf:type owl:Class . first:a rdf:type owl:Thing . first:b rdf:type owl:Thing . _:a rdf:first first:b . _:a rdf:rest rdf:nil . _:c rdf:first first:a . _:c rdf:rest _:a . first:A owl:oneOf _:c . first:equalityOnA rdfs:range first:A . first:a rdf:type owl:Thing . first:a first:equalityOnA first:a . first:b rdf:type owl:Thing . first:b first:equalityOnA first:b . first:c rdf:type owl:Thing . | |||
| DL | Conclusions:
<SymmetricProperty/conclusions002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/SymmetricProperty/premises002#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions002" >
<owl:SymmetricProperty rdf:about="premises002#equalityOnA">
<rdfs:domain>
<owl:Class>
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:about="premises002#a"/>
<owl:Thing rdf:about="premises002#b"/>
<owl:Thing rdf:about="premises002#c"/>
</owl:oneOf>
</owl:Class>
</rdfs:domain>
</owl:SymmetricProperty>
<owl:Thing rdf:about="premises002#a">
<first:equalityOnA rdf:resource="premises002#a"/>
</owl:Thing>
</rdf:RDF> | |||
first:equalityOnA rdf:type owl:SymmetricProperty . _:a rdf:type owl:Class . first:a rdf:type owl:Thing . first:b rdf:type owl:Thing . first:c rdf:type owl:Thing . _:c rdf:first first:c . _:c rdf:rest rdf:nil . _:e rdf:first first:b . _:e rdf:rest _:c . _:g rdf:first first:a . _:g rdf:rest _:e . _:a owl:oneOf _:g . first:equalityOnA rdfs:domain _:a . first:a rdf:type owl:Thing . first:a first:equalityOnA first:a . | |||
| Lite Full | Positive Entailment Test: | 003 | |
|---|---|---|---|
Description:
(informative)
<SymmetricProperty/Manifest003#test>
|
|||
| A Lite version of test 001. | |||
| N3 format is informative. | |||
| Lite | Premises:
<SymmetricProperty/premises003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/SymmetricProperty/premises003#"
xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/premises003" >
<owl:Thing rdf:about="premises003#Ghent">
<first:path>
<owl:Thing rdf:about="premises003#Antwerp"/>
</first:path>
</owl:Thing>
<owl:SymmetricProperty rdf:about="premises003#path"/>
</rdf:RDF> | |||
first:Ghent rdf:type owl:Thing . first:Antwerp rdf:type owl:Thing . first:Ghent first:path first:Antwerp . first:path rdf:type owl:SymmetricProperty . | |||
| Lite | Conclusions:
<SymmetricProperty/conclusions003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/SymmetricProperty/premises003#"
xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions003" >
<owl:Thing rdf:about="premises003#Antwerp">
<first:path>
<owl:Thing rdf:about="premises003#Ghent"/>
</first:path>
</owl:Thing>
<owl:ObjectProperty rdf:about="premises003#path"/>
</rdf:RDF> | |||
first:Antwerp rdf:type owl:Thing . first:Ghent rdf:type owl:Thing . first:Antwerp first:path first:Ghent . first:path rdf:type owl:ObjectProperty . | |||
owl:Thing| Lite Full | Inconsistent document. | 003 | |
|---|---|---|---|
Description:
(informative)
<Thing/Manifest003#test>
|
|||
| The extension of OWL Thing may not be empty. | |||
| N3 format is informative. | |||
| Lite | Inconsistent:
<Thing/inconsistent003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/Thing/inconsistent003" >
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing">
<owl:equivalentClass rdf:resource
="http://www.w3.org/2002/07/owl#Nothing"/>
</owl:Class>
</rdf:RDF> | |||
owl:Thing rdf:type owl:Class . owl:Thing owl:equivalentClass owl:Nothing . | |||
| DL | Consistent document. | 004 | |
|---|---|---|---|
Description:
(informative)
<Thing/Manifest004#test>
|
|||
| The extension of OWL Thing may be a singleton in OWL DL. | |||
| N3 format is informative. | |||
| DL | Consistent:
<Thing/consistent004>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/Thing/consistent004" >
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing">
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:about="#s"/>
</owl:oneOf>
</owl:Class>
</rdf:RDF> | |||
owl:Thing rdf:type owl:Class . first:s rdf:type owl:Thing . _:a rdf:first first:s . _:a rdf:rest rdf:nil . owl:Thing owl:oneOf _:a . | |||
| Full | Inconsistent document. | 005 | |
|---|---|---|---|
Description:
(informative)
<Thing/Manifest005#test>
|
|||
| The extension of OWL Thing may not be a singleton in OWL Full. | |||
| N3 format is informative. | |||
| Full | Inconsistent:
<Thing/inconsistent005>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/Thing/inconsistent005" >
<rdf:Description rdf:about="http://www.w3.org/2002/07/owl#Thing">
<owl:oneOf rdf:parseType="Collection">
<rdf:Description rdf:about="#s"/>
</owl:oneOf>
</rdf:Description>
</rdf:RDF> | |||
_:a rdf:first first:s . _:a rdf:rest rdf:nil . owl:Thing owl:oneOf _:a . | |||
owl:TransitiveProperty| Full | Positive Entailment Test: | 001 | |
|---|---|---|---|
Description:
(informative)
<TransitiveProperty/Manifest001#test>
|
|||
| A simple illustration of transitivity. | |||
| N3 format is informative. | |||
| Full | Premises:
<TransitiveProperty/premises001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#"
xmlns:second="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001#"
xml:base="http://www.w3.org/2002/03owlt/TransitiveProperty/premises001" >
<rdf:Description rdf:about="premises001#Antwerp">
<first:path rdf:resource="premises001#Amsterdam"/>
</rdf:Description>
<rdf:Description rdf:about="premises001#Ghent">
<first:path rdf:resource="premises001#Antwerp"/>
</rdf:Description>
<owl:TransitiveProperty rdf:about="premises001#path"/>
</rdf:RDF> | |||
first:Antwerp first:path first:Amsterdam . first:Ghent first:path first:Antwerp . first:path rdf:type owl:TransitiveProperty . | |||
| Full | Conclusions:
<TransitiveProperty/conclusions001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/TransitiveProperty/premises001#"
xmlns:second="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001#"
xml:base="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001" >
<rdf:Description rdf:about="premises001#Ghent">
<first:path rdf:resource="premises001#Amsterdam"/>
</rdf:Description>
</rdf:RDF> | |||
first:Ghent first:path first:Amsterdam . | |||
| DL Full | Positive Entailment Test: | 002 | |
|---|---|---|---|
Description:
(informative)
<TransitiveProperty/Manifest002#test>
|
|||
Test illustrating extensional semantics of owl:TransitiveProperty. | |||
| N3 format is informative. | |||
| DL | Premises:
<TransitiveProperty/premises002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/TransitiveProperty/premises002#"
xmlns:second="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions002#"
xml:base="http://www.w3.org/2002/03owlt/TransitiveProperty/premises002" >
<owl:SymmetricProperty rdf:ID="symProp">
<rdfs:range>
<owl:Class>
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:ID="a"/>
<owl:Thing rdf:ID="b"/>
</owl:oneOf>
</owl:Class>
</rdfs:range>
</owl:SymmetricProperty>
<owl:Thing rdf:about="#a">
<first:symProp rdf:resource="#a"/>
</owl:Thing>
<owl:Thing rdf:about="#b">
<first:symProp rdf:resource="#b"/>
</owl:Thing>
</rdf:RDF> | |||
first:symProp rdf:type owl:SymmetricProperty . _:a rdf:type owl:Class . first:a rdf:type owl:Thing . first:b rdf:type owl:Thing . _:c rdf:first first:b . _:c rdf:rest rdf:nil . _:e rdf:first first:a . _:e rdf:rest _:c . _:a owl:oneOf _:e . first:symProp rdfs:range _:a . first:a rdf:type owl:Thing . first:a first:symProp first:a . first:b rdf:type owl:Thing . first:b first:symProp first:b . | |||
| Lite | Conclusions:
<TransitiveProperty/conclusions002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/TransitiveProperty/premises002#"
xmlns:second="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions002#"
xml:base="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions002" >
<owl:TransitiveProperty rdf:about="premises002#symProp"/>
<rdf:Description rdf:about="premises002#a">
<rdf:type>
<owl:Restriction>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
<owl:onProperty rdf:resource="premises002#symProp"/>
<owl:someValuesFrom rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
</owl:Restriction>
</rdf:type>
</rdf:Description>
</rdf:RDF> | |||
first:symProp rdf:type owl:TransitiveProperty . _:a rdf:type owl:Restriction . _:a rdf:type owl:Class . _:a owl:onProperty first:symProp . _:a owl:someValuesFrom owl:Thing . first:a rdf:type _:a . | |||
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:backwardCompatibleWith| Lite Full | Consistent document. | 001 | |
|---|---|---|---|
Description:
(informative)
<backwardCompatibleWith/Manifest001#test>
|
|||
| An example of use. | |||
| N3 format is informative. | |||
| Lite | Consistent:
<backwardCompatibleWith/consistent001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent001#"
xml:base="http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent001" >
<owl:Ontology>
<owl:backwardCompatibleWith>
<owl:Ontology rdf:about="http://www.example.org/"/>
</owl:backwardCompatibleWith>
</owl:Ontology>
</rdf:RDF> | |||
_:a rdf:type owl:Ontology . <http://www.example.org/> rdf:type owl:Ontology . _:a owl:backwardCompatibleWith <http://www.example.org/> . | |||
| Full (EC) | Consistent document. | 002 | |
|---|---|---|---|
Description:
(informative)
<backwardCompatibleWith/Manifest002#test>
|
|||
In OWL Lite and DL the subject and object of a triple with predicate owl:backwardCompatibleWith
must both be explicitly typed as owl:Ontology. | |||
| N3 format is informative. | |||
| Full | Consistent:
<backwardCompatibleWith/consistent002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent002#"
xml:base="http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent002" >
<rdf:Description>
<owl:backwardCompatibleWith>
<owl:Ontology rdf:about="http://www.example.org/"/>
</owl:backwardCompatibleWith>
</rdf:Description>
</rdf:RDF> | |||
<http://www.example.org/> rdf:type owl:Ontology . _:a owl:backwardCompatibleWith <http://www.example.org/> . | |||
owl:cardinality| Lite Full | Positive Entailment Test: | 001 | |
|---|---|---|---|
Description:
(informative)
<cardinality/Manifest001#test>
|
|||
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | |||
| N3 format is informative. | |||
| Lite | Premises:
<cardinality/premises001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/cardinality/premises001" >
<owl:Class rdf:ID="c">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#p"/>
<owl:cardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:ObjectProperty rdf:ID="p"/>
</rdf:RDF> | |||
first:c rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:cardinality "1"^^xsd:nonNegativeInteger . first:c rdfs:subClassOf _:a . first:p rdf:type owl:ObjectProperty . | |||
| Lite | Conclusions:
<cardinality/conclusions001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/cardinality/conclusions001" >
<owl:Class rdf:about="premises001#c">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="premises001#p"/>
<owl:maxCardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="premises001#p"/>
<owl:minCardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>1</owl:minCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:ObjectProperty rdf:about="premises001#p"/>
</rdf:RDF> | |||
first:c rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:maxCardinality "1"^^xsd:nonNegativeInteger . first:c rdfs:subClassOf _:a . _:c rdf:type owl:Restriction . _:c owl:onProperty first:p . _:c owl:minCardinality "1"^^xsd:nonNegativeInteger . first:c rdfs:subClassOf _:c . first:p rdf:type owl:ObjectProperty . | |||
| Lite Full | Positive Entailment Test: | 002 | |
|---|---|---|---|
Description:
(informative)
<cardinality/Manifest002#test>
|
|||
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | |||
| N3 format is informative. | |||
| Lite | Premises:
<cardinality/premises002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/cardinality/premises002" >
<owl:Class rdf:about="conclusions002#c">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="conclusions002#p"/>
<owl:maxCardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>1</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="conclusions002#p"/>
<owl:minCardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>1</owl:minCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:ObjectProperty rdf:about="conclusions002#p"/>
</rdf:RDF> | |||
second:c rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty second:p . _:a owl:maxCardinality "1"^^xsd:nonNegativeInteger . second:c rdfs:subClassOf _:a . _:c rdf:type owl:Restriction . _:c owl:onProperty second:p . _:c owl:minCardinality "1"^^xsd:nonNegativeInteger . second:c rdfs:subClassOf _:c . second:p rdf:type owl:ObjectProperty . | |||
| Lite | Conclusions:
<cardinality/conclusions002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/cardinality/conclusions002" >
<owl:Class rdf:ID="c">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#p"/>
<owl:cardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:ObjectProperty rdf:ID="p"/>
</rdf:RDF> | |||
second:c rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty second:p . _:a owl:cardinality "1"^^xsd:nonNegativeInteger . second:c rdfs:subClassOf _:a . second:p rdf:type owl:ObjectProperty . | |||
| DL Full | Positive Entailment Test: | 003 | |
|---|---|---|---|
Description:
(informative)
<cardinality/Manifest003#test>
|
|||
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | |||
| N3 format is informative. | |||
| DL | Premises:
<cardinality/premises003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/cardinality/premises003" >
<owl:Class rdf:ID="c">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#p"/>
<owl:cardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>2</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:ObjectProperty rdf:ID="p"/>
</rdf:RDF> | |||
first:c rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:cardinality "2"^^xsd:nonNegativeInteger . first:c rdfs:subClassOf _:a . first:p rdf:type owl:ObjectProperty . | |||
| DL | Conclusions:
<cardinality/conclusions003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/cardinality/conclusions003" >
<owl:Class rdf:about="premises003#c">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="premises003#p"/>
<owl:maxCardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>2</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="premises003#p"/>
<owl:minCardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>2</owl:minCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:ObjectProperty rdf:about="premises003#p"/>
</rdf:RDF> | |||
first:c rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:maxCardinality "2"^^xsd:nonNegativeInteger . first:c rdfs:subClassOf _:a . _:c rdf:type owl:Restriction . _:c owl:onProperty first:p . _:c owl:minCardinality "2"^^xsd:nonNegativeInteger . first:c rdfs:subClassOf _:c . first:p rdf:type owl:ObjectProperty . | |||
| DL Full | Positive Entailment Test: | 004 | |
|---|---|---|---|
Description:
(informative)
<cardinality/Manifest004#test>
|
|||
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | |||
| N3 format is informative. | |||
| DL | Premises:
<cardinality/premises004>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/cardinality/premises004" >
<owl:Class rdf:about="conclusions004#c">
<rdfs:subClassOf>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="conclusions004#p"/>
<owl:maxCardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>2</owl:maxCardinality>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="conclusions004#p"/>
<owl:minCardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>2</owl:minCardinality>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:ObjectProperty rdf:about="conclusions004#p"/>
</rdf:RDF> | |||
second:c rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty second:p . _:c owl:maxCardinality "2"^^xsd:nonNegativeInteger . _:e rdf:type owl:Restriction . _:e owl:onProperty second:p . _:e owl:minCardinality "2"^^xsd:nonNegativeInteger . _:g rdf:first _:e . _:g rdf:rest rdf:nil . _:i rdf:first _:c . _:i rdf:rest _:g . _:a owl:intersectionOf _:i . second:c rdfs:subClassOf _:a . second:p rdf:type owl:ObjectProperty . | |||
| DL | Conclusions:
<cardinality/conclusions004>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/cardinality/conclusions004" >
<owl:Class rdf:ID="c">
<rdfs:subClassOf>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="#p"/>
<owl:cardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>2</owl:cardinality>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
<owl:ObjectProperty rdf:ID="p"/>
</rdf:RDF> | |||
second:c rdf:type owl:Class . _:a rdf:type owl:Class . _:c rdf:type owl:Restriction . _:c owl:onProperty second:p . _:c owl:cardinality "2"^^xsd:nonNegativeInteger . _:e rdf:first _:c . _:e rdf:rest rdf:nil . _:a owl:intersectionOf _:e . second:c rdfs:subClassOf _:a . second:p rdf:type owl:ObjectProperty . | |||
| Full | Positive Entailment Test: | 006 | |
|---|---|---|---|
Description:
(informative)
<cardinality/Manifest006#test>
|
|||
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | |||
| N3 format is informative. | |||
| Full | Premises:
<cardinality/premises006>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/cardinality/premises006" >
<rdf:Description rdf:about="conclusions006#c">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="conclusions006#p"/>
<owl:maxCardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>1</owl:maxCardinality>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="conclusions006#p"/>
<owl:minCardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>1</owl:minCardinality>
</owl:Restriction>
</owl:intersectionOf>
</rdf:Description>
</rdf:RDF> | |||
_:a rdf:type owl:Restriction . _:a owl:onProperty second:p . _:a owl:maxCardinality "1"^^xsd:nonNegativeInteger . _:c rdf:type owl:Restriction . _:c owl:onProperty second:p . _:c owl:minCardinality "1"^^xsd:nonNegativeInteger . _:e rdf:first _:c . _:e rdf:rest rdf:nil . _:g rdf:first _:a . _:g rdf:rest _:e . second:c owl:intersectionOf _:g . | |||
| Full | Conclusions:
<cardinality/conclusions006>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/cardinality/conclusions006" >
<rdf:Description rdf:ID="c">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty rdf:resource="#p"/>
<owl:cardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>1</owl:cardinality>
</owl:Restriction>
</owl:intersectionOf>
</rdf:Description>
</rdf:RDF> | |||
_:a rdf:type owl:Restriction . _:a owl:onProperty second:p . _:a owl:cardinality "1"^^xsd:nonNegativeInteger . _:c rdf:first _:a . _:c rdf:rest rdf:nil . second:c owl:intersectionOf _:c . | |||
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 . | |||
| DL Full | Consistent document. | 003 | |
|---|---|---|---|
Description:
(informative)
<disjointWith/Manifest003#test>
|
|||
| If the owl:disjointWith edges in the graph form an undirected complete subgraph then this may be within OWL DL. | |||
| N3 format is informative. | |||
| DL | Consistent:
<disjointWith/consistent003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent003" >
<owl:Class rdf:nodeID="A">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="A"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="B"/>
<owl:disjointWith rdf:nodeID="D"/>
<owl:disjointWith rdf:nodeID="E"/>
</owl:Class>
<owl:Class rdf:nodeID="B">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="B"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="A"/>
<owl:disjointWith rdf:nodeID="C"/>
<owl:disjointWith rdf:nodeID="E"/>
</owl:Class>
<owl:Class rdf:nodeID="C">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="C"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="A"/>
<owl:disjointWith rdf:nodeID="D"/>
<owl:disjointWith rdf:nodeID="E"/>
</owl:Class>
<owl:Class rdf:nodeID="D">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="D"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="C"/>
<owl:disjointWith rdf:nodeID="B"/>
<owl:disjointWith rdf:nodeID="E"/>
</owl:Class>
<owl:Class rdf:nodeID="E">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="E"/>
</owl:intersectionOf>
</owl:Class>
</rdf:RDF> | |||
_:a rdf:type owl:Class . first:A rdf:type owl:Class . _:c rdf:first first:A . _:c rdf:rest rdf:nil . _:a owl:intersectionOf _:c . _:a owl:disjointWith _:e . _:a owl:disjointWith _:g . _:a owl:disjointWith _:i . _:e rdf:type owl:Class . first:B rdf:type owl:Class . _:k rdf:first first:B . _:k rdf:rest rdf:nil . _:e owl:intersectionOf _:k . _:e owl:disjointWith _:a . _:e owl:disjointWith _:m . _:e owl:disjointWith _:i . _:m rdf:type owl:Class . first:C rdf:type owl:Class . _:o rdf:first first:C . _:o rdf:rest rdf:nil . _:m owl:intersectionOf _:o . _:m owl:disjointWith _:a . _:m owl:disjointWith _:g . _:m owl:disjointWith _:i . _:g rdf:type owl:Class . first:D rdf:type owl:Class . _:q rdf:first first:D . _:q rdf:rest rdf:nil . _:g owl:intersectionOf _:q . _:g owl:disjointWith _:m . _:g owl:disjointWith _:e . _:g owl:disjointWith _:i . _:i rdf:type owl:Class . first:E rdf:type owl:Class . _:s rdf:first first:E . _:s rdf:rest rdf:nil . _:i owl:intersectionOf _:s . | |||
| Full (EC) | Consistent document. | 004 | |
|---|---|---|---|
Description:
(informative)
<disjointWith/Manifest004#test>
|
|||
| This example has owl:disjointWith edges in the graph which cannot be generated by the mapping rules for DisjointClasses. Consider the lack of owl:disjointWith edge between nodes C and D. | |||
| N3 format is informative. | |||
| Full | Consistent:
<disjointWith/consistent004>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent004" >
<owl:Class rdf:nodeID="A">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="A"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="B"/>
<owl:disjointWith rdf:nodeID="D"/>
<owl:disjointWith rdf:nodeID="E"/>
</owl:Class>
<owl:Class rdf:nodeID="B">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="B"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="A"/>
<owl:disjointWith rdf:nodeID="C"/>
<owl:disjointWith rdf:nodeID="E"/>
</owl:Class>
<owl:Class rdf:nodeID="C">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="C"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="A"/>
<owl:disjointWith rdf:nodeID="E"/>
</owl:Class>
<owl:Class rdf:nodeID="D">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="D"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="B"/>
<owl:disjointWith rdf:nodeID="E"/>
</owl:Class>
<owl:Class rdf:nodeID="E">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="E"/>
</owl:intersectionOf>
</owl:Class>
</rdf:RDF> | |||
_:a rdf:type owl:Class . first:A rdf:type owl:Class . _:c rdf:first first:A . _:c rdf:rest rdf:nil . _:a owl:intersectionOf _:c . _:a owl:disjointWith _:e . _:a owl:disjointWith _:g . _:a owl:disjointWith _:i . _:e rdf:type owl:Class . first:B rdf:type owl:Class . _:k rdf:first first:B . _:k rdf:rest rdf:nil . _:e owl:intersectionOf _:k . _:e owl:disjointWith _:a . _:e owl:disjointWith _:m . _:e owl:disjointWith _:i . _:m rdf:type owl:Class . first:C rdf:type owl:Class . _:o rdf:first first:C . _:o rdf:rest rdf:nil . _:m owl:intersectionOf _:o . _:m owl:disjointWith _:a . _:m owl:disjointWith _:i . _:g rdf:type owl:Class . first:D rdf:type owl:Class . _:q rdf:first first:D . _:q rdf:rest rdf:nil . _:g owl:intersectionOf _:q . _:g owl:disjointWith _:e . _:g owl:disjointWith _:i . _:i rdf:type owl:Class . first:E rdf:type owl:Class . _:s rdf:first first:E . _:s rdf:rest rdf:nil . _:i owl:intersectionOf _:s . | |||
| DL Full | Consistent document. | 005 | |
|---|---|---|---|
Description:
(informative)
<disjointWith/Manifest005#test>
|
|||
| If the owl:disjointWith edges in the graph form unconnected undirected complete subgraphs then this may be within OWL DL. | |||
| N3 format is informative. | |||
| DL | Consistent:
<disjointWith/consistent005>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent005" >
<owl:Class rdf:nodeID="A">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="A"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="D"/>
<owl:disjointWith rdf:nodeID="E"/>
</owl:Class>
<owl:Class rdf:nodeID="B">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="B"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="C"/>
</owl:Class>
<owl:Class rdf:nodeID="C">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="C"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:nodeID="D">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="D"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="E"/>
</owl:Class>
<owl:Class rdf:nodeID="E">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="E"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="D"/>
</owl:Class>
</rdf:RDF> | |||
_:a rdf:type owl:Class . first:A rdf:type owl:Class . _:c rdf:first first:A . _:c rdf:rest rdf:nil . _:a owl:intersectionOf _:c . _:a owl:disjointWith _:e . _:a owl:disjointWith _:g . _:i rdf:type owl:Class . first:B rdf:type owl:Class . _:k rdf:first first:B . _:k rdf:rest rdf:nil . _:i owl:intersectionOf _:k . _:i owl:disjointWith _:m . _:m rdf:type owl:Class . first:C rdf:type owl:Class . _:o rdf:first first:C . _:o rdf:rest rdf:nil . _:m owl:intersectionOf _:o . _:e rdf:type owl:Class . first:D rdf:type owl:Class . _:q rdf:first first:D . _:q rdf:rest rdf:nil . _:e owl:intersectionOf _:q . _:e owl:disjointWith _:g . _:g rdf:type owl:Class . first:E rdf:type owl:Class . _:s rdf:first first:E . _:s rdf:rest rdf:nil . _:g owl:intersectionOf _:s . _:g owl:disjointWith _:e . | |||
| Full (EC) | Consistent document. | 006 | |
|---|---|---|---|
Description:
(informative)
<disjointWith/Manifest006#test>
|
|||
| If the owl:disjointWith edges in the graph form undirected complete subgraphs which share blank nodes then this is not within OWL DL. | |||
| N3 format is informative. | |||
| Full | Consistent:
<disjointWith/consistent006>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent006" >
<owl:Class rdf:nodeID="A">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="A"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="D"/>
<owl:disjointWith rdf:nodeID="E"/>
</owl:Class>
<owl:Class rdf:nodeID="B">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="B"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="C"/>
<owl:disjointWith rdf:nodeID="A"/>
</owl:Class>
<owl:Class rdf:nodeID="C">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="C"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="A"/>
</owl:Class>
<owl:Class rdf:nodeID="D">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="D"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="E"/>
</owl:Class>
<owl:Class rdf:nodeID="E">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="E"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="D"/>
</owl:Class>
</rdf:RDF> | |||
_:a rdf:type owl:Class . first:A rdf:type owl:Class . _:c rdf:first first:A . _:c rdf:rest rdf:nil . _:a owl:intersectionOf _:c . _:a owl:disjointWith _:e . _:a owl:disjointWith _:g . _:i rdf:type owl:Class . first:B rdf:type owl:Class . _:k rdf:first first:B . _:k rdf:rest rdf:nil . _:i owl:intersectionOf _:k . _:i owl:disjointWith _:m . _:i owl:disjointWith _:a . _:m rdf:type owl:Class . first:C rdf:type owl:Class . _:o rdf:first first:C . _:o rdf:rest rdf:nil . _:m owl:intersectionOf _:o . _:m owl:disjointWith _:a . _:e rdf:type owl:Class . first:D rdf:type owl:Class . _:q rdf:first first:D . _:q rdf:rest rdf:nil . _:e owl:intersectionOf _:q . _:e owl:disjointWith _:g . _:g rdf:type owl:Class . first:E rdf:type owl:Class . _:s rdf:first first:E . _:s rdf:rest rdf:nil . _:g owl:intersectionOf _:s . _:g owl:disjointWith _:e . | |||
| DL Full | Consistent document. | 007 | |
|---|---|---|---|
Description:
(informative)
<disjointWith/Manifest007#test>
|
|||
| If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL. | |||
| N3 format is informative. | |||
| DL | Consistent:
<disjointWith/consistent007>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent007" >
<owl:Class rdf:ID="A">
<owl:disjointWith rdf:nodeID="D"/>
<owl:disjointWith rdf:nodeID="E"/>
</owl:Class>
<owl:Class rdf:nodeID="B">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="B"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="C"/>
<owl:disjointWith rdf:resource="#A"/>
</owl:Class>
<owl:Class rdf:nodeID="C">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="C"/>
</owl:intersectionOf>
<owl:disjointWith rdf:resource="#A"/>
</owl:Class>
<owl:Class rdf:nodeID="D">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="D"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="E"/>
</owl:Class>
<owl:Class rdf:nodeID="E">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="E"/>
</owl:intersectionOf>
<owl:disjointWith rdf:nodeID="D"/>
</owl:Class>
</rdf:RDF> | |||
first:A rdf:type owl:Class . first:A owl:disjointWith _:a . first:A owl:disjointWith _:c . _:e rdf:type owl:Class . first:B rdf:type owl:Class . _:g rdf:first first:B . _:g rdf:rest rdf:nil . _:e owl:intersectionOf _:g . _:e owl:disjointWith _:i . _:e owl:disjointWith first:A . _:i rdf:type owl:Class . first:C rdf:type owl:Class . _:k rdf:first first:C . _:k rdf:rest rdf:nil . _:i owl:intersectionOf _:k . _:i owl:disjointWith first:A . _:a rdf:type owl:Class . first:D rdf:type owl:Class . _:m rdf:first first:D . _:m rdf:rest rdf:nil . _:a owl:intersectionOf _:m . _:a owl:disjointWith _:c . _:c rdf:type owl:Class . first:E rdf:type owl:Class . _:o rdf:first first:E . _:o rdf:rest rdf:nil . _:c owl:intersectionOf _:o . _:c owl:disjointWith _:a . | |||
| Full (EC) | Consistent document. | 008 | |
|---|---|---|---|
Description:
(informative)
<disjointWith/Manifest008#test>
|
|||
| A further example that cannot be generated from the mapping rule for DisjointClasses. | |||
| N3 format is informative. | |||
| Full | Consistent:
<disjointWith/consistent008>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent008" >
<owl:Class rdf:ID="A"/>
<owl:Class rdf:nodeID="B">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="B"/>
</owl:intersectionOf>
<owl:disjointWith rdf:resource="#A"/>
</owl:Class>
<owl:Class rdf:nodeID="C">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="C"/>
</owl:intersectionOf>
<owl:disjointWith rdf:resource="#A"/>
</owl:Class>
<owl:Class rdf:ID="D">
<owl:disjointWith rdf:nodeID="B"/>
<owl:disjointWith rdf:nodeID="C"/>
</owl:Class>
</rdf:RDF> | |||
first:A rdf:type owl:Class . _:a rdf:type owl:Class . first:B rdf:type owl:Class . _:c rdf:first first:B . _:c rdf:rest rdf:nil . _:a owl:intersectionOf _:c . _:a owl:disjointWith first:A . _:e rdf:type owl:Class . first:C rdf:type owl:Class . _:g rdf:first first:C . _:g rdf:rest rdf:nil . _:e owl:intersectionOf _:g . _:e owl:disjointWith first:A . first:D rdf:type owl:Class . first:D owl:disjointWith _:a . first:D owl:disjointWith _:e . | |||
| DL Full | Consistent document. | 009 | |
|---|---|---|---|
Description:
(informative)
<disjointWith/Manifest009#test>
|
|||
| If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL. | |||
| N3 format is informative. | |||
| DL | Consistent:
<disjointWith/consistent009>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent009" >
<owl:Class rdf:ID="A"/>
<owl:Class rdf:nodeID="B">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="B"/>
</owl:intersectionOf>
<owl:disjointWith rdf:resource="#A"/>
</owl:Class>
<owl:Class rdf:nodeID="C">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="C"/>
</owl:intersectionOf>
<owl:disjointWith rdf:resource="#A"/>
</owl:Class>
<owl:Class rdf:ID="D">
<owl:disjointWith rdf:nodeID="B"/>
<owl:disjointWith rdf:nodeID="C"/>
<owl:disjointWith rdf:resource="#A"/>
</owl:Class>
</rdf:RDF> | |||
first:A rdf:type owl:Class . _:a rdf:type owl:Class . first:B rdf:type owl:Class . _:c rdf:first first:B . _:c rdf:rest rdf:nil . _:a owl:intersectionOf _:c . _:a owl:disjointWith first:A . _:e rdf:type owl:Class . first:C rdf:type owl:Class . _:g rdf:first first:C . _:g rdf:rest rdf:nil . _:e owl:intersectionOf _:g . _:e owl:disjointWith first:A . first:D rdf:type owl:Class . first:D owl:disjointWith _:a . first:D owl:disjointWith _:e . first:D owl:disjointWith first:A . | |||
| Full | Inconsistent document. | 010 | |
|---|---|---|---|
Description:
(informative)
<disjointWith/Manifest010#test>
|
|||
The owl:disjointWith loop is not in OWL DL.
Classes that are disjoint with themselves are necessarily empty. | |||
| N3 format is informative. | |||
| Full | Inconsistent:
<disjointWith/inconsistent010>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/disjointWith/inconsistent010#"
xml:base="http://www.w3.org/2002/03owlt/disjointWith/inconsistent010" >
<owl:Restriction rdf:nodeID="n">
<owl:onProperty>
<owl:ObjectProperty rdf:about="#p" />
</owl:onProperty>
<owl:minCardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#int"
>1</owl:minCardinality>
<owl:disjointWith rdf:nodeID="n"/>
</owl:Restriction>
<owl:Thing>
<first:p>
<owl:Thing/>
</first:p>
</owl:Thing>
</rdf:RDF> | |||
_:a rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:a owl:onProperty first:p . _:a owl:minCardinality "1"^^xsd:int . _:a owl:disjointWith _:a . _:c rdf:type owl:Thing . _:e rdf:type owl:Thing . _:c first:p _:e . | |||
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 . | |||
| Full | Positive Entailment Test: | 007 | |
|---|---|---|---|
Description:
(informative)
<equivalentClass/Manifest007#test>
|
|||
| De Morgan's law. | |||
| N3 format is informative. | |||
| Full | Premises:
<equivalentClass/premises007>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises007" >
<rdfs:Class rdf:ID="A"/>
<rdfs:Class rdf:ID="B"/>
</rdf:RDF> | |||
first:A rdf:type rdfs:Class . first:B rdf:type rdfs:Class . | |||
| Full | Conclusions:
<equivalentClass/conclusions007>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/equivalentClass/conclusions007" >
<rdf:Description>
<owl:intersectionOf rdf:parseType="Collection">
<rdf:Description>
<owl:complementOf rdf:resource="premises007#A"/>
</rdf:Description>
<rdf:Description>
<owl:complementOf rdf:resource="premises007#B"/>
</rdf:Description>
</owl:intersectionOf>
<owl:equivalentClass>
<rdf:Description>
<owl:complementOf>
<rdf:Description>
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:about="premises007#A"/>
<rdf:Description rdf:about="premises007#B"/>
</owl:unionOf>
</rdf:Description>
</owl:complementOf>
</rdf:Description>
</owl:equivalentClass>
</rdf:Description>
</rdf:RDF> | |||
_:a owl:complementOf first:A . _:c owl:complementOf first:B . _:e rdf:first _:c . _:e rdf:rest rdf:nil . _:g rdf:first _:a . _:g rdf:rest _:e . _:i owl:intersectionOf _:g . _:k rdf:first first:B . _:k rdf:rest rdf:nil . _:m rdf:first first:A . _:m rdf:rest _:k . _:o owl:unionOf _:m . _:q owl:complementOf _:o . _:i owl:equivalentClass _:q . | |||
| DL Full | Negative Entailment Test: | 008 | |
|---|---|---|---|
Description:
(informative)
<equivalentClass/Manifest008#test>
|
|||
| Annotation properties refer to a class instance. equivalentClass refers to the class extension. | |||
| N3 format is informative. | |||
| Lite | Premises:
<equivalentClass/premises008>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/equivalentClass/premises008#"
xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises008" >
<owl:Class rdf:ID="c1">
<owl:equivalentClass>
<owl:Class rdf:ID="c2"/>
</owl:equivalentClass>
<first:annotate>description of c1</first:annotate>
</owl:Class>
<owl:AnnotationProperty rdf:ID="annotate" />
</rdf:RDF> | |||
first:c1 rdf:type owl:Class . first:c2 rdf:type owl:Class . first:c1 owl:equivalentClass first:c2 . first:c1 first:annotate "description of c1" . first:annotate rdf:type owl:AnnotationProperty . | |||
| Lite | Conclusions:
<equivalentClass/nonconclusions008>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/equivalentClass/premises008#"
xml:base="http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008" >
<owl:Class rdf:about="premises008#c2">
<first:annotate>description of c1</first:annotate>
</owl:Class>
<owl:AnnotationProperty rdf:about="premises008#annotate" />
</rdf:RDF> | |||
first:c2 rdf:type owl:Class . first:c2 first:annotate "description of c1" . first:annotate rdf:type owl:AnnotationProperty . | |||
| DL Full | Consistent document. | 009 | |
|---|---|---|---|
Description:
(informative)
<equivalentClass/Manifest009#test>
|
|||
| A possible mapping of the EquivalentClasses axiom, which is connected but without a Hamiltonian path. | |||
| N3 format is informative. | |||
| DL | Consistent:
<equivalentClass/consistent009>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/equivalentClass/consistent009" >
<owl:Class rdf:nodeID="a">
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:ID="A"/>
</owl:oneOf>
<owl:equivalentClass>
<owl:Class rdf:nodeID="b">
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:ID="B"/>
</owl:unionOf>
</owl:Class>
</owl:equivalentClass>
<owl:equivalentClass>
<owl:Class rdf:nodeID="c">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="C"/>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
<owl:equivalentClass>
<owl:Class rdf:nodeID="d">
<owl:complementOf>
<owl:Class rdf:ID="D"/>
</owl:complementOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
</rdf:RDF> | |||
_:a rdf:type owl:Class . first:A rdf:type owl:Thing . _:c rdf:first first:A . _:c rdf:rest rdf:nil . _:a owl:oneOf _:c . _:e rdf:type owl:Class . first:B rdf:type owl:Class . _:g rdf:first first:B . _:g rdf:rest rdf:nil . _:e owl:unionOf _:g . _:a owl:equivalentClass _:e . _:i rdf:type owl:Class . first:C rdf:type owl:Class . _:k rdf:first first:C . _:k rdf:rest rdf:nil . _:i owl:intersectionOf _:k . _:a owl:equivalentClass _:i . _:m rdf:type owl:Class . first:D rdf:type owl:Class . _:m owl:complementOf first:D . _:a owl:equivalentClass _:m . | |||
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 (EC) | Negative Entailment Test: | 002 | |
|---|---|---|---|
Description:
(informative)
<imports/Manifest002#test>
|
|||
| If a premise document uses a namespace but does not import the document corresponding to the namespace, then the premises do not necessarily entail anything that is entailed by the conjunction of the two documents. | |||
| N3 format is informative. | |||
| Namespaces: | |||
@prefix ont: <http://www.w3.org/2002/03owlt/imports/support002-A#> . | |||
| Full | Premises:
<imports/premises002>
| ||
<rdf:RDF
xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#'
xmlns:owl='http://www.w3.org/2002/07/owl#'
xmlns:ont='http://www.w3.org/2002/03owlt/imports/support002-A#'
xml:base='http://www.w3.org/2002/03owlt/imports/premises002' >
<ont:Man rdf:about='http://example.org/data#Socrates'/>
</rdf:RDF> | |||
<http://example.org/data#Socrates> rdf:type ont:Man . | |||
| Lite | Imported Premises
<imports/support002-A>
| ||
<rdf:RDF
xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#'
xmlns:owl='http://www.w3.org/2002/07/owl#'
xml:base='http://www.w3.org/2002/03owlt/imports/support002-A' >
<owl:Ontology rdf:about=''/>
<owl:Class rdf:ID='Man'>
<rdfs:subClassOf rdf:resource='#Mortal'/>
</owl:Class>
<owl:Class rdf:ID='Mortal'/>
</rdf:RDF> | |||
<imports/support002-A> rdf:type owl:Ontology . ont:Man rdf:type owl:Class . ont:Man rdfs:subClassOf ont:Mortal . ont:Mortal rdf:type owl:Class . | |||
| Full | Conclusions:
<imports/nonconclusions002>
| ||
<rdf:RDF
xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#'
xmlns:owl='http://www.w3.org/2002/07/owl#'
xml:base='http://www.w3.org/2002/03owlt/imports/nonconclusions002' >
<rdf:Description rdf:about='http://example.org/data#Socrates'>
<rdf:type rdf:resource='http://www.w3.org/2002/03owlt/imports/support002-A#Mortal'/>
</rdf:Description>
</rdf:RDF> | |||
<http://example.org/data#Socrates> rdf:type ont:Mortal . | |||
| Full | Import Entailment Test: | 003 | |
|---|---|---|---|
Description:
(informative)
<imports/Manifest003#test>
|
|||
| If a document imports a document which in turn imports a third document, then it entails anything which is entailed by the conjunction of the statements from the three documents. That is, imports is transitive. | |||
| N3 format is informative. | |||
| Namespaces: | |||
@prefix ont: <http://www.w3.org/2002/03owlt/imports/support003-A#> . | |||
| Full | Premises:
<imports/premises003>
| ||
<rdf:RDF
xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#'
xmlns:owl='http://www.w3.org/2002/07/owl#'
xmlns:ont='http://www.w3.org/2002/03owlt/imports/support003-A#'
xml:base='http://www.w3.org/2002/03owlt/imports/premises003' >
<rdf:Description rdf:about=''>
<owl:imports rdf:resource='http://www.w3.org/2002/03owlt/imports/support003-A'/>
</rdf:Description>
<ont:Man rdf:about='http://example.org/data#Socrates'/>
</rdf:RDF> | |||
<imports/premises003> owl:imports <imports/support003-A> . <http://example.org/data#Socrates> rdf:type ont:Man . | |||
| Lite | Imported Premises
<imports/support003-A>
| ||
<rdf:RDF
xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#'
xmlns:owl='http://www.w3.org/2002/07/owl#'
xml:base='http://www.w3.org/2002/03owlt/imports/support003-A' >
<owl:Ontology rdf:about=''>
<owl:imports rdf:resource='http://www.w3.org/2002/03owlt/imports/support003-B'/>
</owl:Ontology>
<owl:Class rdf:ID='Man'>
<rdfs:subClassOf rdf:resource='#Person'/>
</owl:Class>
<owl:Class rdf:ID='Person'/>
</rdf:RDF> | |||
<imports/support003-A> rdf:type owl:Ontology . <imports/support003-A> owl:imports <imports/support003-B> . ont:Man rdf:type owl:Class . ont:Man rdfs:subClassOf ont:Person . ont:Person rdf:type owl:Class . | |||
| Lite | Imported Premises
<imports/support003-B>
| ||
<rdf:RDF
xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#'
xmlns:owl='http://www.w3.org/2002/07/owl#'
xml:base='http://www.w3.org/2002/03owlt/imports/support003-B' >
<owl:Ontology rdf:about=''/>
<owl:Class rdf:about='http://www.w3.org/2002/03owlt/imports/support003-A#Person'>
<rdfs:subClassOf rdf:resource='#Mortal'/>
</owl:Class>
<owl:Class rdf:ID='Mortal'/>
</rdf:RDF> | |||
<imports/support003-B> rdf:type owl:Ontology . ont:Person rdf:type owl:Class . ont:Person rdfs:subClassOf <imports/support003-B#Mortal> . <imports/support003-B#Mortal> rdf:type owl:Class . | |||
| Full | Conclusions:
<imports/conclusions003>
| ||
<rdf:RDF
xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#'
xmlns:owl='http://www.w3.org/2002/07/owl#'
xml:base='http://www.w3.org/2002/03owlt/imports/conclusions003' >
<rdf:Description rdf:about='http://example.org/data#Socrates'>
<rdf:type rdf:resource='http://www.w3.org/2002/03owlt/imports/support003-B#Mortal'/>
</rdf:Description>
</rdf:RDF> | |||
<http://example.org/data#Socrates> rdf:type <imports/support003-B#Mortal> . | |||
| Full | Import Level Test: | 004 | |
|---|---|---|---|
Description:
(informative)
<imports/Manifest004#test>
|
|||
| Importing OWL Full documents may change the level of OWL Lite or OWL DL documents. | |||
| N3 format is informative. | |||
| Full | Imported document:
<imports/imports004>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xml:base="http://www.w3.org/2002/03owlt/imports/imports004" >
<rdfs:Class rdf:ID="c" />
</rdf:RDF> | |||
first:c rdf:type rdfs:Class . | |||
| Full | Main document:
<imports/main004>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/imports/main004" >
<owl:Ontology rdf:about="">
<owl:imports rdf:resource="imports004" />
</owl:Ontology>
</rdf:RDF> | |||
<imports/main004> rdf:type owl:Ontology . <imports/main004> owl:imports <imports/imports004> . | |||
| DL | Import Level Test: | 005 | |
|---|---|---|---|
Description:
(informative)
<imports/Manifest005#test>
|
|||
| If an OWL Lite document imports an OWL DL document then it becomes OWL DL. | |||
| N3 format is informative. | |||
| DL | Imported document:
<imports/imports005>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/imports/imports005" >
<owl:Ontology rdf:about=""/>
<owl:Class rdf:ID="c">
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:ID="x"/>
</owl:oneOf>
</owl:Class>
</rdf:RDF> | |||
<imports/imports005> rdf:type owl:Ontology . first:c rdf:type owl:Class . first:x rdf:type owl:Thing . _:a rdf:first first:x . _:a rdf:rest rdf:nil . first:c owl:oneOf _:a . | |||
| DL | Main document:
<imports/main005>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/imports/main005" >
<owl:Ontology rdf:about="">
<owl:imports rdf:resource="imports005" />
</owl:Ontology>
</rdf:RDF> | |||
<imports/main005> rdf:type owl:Ontology . <imports/main005> owl:imports <imports/imports005> . | |||
| Lite | Import Level Test: | 006 | |
|---|---|---|---|
Description:
(informative)
<imports/Manifest006#test>
|
|||
| The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file. | |||
| N3 format is informative. | |||
| Lite | Imported document:
<imports/imports006>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/imports/imports006" >
<owl:Ontology rdf:about=""/>
<owl:Class rdf:ID="c"/>
</rdf:RDF> | |||
<imports/imports006> rdf:type owl:Ontology . first:c rdf:type owl:Class . | |||
| Lite | Main document:
<imports/main006>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/imports/imports006#"
xml:base="http://www.w3.org/2002/03owlt/imports/main006" >
<owl:Ontology rdf:about="">
<owl:imports rdf:resource="imports006"/>
</owl:Ontology>
<first:c rdf:ID="x"/>
</rdf:RDF> | |||
<imports/main006> rdf:type owl:Ontology . <imports/main006> owl:imports <imports/imports006> . second:x rdf:type first:c . | |||
| Lite | Import Level Test: | 007 | |
|---|---|---|---|
Description:
(informative)
<imports/Manifest007#test>
|
|||
| The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file. | |||
| N3 format is informative. | |||
| Lite | Imported document:
<imports/imports007>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/imports/imports007" >
<owl:Ontology rdf:about=""/>
<owl:ObjectProperty rdf:ID="p"/>
</rdf:RDF> | |||
<imports/imports007> rdf:type owl:Ontology . first:p rdf:type owl:ObjectProperty . | |||
| Lite | Main document:
<imports/main007>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/imports/imports007#"
xml:base="http://www.w3.org/2002/03owlt/imports/main007" >
<owl:Ontology rdf:about="">
<owl:imports rdf:resource="imports007"/>
</owl:Ontology>
<owl:Thing>
<first:p>
<owl:Thing />
</first:p>
</owl:Thing>
</rdf:RDF> | |||
<imports/main007> rdf:type owl:Ontology . <imports/main007> owl:imports <imports/imports007> . _:a rdf:type owl:Thing . _:c rdf:type owl:Thing . _:a first:p _:c . | |||
| Lite | Import Level Test: | 008 | |
|---|---|---|---|
Description:
(informative)
<imports/Manifest008#test>
|
|||
| It is often possible to import an ordinary RDFS document unchanged into an OWL Lite document. Aditional type declarations may be needed in the importing document. | |||
| N3 format is informative. | |||
| Full | Imported document:
<imports/imports008>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/imports/imports008#"
xmlns:second="http://www.w3.org/2002/03owlt/imports/main008#"
xml:base="http://www.w3.org/2002/03owlt/imports/imports008" >
<rdfs:Class rdf:ID="sub">
<rdfs:subClassOf rdf:resource="#super"/>
</rdfs:Class>
</rdf:RDF> | |||
first:sub rdf:type rdfs:Class . first:sub rdfs:subClassOf first:super . | |||
| Lite | Main document:
<imports/main008>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/imports/imports008#"
xmlns:second="http://www.w3.org/2002/03owlt/imports/main008#"
xml:base="http://www.w3.org/2002/03owlt/imports/main008" >
<owl:Ontology rdf:about="">
<owl:imports>
<owl:Ontology rdf:about="imports008"/>
</owl:imports>
</owl:Ontology>
<owl:Class rdf:about="imports008#sub"/>
<owl:Class rdf:about="imports008#super"/>
</rdf:RDF> | |||
<imports/main008> rdf:type owl:Ontology . <imports/imports008> rdf:type owl:Ontology . <imports/main008> owl:imports <imports/imports008> . first:sub rdf:type owl:Class . first:super rdf:type owl:Class . | |||
| Full | OWL described in OWL. | 010 | |
|---|---|---|---|
Description:
(informative)
<imports/Manifest010#test>
|
|||
| This test specifies the domain and range for owl:imports. | |||
| N3 format is informative. | |||
| Full | True:
<imports/conclusions010>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xml:base="http://www.w3.org/2002/03owlt/imports/conclusions010" >
<rdf:Property rdf:about="http://www.w3.org/2002/07/owl#imports">
<rdfs:range rdf:resource="http://www.w3.org/2002/07/owl#Ontology"/>
<rdfs:domain rdf:resource="http://www.w3.org/2002/07/owl#Ontology"/>
</rdf:Property>
</rdf:RDF> | |||
owl:imports rdf:type rdf:Property . owl:imports rdfs:range owl:Ontology . owl:imports rdfs:domain owl:Ontology . | |||
| Lite | Import Entailment Test: | 011 | |
|---|---|---|---|
Description:
(informative)
<imports/Manifest011#test>
|
|||
| A Lite version of test imports-001. | |||
| N3 format is informative. | |||
| Namespaces: | |||
@prefix ont: <http://www.w3.org/2002/03owlt/imports/support011-A#> . | |||
| Lite | Premises:
<imports/premises011>
| ||
<rdf:RDF
xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#'
xmlns:owl='http://www.w3.org/2002/07/owl#'
xmlns:ont='http://www.w3.org/2002/03owlt/imports/support011-A#'
xml:base='http://www.w3.org/2002/03owlt/imports/premises011' >
<owl:Ontology rdf:about=''>
<owl:imports
rdf:resource="http://www.w3.org/2002/03owlt/imports/support011-A"/>
</owl:Ontology>
<ont:Man rdf:about='http://example.org/data#Socrates'/>
</rdf:RDF> | |||
<imports/premises011> rdf:type owl:Ontology . <imports/premises011> owl:imports <imports/support011-A> . <http://example.org/data#Socrates> rdf:type ont:Man . | |||
| Lite | Imported Premises
<imports/support011-A>
| ||
<rdf:RDF
xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#'
xmlns:owl='http://www.w3.org/2002/07/owl#'
xml:base='http://www.w3.org/2002/03owlt/imports/support011-A' >
<owl:Ontology rdf:about=''/>
<owl:Class rdf:ID='Man'>
<rdfs:subClassOf rdf:resource='#Mortal'/>
</owl:Class>
<owl:Class rdf:ID='Mortal'/>
</rdf:RDF> | |||
<imports/support011-A> rdf:type owl:Ontology . ont:Man rdf:type owl:Class . ont:Man rdfs:subClassOf ont:Mortal . ont:Mortal rdf:type owl:Class . | |||
| Lite | Conclusions:
<imports/conclusions011>
| ||
<rdf:RDF
xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#'
xmlns:owl='http://www.w3.org/2002/07/owl#'
xml:base='http://www.w3.org/2002/03owlt/imports/conclusions011' >
<rdf:Description rdf:about='http://example.org/data#Socrates'>
<rdf:type>
<owl:Class rdf:about='support011-A#Mortal'/>
</rdf:type>
</rdf:Description>
</rdf:RDF> | |||
ont:Mortal rdf:type owl:Class . <http://example.org/data#Socrates> rdf:type ont:Mortal . | |||
| Lite Full | Consistent document. | 012 | |
|---|---|---|---|
Description:
(informative)
<imports/Manifest012#test>
|
|||
| A simple test for infinite loops in imports processing code. | |||
| N3 format is informative. | |||
| Lite | Consistent:
<imports/consistent012>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/imports/consistent012" >
<owl:Ontology rdf:about="http://example.org/">
<owl:imports>
<owl:Ontology rdf:about=""/>
</owl:imports>
</owl:Ontology>
</rdf:RDF> | |||
<http://example.org/> rdf:type owl:Ontology . <imports/consistent012> rdf:type owl:Ontology . <http://example.org/> owl:imports <imports/consistent012> . | |||
| Full | Import Level Test: | 013 | |
|---|---|---|---|
Description:
(informative)
<imports/Manifest013#test>
|
|||
| An imported ontology must have type owl:Ontology to be in DL. | |||
| N3 format is informative. | |||
| Lite | Imported document:
<imports/imports013>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/imports/imports013" >
<owl:Class rdf:ID="c" />
</rdf:RDF> | |||
first:c rdf:type owl:Class . | |||
| Full | Main document:
<imports/main013>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/imports/main013" >
<owl:Ontology>
<owl:imports rdf:resource="imports013"/>
</owl:Ontology>
</rdf:RDF> | |||
_:a rdf:type owl:Ontology . _:a owl:imports <imports/imports013> . | |||
| Full | Import Level Test: | 014 | |
|---|---|---|---|
Description:
(informative)
<imports/Manifest014#test>
|
|||
When importing a file that uses an xml:base declaration,
if you use a different URL in an owl:imports
triple, that URL may be without an explicit type. | |||
| N3 format is informative. | |||
| Lite | Imported document:
<imports/imports014>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/imports/imports014" >
<owl:Ontology rdf:about=""/>
</rdf:RDF> | |||
<imports/imports014> rdf:type owl:Ontology . | |||
| Full | Main document:
<imports/main014>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/imports/imports014#"
xmlns:second="http://www.w3.org/2002/03owlt/imports/main014#"
xml:base="http://www.w3.org/2002/03owlt/imports/main014" >
<owl:Ontology>
<owl:imports rdf:resource="imports014.rdf"/>
</owl:Ontology>
</rdf:RDF> | |||
_:a rdf:type owl:Ontology . _:a owl:imports <imports/imports014.rdf> . | |||
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 (EC) | Consistent document. | 001 | |
|---|---|---|---|
Description:
(informative)
<oneOf/Manifest001#test>
|
|||
oneOf does not indicate that the named
individuals are distinct. Thus a consistent interpretation
of this file is when all the individual names denote the
same individual. | |||
| N3 format is informative. | |||
| Full | Consistent:
<oneOf/consistent001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/oneOf/consistent001#"
xml:base="http://www.w3.org/2002/03owlt/oneOf/consistent001" >
<owl:Class>
<owl:oneOf rdf:parseType="Collection">
<rdf:Description rdf:ID="amy"/>
<rdf:Description rdf:ID="bob"/>
<rdf:Description rdf:ID="caroline"/>
</owl:oneOf>
<owl:equivalentClass>
<owl:Class>
<owl:oneOf rdf:parseType="Collection">
<rdf:Description rdf:ID="yolanda"/>
<rdf:Description rdf:ID="zebedee"/>
</owl:oneOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>
</rdf:RDF> | |||
_:a rdf:type owl:Class . _:c rdf:first first:caroline . _:c rdf:rest rdf:nil . _:e rdf:first first:bob . _:e rdf:rest _:c . _:g rdf:first first:amy . _:g rdf:rest _:e . _:a owl:oneOf _:g . _:i rdf:type owl:Class . _:k rdf:first first:zebedee . _:k rdf:rest rdf:nil . _:m rdf:first first:yolanda . _:m rdf:rest _:k . _:i owl:oneOf _:m . _:a owl:equivalentClass _:i . | |||
| Full | Positive Entailment Test: | 002 | |
|---|---|---|---|
Description:
(informative)
<oneOf/Manifest002#test>
|
|||
oneOf describes a class by enumerating its individuals. | |||
| N3 format is informative. | |||
| Full | Premises:
<oneOf/premises002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/oneOf/premises002#"
xmlns:second="http://www.w3.org/2002/03owlt/oneOf/conclusions002#"
xml:base="http://www.w3.org/2002/03owlt/oneOf/premises002" >
<rdf:Description rdf:about="premises002#TShirt">
<owl:oneOf rdf:parseType="Collection">
<rdf:Description rdf:about="premises002#small"/>
<rdf:Description rdf:about="premises002#medium"/>
<rdf:Description rdf:about="premises002#large"/>
</owl:oneOf>
</rdf:Description>
</rdf:RDF> | |||
_:a rdf:first first:large . _:a rdf:rest rdf:nil . _:c rdf:first first:medium . _:c rdf:rest _:a . _:e rdf:first first:small . _:e rdf:rest _:c . first:TShirt owl:oneOf _:e . | |||
| Full | Conclusions:
<oneOf/conclusions002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/oneOf/premises002#"
xmlns:second="http://www.w3.org/2002/03owlt/oneOf/conclusions002#"
xml:base="http://www.w3.org/2002/03owlt/oneOf/conclusions002" >
<first:TShirt rdf:about="premises002#small"/>
</rdf:RDF> | |||
first:small rdf:type first:TShirt . | |||
| Full | Positive Entailment Test: | 003 | |
|---|---|---|---|
Description:
(informative)
<oneOf/Manifest003#test>
|
|||
The order of the instances in an owl:oneOf
construct is unimportant. | |||
| N3 format is informative. | |||
| Full | Premises:
<oneOf/premises003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/oneOf/premises003#"
xml:base="http://www.w3.org/2002/03owlt/oneOf/premises003" >
<rdf:Description rdf:about="premises003#T1">
<owl:oneOf rdf:parseType="Collection">
<rdf:Description rdf:about="premises003#small"/>
<rdf:Description rdf:about="premises003#medium"/>
<rdf:Description rdf:about="premises003#large"/>
</owl:oneOf>
</rdf:Description>
<rdf:Description rdf:about="premises003#T2">
<owl:oneOf rdf:parseType="Collection">
<rdf:Description rdf:about="premises003#large"/>
<rdf:Description rdf:about="premises003#medium"/>
<rdf:Description rdf:about="premises003#small"/>
</owl:oneOf>
</rdf:Description>
<first:T1 rdf:about="premises003#myT"/>
</rdf:RDF> | |||
_:a rdf:first first:large . _:a rdf:rest rdf:nil . _:c rdf:first first:medium . _:c rdf:rest _:a . _:e rdf:first first:small . _:e rdf:rest _:c . first:T1 owl:oneOf _:e . _:g rdf:first first:small . _:g rdf:rest rdf:nil . _:i rdf:first first:medium . _:i rdf:rest _:g . _:k rdf:first first:large . _:k rdf:rest _:i . first:T2 owl:oneOf _:k . first:myT rdf:type first:T1 . | |||
| Full | Conclusions:
<oneOf/conclusions003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:first="http://www.w3.org/2002/03owlt/oneOf/premises003#"
xml:base="http://www.w3.org/2002/03owlt/oneOf/conclusions003" >
<first:T2 rdf:about="premises003#myT"/>
</rdf:RDF> | |||
first:myT rdf:type first:T2 . | |||
| DL Full | Positive Entailment Test: | 004 | |
|---|---|---|---|
Description:
(informative)
<oneOf/Manifest004#test>
|
|||
| This test illustrates the use of dataRange in OWL DL. This test combines some of the ugliest features of XML, RDF and OWL. | |||
| N3 format is informative. | |||
| DL | Premises:
<oneOf/premises004>
| ||
<!DOCTYPE rdf:RDF [
<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#">
<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#">
]>
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/oneOf/premises004#"
xml:base="http://www.w3.org/2002/03owlt/oneOf/premises004" >
<owl:DatatypeProperty rdf:ID="p">
<rdfs:range>
<owl:DataRange>
<owl:oneOf>
<rdf:List>
<rdf:first rdf:datatype="&xsd;integer">1</rdf:first>
<rdf:rest>
<rdf:List>
<rdf:first rdf:datatype="&xsd;integer">2</rdf:first>
<rdf:rest>
<rdf:List>
<rdf:first rdf:datatype="&xsd;integer">3</rdf:first>
<rdf:rest>
<rdf:List>
<rdf:first rdf:datatype="&xsd;integer">4</rdf:first>
<rdf:rest rdf:resource="&rdf;nil"/>
</rdf:List>
</rdf:rest>
</rdf:List>
</rdf:rest>
</rdf:List>
</rdf:rest>
</rdf:List>
</owl:oneOf>
</owl:DataRange>
</rdfs:range>
<rdfs:range>
<owl:DataRange>
<owl:oneOf>
<rdf:List>
<rdf:first rdf:datatype="&xsd;integer">4</rdf:first>
<rdf:rest>
<rdf:List>
<rdf:first rdf:datatype="&xsd;integer">5</rdf:first>
<rdf:rest>
<rdf:List>
<rdf:first rdf:datatype="&xsd;integer">6</rdf:first>
<rdf:rest rdf:resource="&rdf;nil"/>
</rdf:List>
</rdf:rest>
</rdf:List>
</rdf:rest>
</rdf:List>
</owl:oneOf>
</owl:DataRange>
</rdfs:range>
</owl:DatatypeProperty>
<owl:Thing rdf:ID="i">
<rdf:type>
<owl:Restriction>
<owl:onProperty rdf:resource="#p"/>
<owl:minCardinality rdf:datatype="&xsd;int">1</owl:minCardinality>
</owl:Restriction>
</rdf:type>
</owl:Thing>
</rdf:RDF> | |||
first:p rdf:type owl:DatatypeProperty . _:a rdf:type owl:DataRange . _:c rdf:type rdf:List . _:c rdf:first "1"^^xsd:integer . _:e rdf:type rdf:List . _:e rdf:first "2"^^xsd:integer . _:g rdf:type rdf:List . _:g rdf:first "3"^^xsd:integer . _:i rdf:type rdf:List . _:i rdf:first "4"^^xsd:integer . _:i rdf:rest rdf:nil . _:g rdf:rest _:i . _:e rdf:rest _:g . _:c rdf:rest _:e . _:a owl:oneOf _:c . first:p rdfs:range _:a . _:k rdf:type owl:DataRange . _:m rdf:type rdf:List . _:m rdf:first "4"^^xsd:integer . _:o rdf:type rdf:List . _:o rdf:first "5"^^xsd:integer . _:q rdf:type rdf:List . _:q rdf:first "6"^^xsd:integer . _:q rdf:rest rdf:nil . _:o rdf:rest _:q . _:m rdf:rest _:o . _:k owl:oneOf _:m . first:p rdfs:range _:k . first:i rdf:type owl:Thing . _:s rdf:type owl:Restriction . _:s owl:onProperty first:p . _:s owl:minCardinality "1"^^xsd:int . first:i rdf:type _:s . | |||
| Lite | Conclusions:
<oneOf/conclusions004>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/oneOf/premises004#"
xml:base="http://www.w3.org/2002/03owlt/oneOf/conclusions004" >
<owl:DatatypeProperty rdf:about="premises004#p"/>
<owl:Thing rdf:about="premises004#i">
<first:p rdf:datatype=
"http://www.w3.org/2001/XMLSchema#integer">4</first:p>
</owl:Thing>
</rdf:RDF> | |||
first:p rdf:type owl:DatatypeProperty . first:i rdf:type owl:Thing . first:i first:p "4"^^xsd:integer . | |||
owl:sameAs| Full | Positive Entailment Test: | 001 | |
|---|---|---|---|
Description:
(informative)
<sameAs/Manifest001#test>
|
|||
| Annotation properties refer to a class instance. sameAs, in OWL Full, also refers to the class instance. | |||
| N3 format is informative. | |||
| Full | Premises:
<sameAs/premises001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/sameAs/premises001#"
xml:base="http://www.w3.org/2002/03owlt/sameAs/premises001"
>
<owl:Class rdf:ID="c1">
<owl:sameAs>
<owl:Class rdf:ID="c2"/>
</owl:sameAs>
<first:annotate>description of c1</first:annotate>
</owl:Class>
<owl:AnnotationProperty rdf:ID="annotate" />
</rdf:RDF> | |||
first:c1 rdf:type owl:Class . first:c2 rdf:type owl:Class . first:c1 owl:sameAs first:c2 . first:c1 first:annotate "description of c1" . first:annotate rdf:type owl:AnnotationProperty . | |||
| Lite | Conclusions:
<sameAs/conclusions001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/sameAs/premises001#"
xml:base="http://www.w3.org/2002/03owlt/sameAs/conclusions001"
>
<owl:Class rdf:about="premises001#c2">
<first:annotate>description of c1</first:annotate>
</owl:Class>
<owl:AnnotationProperty rdf:about="premises001#annotate" />
</rdf:RDF> | |||
first:c2 rdf:type owl:Class . first:c2 first:annotate "description of c1" . first:annotate rdf:type owl:AnnotationProperty . | |||
owl:someValuesFrom| Full | Positive Entailment Test: | 001 | |
|---|---|---|---|
Description:
(informative)
<someValuesFrom/Manifest001#test>
|
|||
| A simple example. | |||
| N3 format is informative. | |||
| Lite | Premises:
<someValuesFrom/premises001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises001#"
xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/premises001" >
<owl:Class rdf:ID="r">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#p"/>
<owl:someValuesFrom rdf:resource="#c"/>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:ObjectProperty rdf:ID="p"/>
<owl:Class rdf:ID="c"/>
<first:r rdf:ID="i"/>
</rdf:RDF> | |||
first:r rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:someValuesFrom first:c . first:r rdfs:subClassOf _:a . first:p rdf:type owl:ObjectProperty . first:c rdf:type owl:Class . first:i rdf:type first:r . | |||
| Full | Conclusions:
<someValuesFrom/conclusions001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises001#"
xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/conclusions001" >
<rdf:Description rdf:about="premises001#i">
<first:p>
<first:c />
</first:p>
</rdf:Description>
</rdf:RDF> | |||
_:a rdf:type first:c . first:i first:p _:a . | |||
| Full (EC) | Negative Entailment Test: | 002 | |
|---|---|---|---|
Description:
(informative)
<someValuesFrom/Manifest002#test>
|
|||
A simple example showing how owl:someValuesFrom differs from owl:allValuesFrom. | |||
| N3 format is informative. | |||
| Full | Premises:
<someValuesFrom/premises002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises002#"
xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/premises002" >
<owl:Class rdf:ID="r">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#p"/>
<owl:someValuesFrom rdf:resource="#c"/>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:ObjectProperty rdf:ID="p"/>
<owl:Class rdf:ID="c"/>
<first:r rdf:ID="i">
<first:p rdf:resource="#o"/>
</first:r>
</rdf:RDF> | |||
first:r rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:p . _:a owl:someValuesFrom first:c . first:r rdfs:subClassOf _:a . first:p rdf:type owl:ObjectProperty . first:c rdf:type owl:Class . first:i rdf:type first:r . first:i first:p first:o . | |||
| Full | Conclusions:
<someValuesFrom/nonconclusions002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises002#"
xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/nonconclusions002" >
<first:c rdf:about="premises001#o"/>
</rdf:RDF> | |||
<someValuesFrom/premises001#o> rdf:type first:c . | |||
| Lite Full | Positive Entailment Test: | 003 | |
|---|---|---|---|
Description:
(informative)
<someValuesFrom/Manifest003#test>
|
|||
| A simple infinite loop for implementors to avoid. | |||
| N3 format is informative. | |||
| Lite | Premises:
<someValuesFrom/premises003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises003#"
xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/premises003" >
<owl:Class rdf:ID="person">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="parent"/>
</owl:onProperty>
<owl:someValuesFrom rdf:resource="#person" />
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<first:person rdf:ID="fred" />
</rdf:RDF> | |||
first:person rdf:type owl:Class . _:a rdf:type owl:Restriction . first:parent rdf:type owl:ObjectProperty . _:a owl:onProperty first:parent . _:a owl:someValuesFrom first:person . first:person owl:equivalentClass _:a . first:fred rdf:type first:person . | |||
| Lite | Conclusions:
<someValuesFrom/conclusions003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises003#"
xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/conclusions003" >
<owl:ObjectProperty rdf:about="premises003#parent"/>
<owl:Thing rdf:about="premises003#fred">
<first:parent>
<owl:Thing>
<first:parent>
<owl:Thing/>
</first:parent>
</owl:Thing>
</first:parent>
</owl:Thing>
</rdf:RDF> | |||
first:parent rdf:type owl:ObjectProperty . first:fred rdf:type owl:Thing . _:a rdf:type owl:Thing . _:c rdf:type owl:Thing . _:a first:parent _:c . first:fred first:parent _:a . | |||
owl:unionOf| Full | Positive Entailment Test: | 001 | |
|---|---|---|---|
Description:
(informative)
<unionOf/Manifest001#test>
|
|||
| A union is a superclass of its parts. | |||
| N3 format is informative. | |||
| Full | Premises:
<unionOf/premises001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/unionOf/premises001#"
xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions001#"
xml:base="http://www.w3.org/2002/03owlt/unionOf/premises001" >
<rdf:Description rdf:about="premises001#A">
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:about="premises001#Human"/>
<rdf:Description rdf:about="premises001#Animal"/>
</owl:unionOf>
</rdf:Description>
<first:Human rdf:about="premises001#John"/>
</rdf:RDF> | |||
_:a rdf:first first:Animal . _:a rdf:rest rdf:nil . _:c rdf:first first:Human . _:c rdf:rest _:a . first:A owl:unionOf _:c . first:John rdf:type first:Human . | |||
| Full | Conclusions:
<unionOf/conclusions001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/unionOf/premises001#"
xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions001#"
xml:base="http://www.w3.org/2002/03owlt/unionOf/conclusions001" >
<first:A rdf:about="premises001#John"/>
</rdf:RDF> | |||
first:John rdf:type first:A . | |||
| Full | Positive Entailment Test: | 002 | |
|---|---|---|---|
Description:
(informative)
<unionOf/Manifest002#test>
|
|||
| A union behaves quite like set theoretic union. | |||
| N3 format is informative. | |||
| Full | Premises:
<unionOf/premises002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/unionOf/premises002#"
xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions002#"
xml:base="http://www.w3.org/2002/03owlt/unionOf/premises002" >
<rdf:Description rdf:about="premises002#A">
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:about="premises002#Human"/>
<rdf:Description rdf:about="premises002#Animal"/>
</owl:unionOf>
</rdf:Description>
<rdf:Description rdf:about="premises002#B">
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:about="premises002#Animal"/>
<rdf:Description rdf:about="premises002#Human"/>
<rdf:Description rdf:about="premises002#Stone"/>
</owl:unionOf>
</rdf:Description>
<first:A rdf:about="premises002#John"/>
</rdf:RDF> | |||
_:a rdf:first first:Animal . _:a rdf:rest rdf:nil . _:c rdf:first first:Human . _:c rdf:rest _:a . first:A owl:unionOf _:c . _:e rdf:first first:Stone . _:e rdf:rest rdf:nil . _:g rdf:first first:Human . _:g rdf:rest _:e . _:i rdf:first first:Animal . _:i rdf:rest _:g . first:B owl:unionOf _:i . first:John rdf:type first:A . | |||
| Full | Conclusions:
<unionOf/conclusions002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/unionOf/premises002#"
xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions002#"
xml:base="http://www.w3.org/2002/03owlt/unionOf/conclusions002" >
<first:B rdf:about="premises002#John"/>
</rdf:RDF> | |||
first:John rdf:type first:B . | |||
| DL Full | Positive Entailment Test: | 003 | |
|---|---|---|---|
Description:
(informative)
<unionOf/Manifest003#test>
|
|||
| Sets with appropriate extensions are related by unionOf. | |||
| N3 format is informative. | |||
| DL | Premises:
<unionOf/premises003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/unionOf/premises003" >
<owl:Class rdf:ID="A">
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:ID="a"/>
</owl:oneOf>
</owl:Class>
<owl:Class rdf:ID="B">
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:ID="b"/>
</owl:oneOf>
</owl:Class>
<owl:Class rdf:ID="A-and-B">
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:about="#a"/>
<owl:Thing rdf:about="#b"/>
</owl:oneOf>
</owl:Class>
</rdf:RDF> | |||
first:A rdf:type owl:Class . first:a rdf:type owl:Thing . _:a rdf:first first:a . _:a rdf:rest rdf:nil . first:A owl:oneOf _:a . first:B rdf:type owl:Class . first:b rdf:type owl:Thing . _:c rdf:first first:b . _:c rdf:rest rdf:nil . first:B owl:oneOf _:c . first:A-and-B rdf:type owl:Class . first:a rdf:type owl:Thing . first:b rdf:type owl:Thing . _:e rdf:first first:b . _:e rdf:rest rdf:nil . _:g rdf:first first:a . _:g rdf:rest _:e . first:A-and-B owl:oneOf _:g . | |||
| DL | Conclusions:
<unionOf/conclusions003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/unionOf/conclusions003" >
<owl:Class rdf:about="premises003#A-and-B">
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="premises003#A"/>
<owl:Class rdf:about="premises003#B"/>
</owl:unionOf>
</owl:Class>
</rdf:RDF> | |||
first:A-and-B rdf:type owl:Class . first:A rdf:type owl:Class . first:B rdf:type owl:Class . _:a rdf:first first:B . _:a rdf:rest rdf:nil . _:c rdf:first first:A . _:c rdf:rest _:a . first:A-and-B owl:unionOf _:c . | |||
| DL Full | Positive Entailment Test: | 004 | |
|---|---|---|---|
Description:
(informative)
<unionOf/Manifest004#test>
|
|||
| An inverse to test 003. | |||
| N3 format is informative. | |||
| DL | Premises:
<unionOf/premises004>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/unionOf/premises004#"
xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions004#"
xml:base="http://www.w3.org/2002/03owlt/unionOf/premises004" >
<owl:Class rdf:about="#A-and-B">
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="#A"/>
<owl:Class rdf:about="#B"/>
</owl:unionOf>
</owl:Class>
<owl:Class rdf:ID="A">
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:ID="a"/>
</owl:oneOf>
</owl:Class>
<owl:Class rdf:ID="B">
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:ID="b"/>
</owl:oneOf>
</owl:Class>
</rdf:RDF> | |||
first:A-and-B rdf:type owl:Class . first:A rdf:type owl:Class . first:B rdf:type owl:Class . _:a rdf:first first:B . _:a rdf:rest rdf:nil . _:c rdf:first first:A . _:c rdf:rest _:a . first:A-and-B owl:unionOf _:c . first:A rdf:type owl:Class . first:a rdf:type owl:Thing . _:e rdf:first first:a . _:e rdf:rest rdf:nil . first:A owl:oneOf _:e . first:B rdf:type owl:Class . first:b rdf:type owl:Thing . _:g rdf:first first:b . _:g rdf:rest rdf:nil . first:B owl:oneOf _:g . | |||
| DL | Conclusions:
<unionOf/conclusions004>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/unionOf/premises004#"
xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions004#"
xml:base="http://www.w3.org/2002/03owlt/unionOf/conclusions004" >
<owl:Class rdf:about="premises004#A-and-B">
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:about="premises004#a"/>
<owl:Thing rdf:about="premises004#b"/>
</owl:oneOf>
</owl:Class>
</rdf:RDF> | |||
first:A-and-B rdf:type owl:Class . first:a rdf:type owl:Thing . first:b rdf:type owl:Thing . _:a rdf:first first:b . _:a rdf:rest rdf:nil . _:c rdf:first first:a . _:c rdf:rest _:a . first:A-and-B owl:oneOf _:c . | |||