OWL Test 7.2. By Issue
previous
next
top
contents
index
OWL Web Ontology Language
Test Cases
7.2. By Issue
W3C
MIT
ERCIM
Keio
), All Rights Reserved. W3C
liability
trademark
document
use
and
software
licensing
rules apply.
Contents
7.2. By Issue
7.2.1. Qualified Restrictions
7.2.2. UnambiguousProperty
7.2.3. UniqueProp BadName
7.2.4. InverseOf
7.2.5. EquivalentTo
7.2.6. Uniform treatment of literal data values
7.2.7. Language Compliance Levels
7.2.8. drop-disjointUnionOf
7.2.9. IF-or-IFF-property-properties
7.2.10. OWL DL Sytntax
7.2.11. Semantic-Layering
7.2.12. List syntax or semantics
7.2.13. Datatypes
7.2.14. Unnamed Individual Restrictions
7.2. By Issue
7.2.1. Qualified Restrictions
Lite
Illegal use of OWL namespace.
001
Description:
(informative)
The names used in a DAML+OIL qualified cardinality constraint are not defined the OWL namespace.
N3 format
is informative.
Namespaces:
@prefix eg:
Full
Incorrect:
]>
xmlns:owl="&owl;"
xml:base=
'http://www.w3.org/2002/03owlt/I3.2/bad001'
_:a rdf:type owl:Restriction .
_:a owl:cardinalityQ "1" .
_:a owl:onProperty first:exampleProp .
_:a owl:hasClassQ first:exampleClass .
Lite
Illegal use of OWL namespace.
002
Description:
(informative)
The names used in a DAML+OIL qualified max cardinality constraint are not defined the OWL namespace.
N3 format
is informative.
Full
Incorrect:
]>
xml:base=
'http://www.w3.org/2002/03owlt/I3.2/bad002'
_:a rdf:type owl:Restriction .
_:a owl:maxCardinalityQ "1" .
_:a owl:onProperty first:exampleProp .
_:a owl:hasClassQ first:exampleClass .
Lite
Illegal use of OWL namespace.
003
Description:
(informative)
The names used in a DAML+OIL qualified min cardinality constraint are not defined the OWL namespace.
N3 format
is informative.
Namespaces:
@prefix eg:
Full
Incorrect:
]>
xmlns:owl="&owl;"
xml:base=
'http://www.w3.org/2002/03owlt/I3.2/bad003'
_:a rdf:type owl:Restriction .
_:a owl:minCardinalityQ "1" .
_:a owl:onProperty first:exampleProp .
_:a owl:hasClassQ first:exampleClass .
7.2.2. UnambiguousProperty
Lite
Illegal use of OWL namespace.
001
Description:
(informative)
The name
UnambiguousProperty
is not defined in the OWL namespace.
daml:UnambiguousProperty
corresponds to
owl:InverseFunctionalProperty
N3 format
is informative.
Full
Incorrect:
'http://www.w3.org/2002/03owlt/I3.4/bad001'
xmlns:owl ="http://www.w3.org/2002/07/owl#" >
first:Name rdf:type owl:UnambiguousProperty .
7.2.3. UniqueProp BadName
Lite
Illegal use of OWL namespace.
001
Description:
(informative)
The name
UniqueProperty
is not defined in the OWL namespace.
daml:UniqueProperty
corresponds to
owl:FunctionalProperty
N3 format
is informative.
Full
Incorrect:
'http://www.w3.org/2002/03owlt/I4.1/bad001'
xmlns:owl ="http://www.w3.org/2002/07/owl#" >
first:Name rdf:type owl:UniqueProperty .
7.2.4. InverseOf
DL Full
Positive Entailment Test:
001
Description:
(informative)
An example combinging owl:oneOf and owl:inverseOf.
N3 format
is informative.
DL
Premises:
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/I4.5/premises001#"
xml:base="http://www.w3.org/2002/03owlt/I4.5/premises001" >
first:EuropeanCountry rdf:type owl:Class .
first:Person rdf:type owl:Class .
first:EUCountry rdf:type owl:Class .
first:UK rdf:type first:EuropeanCountry .
first:BE rdf:type first:EuropeanCountry .
first:ES rdf:type first:EuropeanCountry .
first:FR rdf:type first:EuropeanCountry .
first:NL rdf:type first:EuropeanCountry .
first:PT rdf:type first:EuropeanCountry .
_:a rdf:first first:PT .
_:a rdf:rest rdf:nil .
_:c rdf:first first:NL .
_:c rdf:rest _:a .
_:e rdf:first first:FR .
_:e rdf:rest _:c .
_:g rdf:first first:ES .
_:g rdf:rest _:e .
_:i rdf:first first:BE .
_:i rdf:rest _:g .
_:k rdf:first first:UK .
_:k rdf:rest _:i .
first:EUCountry owl:oneOf _:k .
first:hasEuroMP rdf:type owl:ObjectProperty .
first:hasEuroMP rdfs:domain first:EUCountry .
first:isEuroMPFrom rdf:type owl:ObjectProperty .
first:isEuroMPFrom owl:inverseOf first:hasEuroMP .
first:EuroMP rdf:type owl:Class .
_:m rdf:type owl:Restriction .
_:m owl:onProperty first:isEuroMPFrom .
_:m owl:someValuesFrom owl:Thing .
first:EuroMP owl:equivalentClass _:m .
first:Kinnock rdf:type first:Person .
first:UK rdf:type first:EuropeanCountry .
first:UK first:hasEuroMP first:Kinnock .
Lite
Conclusions:
xmlns:first="http://www.w3.org/2002/03owlt/I4.5/premises001#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I4.5/conclusions001" >
first:Kinnock rdf:type first:EuroMP .
first:EuroMP rdf:type owl:Class .
DL Full
Inconsistent document.
002
Description:
(informative)
An example combining owl:oneOf and owl:inverseOf.
N3 format
is informative.
DL
Inconsistent:
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/I4.5/inconsistent002#"
xml:base="http://www.w3.org/2002/03owlt/I4.5/inconsistent002" >
first:EuropeanCountry rdf:type owl:Class .
first:Person rdf:type owl:Class .
first:EUCountry rdf:type owl:Class .
first:UK rdf:type first:EuropeanCountry .
first:BE rdf:type first:EuropeanCountry .
first:ES rdf:type first:EuropeanCountry .
first:FR rdf:type first:EuropeanCountry .
first:NL rdf:type first:EuropeanCountry .
first:PT rdf:type first:EuropeanCountry .
_:a rdf:first first:PT .
_:a rdf:rest rdf:nil .
_:c rdf:first first:NL .
_:c rdf:rest _:a .
_:e rdf:first first:FR .
_:e rdf:rest _:c .
_:g rdf:first first:ES .
_:g rdf:rest _:e .
_:i rdf:first first:BE .
_:i rdf:rest _:g .
_:k rdf:first first:UK .
_:k rdf:rest _:i .
first:EUCountry owl:oneOf _:k .
first:hasEuroMP rdf:type owl:ObjectProperty .
first:hasEuroMP rdfs:domain first:EUCountry .
first:isEuroMPFrom rdf:type owl:ObjectProperty .
first:isEuroMPFrom owl:inverseOf first:hasEuroMP .
first:EuroMP rdf:type owl:Class .
_:m rdf:type owl:Restriction .
_:m owl:onProperty first:isEuroMPFrom .
_:m owl:someValuesFrom owl:Thing .
first:EuroMP owl:equivalentClass _:m .
first:Kinnock rdf:type first:Person .
_:o rdf:type owl:Class .
_:o owl:complementOf first:EuroMP .
first:Kinnock rdf:type _:o .
first:UK rdf:type first:EuropeanCountry .
first:UK first:hasEuroMP first:Kinnock .
7.2.5. EquivalentTo
Full
Positive Entailment Test:
003
Description:
(informative)
owl:sameAs
is stronger than
owl:equivalentClass
N3 format
is informative.
Full
Premises:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I4.6/premises003" >
first:C1 rdf:type owl:Class .
first:C2 rdf:type owl:Class .
first:C1 owl:sameAs first:C2 .
Lite
Conclusions:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I4.6/conclusions003" >
first:C1 rdf:type owl:Class .
first:C2 rdf:type owl:Class .
first:C1 owl:equivalentClass first:C2 .
Full
(EC)
Negative Entailment Test:
004
Description:
(informative)
owl:sameAs
is stronger than
owl:equivalentClass
N3 format
is informative.
Lite
Premises:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I4.6/premises004" >
second:C1 rdf:type owl:Class .
second:C2 rdf:type owl:Class .
second:C1 owl:equivalentClass second:C2 .
Full
Conclusions:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I4.6/nonconclusions004" >
second:C1 rdf:type owl:Class .
second:C2 rdf:type owl:Class .
second:C1 owl:sameAs second:C2 .
Lite Full
Negative Entailment Test:
005
Description:
(informative)
owl:equivalentClass
is not related to annotations on classes.
N3 format
is informative.
Lite
Premises:
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/I4.6/premises005" >
second:C1 rdf:type owl:Class .
second:C1 rdfs:comment "An example class." .
second:C2 rdf:type owl:Class .
second:C1 owl:equivalentClass second:C2 .
Lite
Conclusions:
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/I4.6/nonconclusions005" >
second:C2 rdf:type owl:Class .
second:C2 rdfs:comment "An example class." .
Lite
Illegal use of OWL namespace.
006
Description:
(informative)
owl:sameIndividualAs
is not an OWL property.
N3 format
is informative.
Full
Incorrect:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I4.6/bad006" >
first:a rdf:type owl:Thing .
first:b rdf:type owl:Thing .
first:a owl:sameIndividualAs first:b .
Lite
Illegal use of OWL namespace.
007
Description:
(informative)
owl:sameClassAs
is not an OWL property.
N3 format
is informative.
Full
Incorrect:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I4.6/bad007" >
first:a rdf:type owl:Class .
first:b rdf:type owl:Class .
first:a owl:sameClassAs first:b .
Lite
Illegal use of OWL namespace.
008
Description:
(informative)
owl:samePropertyAs
is not an OWL property.
N3 format
is informative.
Full
Incorrect:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I4.6/bad008" >
first:a rdf:type owl:ObjectProperty .
first:b rdf:type owl:ObjectProperty .
first:a owl:samePropertyAs first:b .
7.2.6. Uniform treatment of literal data values
Full
Positive Entailment Test:
001
Description:
(informative)
stateCode example using an inverseFunctionalProperty and literals
N3 format
is informative.
Namespaces:
@prefix NS0:
Full
Premises:
xml:base=
'http://www.w3.org/2002/03owlt/I5.1/premises001'
xmlns:NS0='http://example.org/vocab#'
_:a NS0:stateCode "KS" .
_:a NS0:population "2688418" .
NS0:stateCode rdf:type owl:InverseFunctionalProperty .
_:c NS0:stateCode "KS" .
_:c NS0:stateBird NS0:WesternMeadowlark .
Full
Conclusions:
xmlns:NS0='http://example.org/vocab#'
xml:base=
'http://www.w3.org/2002/03owlt/I5.1/conclusions001'
_:a NS0:population "2688418" .
_:a NS0:stateBird NS0:WesternMeadowlark .
Full
(EC)
Consistent document.
010
Description:
(informative)
There are 128 different bytes that are also unsigned integers; and hence also 127.
Datatypes that may or may not be supported:
xsd:byte,
xsd:unsignedInt,
N3 format
is informative.
Full
Consistent:
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/I5.1/consistent010" >
>127
first:p rdf:type owl:DatatypeProperty .
first:p rdfs:range xsd:byte .
first:p rdf:type owl:InverseFunctionalProperty .
first:q rdf:type owl:ObjectProperty .
first:invQ rdf:type owl:ObjectProperty .
first:q owl:inverseOf first:invQ .
first:spy rdf:type owl:Thing .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:invQ .
_:a owl:cardinality "127"^^xsd:nonNegativeInteger .
first:spy rdf:type _:a .
_:c rdf:type owl:Restriction .
_:c owl:onProperty first:p .
_:c owl:someValuesFrom xsd:unsignedInt .
_:e rdf:type owl:Restriction .
_:e owl:onProperty first:q .
_:e owl:hasValue first:spy .
_:c owl:equivalentClass _:e .
7.2.7. Language Compliance Levels
Lite Full
Consistent document.
001
Description:
(informative)
A class like
owl:Nothing
can be defined using OWL Lite restrictions.
N3 format
is informative.
Lite
Consistent:
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/I5.2/consistent001#"
xml:base="http://www.w3.org/2002/03owlt/I5.2/consistent001" >
>1
>0
first:Nothing rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:p rdf:type owl:ObjectProperty .
_:a owl:onProperty first:p .
_:a owl:minCardinality "1"^^xsd:nonNegativeInteger .
first:Nothing rdfs:subClassOf _:a .
_:c rdf:type owl:Restriction .
first:p rdf:type owl:ObjectProperty .
_:c owl:onProperty first:p .
_:c owl:maxCardinality "0"^^xsd:nonNegativeInteger .
first:Nothing rdfs:subClassOf _:c .
Lite Full
Positive Entailment Test:
002
Description:
(informative)
A class like
owl:Nothing
can be defined using OWL Lite restrictions.
N3 format
is informative.
Lite
Premises:
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/I5.2/premises002" >
>1
>0
first:Nothing rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:p rdf:type owl:ObjectProperty .
_:a owl:onProperty first:p .
_:a owl:minCardinality "1"^^xsd:nonNegativeInteger .
first:Nothing rdfs:subClassOf _:a .
_:c rdf:type owl:Restriction .
first:p rdf:type owl:ObjectProperty .
_:c owl:onProperty first:p .
_:c owl:maxCardinality "0"^^xsd:nonNegativeInteger .
first:Nothing rdfs:subClassOf _:c .
Lite
Conclusions:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.2/conclusions002" >
first:Nothing rdf:type owl:Class .
owl:Nothing rdf:type owl:Class .
first:Nothing owl:equivalentClass owl:Nothing .
Lite Full
Consistent document.
003
Description:
(informative)
The complement of a class can be defined using OWL Lite restrictions.
N3 format
is informative.
Lite
Consistent:
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/I5.2/consistent003#"
xml:base="http://www.w3.org/2002/03owlt/I5.2/consistent003" >
>1
>0
first:Nothing rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:p rdf:type owl:ObjectProperty .
_:a owl:onProperty first:p .
_:a owl:minCardinality "1"^^xsd:nonNegativeInteger .
first:Nothing rdfs:subClassOf _:a .
_:c rdf:type owl:Restriction .
first:p rdf:type owl:ObjectProperty .
_:c owl:onProperty first:p .
_:c owl:maxCardinality "0"^^xsd:nonNegativeInteger .
first:Nothing rdfs:subClassOf _:c .
first:A rdf:type owl:Class .
_:e rdf:type owl:Restriction .
first:q rdf:type owl:ObjectProperty .
_:e owl:onProperty first:q .
owl:Thing rdf:type owl:Class .
_:e owl:someValuesFrom owl:Thing .
first:A owl:equivalentClass _:e .
first:notA rdf:type owl:Class .
_:g rdf:type owl:Restriction .
first:q rdf:type owl:ObjectProperty .
_:g owl:onProperty first:q .
first:Nothing rdf:type owl:Class .
_:g owl:allValuesFrom first:Nothing .
first:notA owl:equivalentClass _:g .
DL Full
Positive Entailment Test:
004
Description:
(informative)
The complement of a class can be defined using OWL Lite restrictions.
N3 format
is informative.
Lite
Premises:
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/I5.2/premises004#"
xmlns:second="http://www.w3.org/2002/03owlt/I5.2/conclusions004#"
xml:base="http://www.w3.org/2002/03owlt/I5.2/premises004" >
>1
>0
first:Nothing rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:p rdf:type owl:ObjectProperty .
_:a owl:onProperty first:p .
_:a owl:minCardinality "1"^^xsd:nonNegativeInteger .
first:Nothing rdfs:subClassOf _:a .
_:c rdf:type owl:Restriction .
first:p rdf:type owl:ObjectProperty .
_:c owl:onProperty first:p .
_:c owl:maxCardinality "0"^^xsd:nonNegativeInteger .
first:Nothing rdfs:subClassOf _:c .
first:A rdf:type owl:Class .
_:e rdf:type owl:Restriction .
first:q rdf:type owl:ObjectProperty .
_:e owl:onProperty first:q .
owl:Thing rdf:type owl:Class .
_:e owl:someValuesFrom owl:Thing .
first:A owl:equivalentClass _:e .
first:notA rdf:type owl:Class .
_:g rdf:type owl:Restriction .
first:q rdf:type owl:ObjectProperty .
_:g owl:onProperty first:q .
first:Nothing rdf:type owl:Class .
_:g owl:allValuesFrom first:Nothing .
first:notA owl:equivalentClass _:g .
DL
Conclusions:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.2/conclusions004" >
first:notA rdf:type owl:Class .
first:A rdf:type owl:Class .
first:notA owl:complementOf first:A .
DL Full
Consistent document.
005
Description:
(informative)
The union of two classes can be defined using OWL Lite restrictions, and
owl:intersectionOf
N3 format
is informative.
Lite
Consistent:
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/I5.2/consistent005#"
xml:base="http://www.w3.org/2002/03owlt/I5.2/consistent005" >
>1
>0
first:Nothing rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:p rdf:type owl:ObjectProperty .
_:a owl:onProperty first:p .
_:a owl:minCardinality "1"^^xsd:nonNegativeInteger .
first:Nothing rdfs:subClassOf _:a .
_:c rdf:type owl:Restriction .
first:p rdf:type owl:ObjectProperty .
_:c owl:onProperty first:p .
_:c owl:maxCardinality "0"^^xsd:nonNegativeInteger .
first:Nothing rdfs:subClassOf _:c .
first:A rdf:type owl:Class .
_:e rdf:type owl:Restriction .
first:q rdf:type owl:ObjectProperty .
_:e owl:onProperty first:q .
owl:Thing rdf:type owl:Class .
_:e owl:someValuesFrom owl:Thing .
first:A owl:equivalentClass _:e .
first:notA rdf:type owl:Class .
_:g rdf:type owl:Restriction .
first:q rdf:type owl:ObjectProperty .
_:g owl:onProperty first:q .
first:Nothing rdf:type owl:Class .
_:g owl:allValuesFrom first:Nothing .
first:notA owl:equivalentClass _:g .
first:B rdf:type owl:Class .
_:i rdf:type owl:Restriction .
first:r rdf:type owl:ObjectProperty .
_:i owl:onProperty first:r .
owl:Thing rdf:type owl:Class .
_:i owl:someValuesFrom owl:Thing .
first:B owl:equivalentClass _:i .
first:notB rdf:type owl:Class .
_:k rdf:type owl:Restriction .
first:r rdf:type owl:ObjectProperty .
_:k owl:onProperty first:r .
first:Nothing rdf:type owl:Class .
_:k owl:allValuesFrom first:Nothing .
first:notB owl:equivalentClass _:k .
first:notAorB rdf:type owl:Class .
first:notA rdf:type owl:Class .
first:notB rdf:type owl:Class .
_:m rdf:first first:notB .
_:m rdf:rest rdf:nil .
_:o rdf:first first:notA .
_:o rdf:rest _:m .
first:notAorB owl:intersectionOf _:o .
first:AorB rdf:type owl:Class .
_:q rdf:type owl:Restriction .
first:s rdf:type owl:ObjectProperty .
_:q owl:onProperty first:s .
owl:Thing rdf:type owl:Class .
_:q owl:someValuesFrom owl:Thing .
first:AorB owl:equivalentClass _:q .
first:notAorB rdf:type owl:Class .
_:s rdf:type owl:Restriction .
first:s rdf:type owl:ObjectProperty .
_:s owl:onProperty first:s .
first:Nothing rdf:type owl:Class .
_:s owl:allValuesFrom first:Nothing .
first:notAorB owl:equivalentClass _:s .
DL Full
Positive Entailment Test:
006
Description:
(informative)
The union of two classes can be defined using OWL Lite restrictions, and
owl:intersectionOf
N3 format
is informative.
Lite
Premises:
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/I5.2/premises006" >
>1
>0
first:Nothing rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:p rdf:type owl:ObjectProperty .
_:a owl:onProperty first:p .
_:a owl:minCardinality "1"^^xsd:nonNegativeInteger .
first:Nothing rdfs:subClassOf _:a .
_:c rdf:type owl:Restriction .
first:p rdf:type owl:ObjectProperty .
_:c owl:onProperty first:p .
_:c owl:maxCardinality "0"^^xsd:nonNegativeInteger .
first:Nothing rdfs:subClassOf _:c .
first:A rdf:type owl:Class .
_:e rdf:type owl:Restriction .
first:q rdf:type owl:ObjectProperty .
_:e owl:onProperty first:q .
owl:Thing rdf:type owl:Class .
_:e owl:someValuesFrom owl:Thing .
first:A owl:equivalentClass _:e .
first:notA rdf:type owl:Class .
_:g rdf:type owl:Restriction .
first:q rdf:type owl:ObjectProperty .
_:g owl:onProperty first:q .
first:Nothing rdf:type owl:Class .
_:g owl:allValuesFrom first:Nothing .
first:notA owl:equivalentClass _:g .
first:B rdf:type owl:Class .
_:i rdf:type owl:Restriction .
first:r rdf:type owl:ObjectProperty .
_:i owl:onProperty first:r .
owl:Thing rdf:type owl:Class .
_:i owl:someValuesFrom owl:Thing .
first:B owl:equivalentClass _:i .
first:notB rdf:type owl:Class .
_:k rdf:type owl:Restriction .
first:r rdf:type owl:ObjectProperty .
_:k owl:onProperty first:r .
first:Nothing rdf:type owl:Class .
_:k owl:allValuesFrom first:Nothing .
first:notB owl:equivalentClass _:k .
first:notAorB rdf:type owl:Class .
first:notA rdf:type owl:Class .
first:notB rdf:type owl:Class .
_:m rdf:first first:notB .
_:m rdf:rest rdf:nil .
_:o rdf:first first:notA .
_:o rdf:rest _:m .
first:notAorB owl:intersectionOf _:o .
first:AorB rdf:type owl:Class .
_:q rdf:type owl:Restriction .
first:s rdf:type owl:ObjectProperty .
_:q owl:onProperty first:s .
owl:Thing rdf:type owl:Class .
_:q owl:someValuesFrom owl:Thing .
first:AorB owl:equivalentClass _:q .
first:notAorB rdf:type owl:Class .
_:s rdf:type owl:Restriction .
first:s rdf:type owl:ObjectProperty .
_:s owl:onProperty first:s .
first:Nothing rdf:type owl:Class .
_:s owl:allValuesFrom first:Nothing .
first:notAorB owl:equivalentClass _:s .
DL
Conclusions:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.2/conclusions006" >
first:AorB 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:AorB owl:unionOf _:c .
Lite Full
Consistent document.
010
Description:
(informative)
The informal semantics for RDF container vocabulary,
indicated by the comment, are not respected by
the formal machinery of OWL.
N3 format
is informative.
Lite
Consistent:
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/I5.2/consistent010" >
rdf:Bag rdf:type owl:Class .
rdf:Bag rdfs:comment "The class of unordered containers." .
rdf:_1 rdf:type owl:ObjectProperty .
_:a rdf:type rdf:Bag .
_:c rdf:type owl:Thing .
_:a rdf:_1 _:c .
Lite Full
Consistent document.
011
Description:
(informative)
The informal semantics indicated by comments concerning user defined classes
are not respected by the formal machinery of OWL.
N3 format
is informative.
Namespaces:
@prefix eg:
Lite
Consistent:
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:eg="http://www.example.org/user#"
xml:base="http://www.w3.org/2002/03owlt/I5.2/consistent011" >
eg:Bag rdf:type owl:Class .
eg:Bag rdfs:comment "The class of unordered containers." .
eg:_1 rdf:type owl:ObjectProperty .
_:a rdf:type eg:Bag .
_:c rdf:type owl:Thing .
_:a eg:_1 _:c .
7.2.8. drop-disjointUnionOf
Lite
Illegal use of OWL namespace.
001
Description:
(informative)
daml:disjointUnionOf
did not make it into OWL.
N3 format
is informative.
Full
Incorrect:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.21/bad001" >
first:AandB 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:AandB owl:disjointUnionOf _:c .
DL Full
Positive Entailment Test:
002
Description:
(informative)
The construct used here shows how to express mutual disjointness between classes with O(N) triples.
N3 format
is informative.
DL
Premises:
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/I5.21/premises002#"
xml:base="http://www.w3.org/2002/03owlt/I5.21/premises002" >
first:Reptile rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:family-name rdf:type owl:DatatypeProperty .
_:a owl:onProperty first:family-name .
_:a owl:cardinality "1"^^xsd:int .
first:Reptile rdfs:subClassOf _:a .
first:Amphisbaenidae rdf:type owl:Class .
first:Amphisbaenidae rdfs:subClassOf first:Reptile .
_:c rdf:type owl:Restriction .
_:c owl:onProperty first:family-name .
_:c owl:hasValue "Amphisbaenidae" .
first:Amphisbaenidae rdfs:subClassOf _:c .
first:Agamidae rdf:type owl:Class .
first:Agamidae rdfs:subClassOf first:Reptile .
_:e rdf:type owl:Restriction .
_:e owl:onProperty first:family-name .
_:e owl:hasValue "Agamidae" .
first:Agamidae rdfs:subClassOf _:e .
first:Anomalepidae rdf:type owl:Class .
first:Anomalepidae rdfs:subClassOf first:Reptile .
_:g rdf:type owl:Restriction .
_:g owl:onProperty first:family-name .
_:g owl:hasValue "Anomalepidae" .
first:Anomalepidae rdfs:subClassOf _:g .
first:Emydidae rdf:type owl:Class .
first:Emydidae rdfs:subClassOf first:Reptile .
_:i rdf:type owl:Restriction .
_:i owl:onProperty first:family-name .
_:i owl:hasValue "Emydidae" .
first:Emydidae rdfs:subClassOf _:i .
first:Crocodylidae rdf:type owl:Class .
first:Crocodylidae rdfs:subClassOf first:Reptile .
_:k rdf:type owl:Restriction .
_:k owl:onProperty first:family-name .
_:k owl:hasValue "Crocodylidae" .
first:Crocodylidae rdfs:subClassOf _:k .
first:Gekkonidae rdf:type owl:Class .
first:Gekkonidae rdfs:subClassOf first:Reptile .
_:m rdf:type owl:Restriction .
_:m owl:onProperty first:family-name .
_:m owl:hasValue "Gekkonidae" .
first:Gekkonidae rdfs:subClassOf _:m .
first:Sphenodontidae rdf:type owl:Class .
first:Sphenodontidae rdfs:subClassOf first:Reptile .
_:o rdf:type owl:Restriction .
_:o owl:onProperty first:family-name .
_:o owl:hasValue "Sphenodontidae" .
first:Sphenodontidae rdfs:subClassOf _:o .
first:Cordylidae rdf:type owl:Class .
first:Cordylidae rdfs:subClassOf first:Reptile .
_:q rdf:type owl:Restriction .
_:q owl:onProperty first:family-name .
_:q owl:hasValue "Cordylidae" .
first:Cordylidae rdfs:subClassOf _:q .
first:Bipedidae rdf:type owl:Class .
first:Bipedidae rdfs:subClassOf first:Reptile .
_:s rdf:type owl:Restriction .
_:s owl:onProperty first:family-name .
_:s owl:hasValue "Bipedidae" .
first:Bipedidae rdfs:subClassOf _:s .
first:Leptotyphlopidae rdf:type owl:Class .
first:Leptotyphlopidae rdfs:subClassOf first:Reptile .
_:u rdf:type owl:Restriction .
_:u owl:onProperty first:family-name .
_:u owl:hasValue "Leptotyphlopidae" .
first:Leptotyphlopidae rdfs:subClassOf _:u .
first:Xantusiidae rdf:type owl:Class .
first:Xantusiidae rdfs:subClassOf first:Reptile .
_:w rdf:type owl:Restriction .
_:w owl:onProperty first:family-name .
_:w owl:hasValue "Xantusiidae" .
first:Xantusiidae rdfs:subClassOf _:w .
first:Loxocemidae rdf:type owl:Class .
first:Loxocemidae rdfs:subClassOf first:Reptile .
_:y rdf:type owl:Restriction .
_:y owl:onProperty first:family-name .
_:y owl:hasValue "Loxocemidae" .
first:Loxocemidae rdfs:subClassOf _:y .
DL
Conclusions:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.21/conclusions002" >
first:Amphisbaenidae rdf:type owl:Class .
first:Amphisbaenidae owl:disjointWith first:Agamidae .
first:Amphisbaenidae owl:disjointWith first:Anomalepidae .
first:Amphisbaenidae owl:disjointWith first:Emydidae .
first:Amphisbaenidae owl:disjointWith first:Crocodylidae .
first:Amphisbaenidae owl:disjointWith first:Gekkonidae .
first:Amphisbaenidae owl:disjointWith first:Sphenodontidae .
first:Amphisbaenidae owl:disjointWith first:Cordylidae .
first:Amphisbaenidae owl:disjointWith first:Bipedidae .
first:Amphisbaenidae owl:disjointWith first:Leptotyphlopidae .
first:Amphisbaenidae owl:disjointWith first:Xantusiidae .
first:Amphisbaenidae owl:disjointWith first:Loxocemidae .
first:Agamidae rdf:type owl:Class .
first:Agamidae owl:disjointWith first:Anomalepidae .
first:Agamidae owl:disjointWith first:Emydidae .
first:Agamidae owl:disjointWith first:Crocodylidae .
first:Agamidae owl:disjointWith first:Gekkonidae .
first:Agamidae owl:disjointWith first:Sphenodontidae .
first:Agamidae owl:disjointWith first:Cordylidae .
first:Agamidae owl:disjointWith first:Bipedidae .
first:Agamidae owl:disjointWith first:Leptotyphlopidae .
first:Agamidae owl:disjointWith first:Xantusiidae .
first:Agamidae owl:disjointWith first:Loxocemidae .
first:Anomalepidae rdf:type owl:Class .
first:Anomalepidae owl:disjointWith first:Emydidae .
first:Anomalepidae owl:disjointWith first:Crocodylidae .
first:Anomalepidae owl:disjointWith first:Gekkonidae .
first:Anomalepidae owl:disjointWith first:Sphenodontidae .
first:Anomalepidae owl:disjointWith first:Cordylidae .
first:Anomalepidae owl:disjointWith first:Bipedidae .
first:Anomalepidae owl:disjointWith first:Leptotyphlopidae .
first:Anomalepidae owl:disjointWith first:Xantusiidae .
first:Anomalepidae owl:disjointWith first:Loxocemidae .
first:Emydidae rdf:type owl:Class .
first:Emydidae owl:disjointWith first:Crocodylidae .
first:Emydidae owl:disjointWith first:Gekkonidae .
first:Emydidae owl:disjointWith first:Sphenodontidae .
first:Emydidae owl:disjointWith first:Cordylidae .
first:Emydidae owl:disjointWith first:Bipedidae .
first:Emydidae owl:disjointWith first:Leptotyphlopidae .
first:Emydidae owl:disjointWith first:Xantusiidae .
first:Emydidae owl:disjointWith first:Loxocemidae .
first:Crocodylidae rdf:type owl:Class .
first:Crocodylidae owl:disjointWith first:Gekkonidae .
first:Crocodylidae owl:disjointWith first:Sphenodontidae .
first:Crocodylidae owl:disjointWith first:Cordylidae .
first:Crocodylidae owl:disjointWith first:Bipedidae .
first:Crocodylidae owl:disjointWith first:Leptotyphlopidae .
first:Crocodylidae owl:disjointWith first:Xantusiidae .
first:Crocodylidae owl:disjointWith first:Loxocemidae .
first:Gekkonidae rdf:type owl:Class .
first:Gekkonidae owl:disjointWith first:Sphenodontidae .
first:Gekkonidae owl:disjointWith first:Cordylidae .
first:Gekkonidae owl:disjointWith first:Bipedidae .
first:Gekkonidae owl:disjointWith first:Leptotyphlopidae .
first:Gekkonidae owl:disjointWith first:Xantusiidae .
first:Gekkonidae owl:disjointWith first:Loxocemidae .
first:Sphenodontidae rdf:type owl:Class .
first:Sphenodontidae owl:disjointWith first:Cordylidae .
first:Sphenodontidae owl:disjointWith first:Bipedidae .
first:Sphenodontidae owl:disjointWith first:Leptotyphlopidae .
first:Sphenodontidae owl:disjointWith first:Xantusiidae .
first:Sphenodontidae owl:disjointWith first:Loxocemidae .
first:Cordylidae rdf:type owl:Class .
first:Cordylidae owl:disjointWith first:Bipedidae .
first:Cordylidae owl:disjointWith first:Leptotyphlopidae .
first:Cordylidae owl:disjointWith first:Xantusiidae .
first:Cordylidae owl:disjointWith first:Loxocemidae .
first:Bipedidae rdf:type owl:Class .
first:Bipedidae owl:disjointWith first:Leptotyphlopidae .
first:Bipedidae owl:disjointWith first:Xantusiidae .
first:Bipedidae owl:disjointWith first:Loxocemidae .
first:Leptotyphlopidae rdf:type owl:Class .
first:Leptotyphlopidae owl:disjointWith first:Xantusiidae .
first:Leptotyphlopidae owl:disjointWith first:Loxocemidae .
first:Xantusiidae rdf:type owl:Class .
first:Xantusiidae owl:disjointWith first:Loxocemidae .
first:Loxocemidae rdf:type owl:Class .
7.2.9. IF-or-IFF-property-properties
Full
Positive Entailment Test:
001
Description:
(informative)
This entailment is similar to one that does not hold
in RDFS.
N3 format
is informative.
Full
Premises:
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/I5.24/premises001" >
first:prop rdf:type rdf:Property .
first:A rdf:type owl:Class .
first:B rdf:type owl:Class .
first:A rdfs:subClassOf first:B .
first:prop rdfs:range first:A .
Full
Conclusions:
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/I5.24/conclusions001" >
first:prop rdf:type rdf:Property .
first:B rdf:type owl:Class .
first:prop rdfs:range first:B .
Full
Positive Entailment Test:
002
Description:
(informative)
OWL, unlike RDFS, uses iff semantics for range.
N3 format
is informative.
Full
Premises:
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/I5.24/premises002" >
first:prop rdf:type rdf:Property .
first:prop rdfs:range first:A .
first:prop rdfs:range first:B .
Full
Conclusions:
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/I5.24/conclusions002" >
first:prop rdf:type rdf:Property .
_:a rdf:type owl:Class .
_:c rdf:first first:B .
_:c rdf:rest rdf:nil .
_:e rdf:first first:A .
_:e rdf:rest _:c .
_:a owl:intersectionOf _:e .
first:prop rdfs:range _:a .
Lite Full
Positive Entailment Test:
003
Description:
(informative)
This is a typical definition of range from description logic.
N3 format
is informative.
Lite
Premises:
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/I5.24/premises003" >
first:prop rdf:type owl:ObjectProperty .
first:A rdf:type owl:Class .
first:prop rdfs:range first:A .
Lite
Conclusions:
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/I5.24/conclusions003" >
owl:Thing rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:prop rdf:type owl:ObjectProperty .
_:a owl:onProperty first:prop .
first:A rdf:type owl:Class .
_:a owl:allValuesFrom first:A .
owl:Thing rdfs:subClassOf _:a .
Lite Full
Positive Entailment Test:
004
Description:
(informative)
This is a typical definition of range from description logic.
It works both ways.
N3 format
is informative.
Lite
Premises:
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/I5.24/premises004" >
owl:Thing rdf:type owl:Class .
_:a rdf:type owl:Restriction .
second:prop rdf:type owl:ObjectProperty .
_:a owl:onProperty second:prop .
second:A rdf:type owl:Class .
_:a owl:allValuesFrom second:A .
owl:Thing rdfs:subClassOf _:a .
Lite
Conclusions:
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/I5.24/conclusions004" >
second:prop rdf:type owl:ObjectProperty .
second:A rdf:type owl:Class .
second:prop rdfs:range second:A .
7.2.10. OWL DL Sytntax
Full
(EC)
Consistent document.
001
Description:
(informative)
Structure sharing is not permitted in OWL DL, between a class description
and a type triple.
N3 format
is informative.
Full
Consistent:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.26/consistent001" >
_: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 .
_:e rdf:type _:a .
_:g rdf:type owl:Class .
first:C rdf:type owl:Class .
_:i rdf:first _:a .
_:i rdf:rest rdf:nil .
_:k rdf:first first:C .
_:k rdf:rest _:i .
_:g owl:intersectionOf _:k .
Full
(EC)
Consistent document.
002
Description:
(informative)
Structure sharing is not permitted in OWL DL, between an
owl:equivalentClass triple
and a type triple.
N3 format
is informative.
Full
Consistent:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.26/consistent002" >
_: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 .
first:A rdf:type owl:Class .
_:a owl:equivalentClass first:A .
_:e rdf:type _:a .
Full
(EC)
Consistent document.
003
Description:
(informative)
Structure sharing is not permitted in OWL DL, between two class descriptions.
N3 format
is informative.
Full
Consistent:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.26/consistent003" >
_: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 .
first:notB rdf:type owl:Class .
first:notB owl:complementOf _:a .
first:u rdf:type owl:Class .
first:A rdf:type owl:Class .
_:e rdf:first first:A .
_:e rdf:rest rdf:nil .
_:g rdf:first _:a .
_:g rdf:rest _:e .
first:u owl:unionOf _:g .
Full
(EC)
Consistent document.
004
Description:
(informative)
Structure sharing is not permitted in OWL DL, between a class description and an
owl:disjointWith triple.
N3 format
is informative.
Full
Consistent:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.26/consistent004" >
_: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 .
first:C rdf:type owl:Class .
_:a owl:disjointWith first:C .
first:notB rdf:type owl:Class .
first:notB owl:complementOf _:a .
Full
(EC)
Consistent document.
005
Description:
(informative)
Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and an
owl:disjointWith triple.
N3 format
is informative.
Full
Consistent:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.26/consistent005" >
_: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 .
first:C rdf:type owl:Class .
_:a owl:disjointWith first:C .
first:D rdf:type owl:Class .
_:a owl:equivalentClass first:D .
Full
(EC)
Consistent document.
006
Description:
(informative)
The blank nodes in a class description in OWL DL may not form a directed cycle.
N3 format
is informative.
Full
Consistent:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.26/consistent006" >
_:a rdf:type owl:Class .
first:B rdf:type owl:Class .
_:c rdf:type owl:Class .
first:C rdf:type owl:Class .
_:e rdf:first first:C .
_:e rdf:rest rdf:nil .
_:g rdf:first _:a .
_:g rdf:rest _:e .
_:c owl:unionOf _:g .
_:i rdf:first _:c .
_:i rdf:rest rdf:nil .
_:k rdf:first first:B .
_:k rdf:rest _:i .
_:a owl:intersectionOf _:k .
Full
(EC)
Consistent document.
007
Description:
(informative)
The blank nodes in a class description in OWL DL may not form a directed cycle.
N3 format
is informative.
Full
Consistent:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.26/consistent007" >
_:a rdf:type owl:Class .
first:B rdf:type owl:Class .
_:c rdf:type owl:Class .
first:C rdf:type owl:Class .
_:e rdf:first first:C .
_:e rdf:rest rdf:nil .
_:g rdf:first _:a .
_:g rdf:rest _:e .
_:c owl:unionOf _:g .
_:i rdf:first _:c .
_:i rdf:rest rdf:nil .
_:k rdf:first first:B .
_:k rdf:rest _:i .
_:a owl:intersectionOf _:k .
_:m rdf:type _:a .
DL Full
Positive Entailment Test:
009
Description:
(informative)
The abstract syntax form of the conclusions is:
EquivalentClasses( restriction( first:p, minCardinality(1) ) )
ObjectProperty( first:p )
This is trivially true given that first:p is an
individualvaluedPropertyID
N3 format
is informative.
Lite
Premises:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/I5.26/premises009#"
xml:base="http://www.w3.org/2002/03owlt/I5.26/premises009" >
first:p rdf:type owl:ObjectProperty .
DL
Conclusions:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.26/conclusions009" >
>1
_:a rdf:type owl:Restriction .
first:p rdf:type owl:ObjectProperty .
_:a owl:onProperty first:p .
_:a owl:minCardinality "1"^^xsd:int .
_:a owl:equivalentClass _:a .
DL Full
Positive Entailment Test:
010
Description:
(informative)
The abstract syntax form of the conclusions is:
EquivalentClasses( restriction( first:p, minCardinality(1) ) )
ObjectProperty( first:p )
This is trivially true given that first:p is an
individualvaluedPropertyID
N3 format
is informative.
Lite
Premises:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/I5.26/premises010#"
xml:base="http://www.w3.org/2002/03owlt/I5.26/premises010" >
first:p rdf:type owl:ObjectProperty .
DL
Conclusions:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.26/conclusions010" >
>1
_:a rdf:type owl:Restriction .
first:p rdf:type owl:ObjectProperty .
_:a owl:onProperty first:p .
_:a owl:minCardinality "1"^^xsd:int .
7.2.11. Semantic-Layering
Full
(EC)
Consistent document.
005
Description:
(informative)
Any RDF/XML document is in OWL Full.
N3 format
is informative.
Full
Consistent:
xmlns:first="http://www.w3.org/2002/03owlt/I5.3/consistent005#"
xml:base="http://www.w3.org/2002/03owlt/I5.3/consistent005" >
_:a first:p _:b .
Lite Full
Consistent document.
006
Description:
(informative)
A minimal OWL Lite version of
test 005
N3 format
is informative.
Lite
Consistent:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/I5.3/consistent006#"
xml:base="http://www.w3.org/2002/03owlt/I5.3/consistent006" >
_:a rdf:type owl:Thing .
_:c rdf:type owl:Thing .
_:a first:p _:c .
first:p rdf:type owl:ObjectProperty .
Full
(EC)
Consistent document.
007
Description:
(informative)
Any RDF/XML document is in OWL Full.
N3 format
is informative.
Full
Consistent:
xmlns:first="http://www.w3.org/2002/03owlt/I5.3/consistent007#"
xml:base="http://www.w3.org/2002/03owlt/I5.3/consistent007" >
_:a first:dp "value" .
Lite Full
Consistent document.
008
Description:
(informative)
An OWL Lite version of
test 007
N3 format
is informative.
Lite
Consistent:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/I5.3/consistent008#"
xml:base="http://www.w3.org/2002/03owlt/I5.3/consistent008" >
_:a rdf:type owl:Thing .
_:a first:dp "value" .
first:dp rdf:type owl:DatatypeProperty .
Full
(EC)
Consistent document.
009
Description:
(informative)
The use of blank nodes in OWL DL and OWL Lite is restricted.
N3 format
is informative.
Full
Consistent:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/I5.3/consistent009#"
xml:base="http://www.w3.org/2002/03owlt/I5.3/consistent009" >
_:a rdf:type owl:Thing .
_:a first:p _:c .
_:a first:q _:c .
first:p rdf:type owl:ObjectProperty .
first:q rdf:type owl:ObjectProperty .
Full
(EC)
Consistent document.
010
Description:
(informative)
Classes cannot be the object of regular properties in OWL DL.
N3 format
is informative.
Full
Consistent:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/I5.3/consistent010#"
xml:base="http://www.w3.org/2002/03owlt/I5.3/consistent010" >
first:p rdf:type owl:ObjectProperty .
_:a rdf:type owl:Thing .
first:c rdf:type owl:Class .
_:a first:p first:c .
Lite Full
Consistent document.
011
Description:
(informative)
Classes can be the object of annotation properties in OWL Lite and DL.
N3 format
is informative.
Lite
Consistent:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/I5.3/consistent011#"
xml:base="http://www.w3.org/2002/03owlt/I5.3/consistent011" >
first:p rdf:type owl:AnnotationProperty .
_:a rdf:type owl:Thing .
first:c rdf:type owl:Class .
_:a first:p first:c .
Full
Positive Entailment Test:
014
Description:
(informative)
This entailment does not hold under the RDF Semantics,
but does under the RDFS Compatible Semantics for OWL.
N3 format
is informative.
Full
Premises:
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xml:base="http://www.w3.org/2002/03owlt/I5.3/premises014" >
rdf:type rdfs:domain
Full
Conclusions:
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xml:base="http://www.w3.org/2002/03owlt/I5.3/conclusions014" >
Full
Positive Entailment Test:
015
Description:
(informative)
This entailment does not hold under the RDF Semantics,
but does under the RDFS Compatible Semantics for OWL.
N3 format
is informative.
Full
Premises:
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xml:base="http://www.w3.org/2002/03owlt/I5.3/premises015" >
Full
Conclusions:
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xml:base="http://www.w3.org/2002/03owlt/I5.3/conclusions015" >
7.2.12. List syntax or semantics
Full
OWL described in OWL.
001
Description:
(informative)
rdf:first is a FunctionalProperty.
N3 format
is informative.
Full
True:
xml:base=
'http://www.w3.org/2002/03owlt/I5.5/conclusions001'
xmlns:owl="http://www.w3.org/2002/07/owl#" >
rdf:first rdf:type owl:FunctionalProperty .
Full
OWL described in OWL.
002
Description:
(informative)
rdf:rest is a FunctionalProperty.
N3 format
is informative.
Full
True:
xml:base="http://www.w3.org/2002/03owlt/I5.5/conclusions002"
xmlns:owl="http://www.w3.org/2002/07/owl#" >
rdf:rest rdf:type owl:FunctionalProperty .
Full
Inconsistent document.
003
Description:
(informative)
rdf:nil cannot have an rdf:rest property.
N3 format
is informative.
Full
Inconsistent:
xml:base="http://www.w3.org/2002/03owlt/I5.5/inconsistent003" >
rdf:nil rdf:rest _:a .
Full
Inconsistent document.
004
Description:
(informative)
rdf:nil cannot have an rdf:first property.
N3 format
is informative.
Full
Inconsistent:
xml:base="http://www.w3.org/2002/03owlt/I5.5/inconsistent004" >
rdf:nil rdf:first _:a .
DL Full
Positive Entailment Test:
005
Description:
(informative)
This test exhibits the effect of the comprehension principles in OWL Full.
N3 format
is informative.
Lite
Premises:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.5/premises005" >
first:a rdf:type owl:Class .
DL
Conclusions:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.5/conclusions005" >
_:a rdf:type owl:Class .
_:c rdf:type rdf:List .
first:a rdf:type owl:Class .
_:c rdf:first first:a .
_:c rdf:rest rdf:nil .
_:a owl:unionOf _:c .
Full
(EC)
Negative Entailment Test:
006
Description:
(informative)
Comprehension does not build illformed lists.
N3 format
is informative.
Lite
Premises:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.5/premises006" >
first:a rdf:type owl:Class .
Full
Conclusions:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.5/nonconclusions006" >
_:a rdf:type rdf:List .
_:a rdf:first
_:a rdf:rest _:a .
Full
(EC)
Negative Entailment Test:
007
Description:
(informative)
Comprehension does not build illformed lists.
N3 format
is informative.
Lite
Premises:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.5/premises007" >
first:a rdf:type owl:Class .
Full
Conclusions:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.5/nonconclusions007" >
_:a rdf:type owl:Class .
_:c rdf:type rdf:List .
_:e rdf:type owl:Class .
_:g rdf:type rdf:List .
first:a rdf:type owl:Class .
_:g rdf:first first:a .
_:g rdf:rest _:c .
_:e owl:intersectionOf _:g .
_:c rdf:first _:e .
_:c rdf:rest rdf:nil .
_:a owl:unionOf _:c .
7.2.13. Datatypes
DL Full
(EC)
Inconsistent document.
001
Description:
(informative)
There are only 256 different values for
xsd:byte
Required datatype support:
xsd:byte,
N3 format
is informative.
DL
Inconsistent:
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/I5.8/inconsistent001#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/inconsistent001" >
>257
_:a rdf:type owl:Restriction .
first:p rdf:type owl:DatatypeProperty .
first:p rdfs:range xsd:byte .
_:a owl:onProperty first:p .
_:a owl:cardinality "257"^^xsd:nonNegativeInteger .
first:john rdf:type _:a .
DL Full
Consistent document.
002
Description:
(informative)
There are 256 different values for
xsd:byte
Datatypes that may or may not be supported:
xsd:byte,
N3 format
is informative.
DL
Consistent:
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/I5.8/consistent002" >
>256
_:a rdf:type owl:Restriction .
first:p rdf:type owl:DatatypeProperty .
first:p rdfs:range xsd:byte .
_:a owl:onProperty first:p .
_:a owl:cardinality "256"^^xsd:nonNegativeInteger .
first:john rdf:type _:a .
DL Full
(EC)
Inconsistent document.
003
Description:
(informative)
There are only 128 different values of
xsd:byte
that are also
xsd:unsignedInt
Required datatype support:
xsd:byte,
xsd:unsignedInt,
N3 format
is informative.
DL
Inconsistent:
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/I5.8/inconsistent003" >
>129
_:a rdf:type owl:Restriction .
first:p rdf:type owl:DatatypeProperty .
first:p rdfs:range xsd:byte .
first:p rdfs:range xsd:unsignedInt .
_:a owl:onProperty first:p .
_:a owl:cardinality "129"^^xsd:nonNegativeInteger .
first:john rdf:type _:a .
DL Full
(EC)
Positive Entailment Test:
004
Description:
(informative)
There are precisely 128 different values of
xsd:byte
that are also
xsd:unsignedInt
Required datatype support:
xsd:byte,
xsd:unsignedInt,
N3 format
is informative.
DL
Premises:
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/I5.8/premises004" >
>128
_:a rdf:type owl:Restriction .
first:p rdf:type owl:DatatypeProperty .
first:p rdfs:range xsd:byte .
first:p rdfs:range xsd:unsignedInt .
_:a owl:onProperty first:p .
_:a owl:cardinality "128"^^xsd:nonNegativeInteger .
first:john rdf:type _:a .
Lite
Conclusions:
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/I5.8/premises004#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/conclusions004" >
first:john rdf:type owl:Thing .
first:john first:p "5"^^xsd:byte .
first:p rdf:type owl:DatatypeProperty .
DL Full
Negative Entailment Test:
005
Description:
(informative)
There are 128 different values of
xsd:byte
that are also
xsd:unsignedInt
Datatypes that may or may not be supported:
xsd:byte,
xsd:unsignedInt,
N3 format
is informative.
DL
Premises:
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/I5.8/premises005" >
>127
_:a rdf:type owl:Restriction .
first:p rdf:type owl:DatatypeProperty .
first:p rdfs:range xsd:byte .
first:p rdfs:range xsd:unsignedInt .
_:a owl:onProperty first:p .
_:a owl:cardinality "127"^^xsd:nonNegativeInteger .
first:john rdf:type _:a .
Lite
Conclusions:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/I5.8/premises005#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/nonconclusions005" >
first:john rdf:type owl:Thing .
first:john first:p "5"^^xsd:byte .
first:p rdf:type owl:DatatypeProperty .
Lite Full
(EC)
Positive Entailment Test:
006
Description:
(informative)
All
xsd:byte
are
xsd:short
Required datatype support:
xsd:byte,
xsd:short,
N3 format
is informative.
Lite
Premises:
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/I5.8/premises006#"
xmlns:second="http://www.w3.org/2002/03owlt/I5.8/conclusions006#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/premises006" >
first:p rdf:type owl:DatatypeProperty .
first:p rdfs:range xsd:byte .
Lite
Conclusions:
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/I5.8/premises006#"
xmlns:second="http://www.w3.org/2002/03owlt/I5.8/conclusions006#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/conclusions006" >
first:p rdf:type owl:DatatypeProperty .
first:p rdfs:range xsd:short .
Lite Full
Negative Entailment Test:
007
Description:
(informative)
-1 is an
xsd:short
that is not an
xsd:unsignedByte
Datatypes that may or may not be supported:
xsd:short,
xsd:unsignedByte,
N3 format
is informative.
Lite
Premises:
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/I5.8/premises007" >
first:p rdf:type owl:DatatypeProperty .
first:p rdfs:range xsd:short .
Lite
Conclusions:
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/I5.8/nonconclusions007" >
first:p rdf:type owl:DatatypeProperty .
first:p rdfs:range xsd:unsignedByte .
Lite Full
(EC)
Positive Entailment Test:
008
Description:
(informative)
-1 is an
xsd:short
that is not an
xsd:unsignedShort
100000 is an
xsd:unsignedInt
that is not
an
xsd:unsignedShort
; but there are no
xsd:unsignedShort
which are neither
xsd:short
nor
xsd:unsignedInt
Required datatype support:
xsd:short,
xsd:unsignedInt,
xsd:unsignedShort,
N3 format
is informative.
Lite
Premises:
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/I5.8/premises008" >
first:p rdf:type owl:DatatypeProperty .
first:p rdfs:range xsd:short .
first:p rdfs:range xsd:unsignedInt .
Lite
Conclusions:
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/I5.8/conclusions008" >
first:p rdf:type owl:DatatypeProperty .
first:p rdfs:range xsd:unsignedShort .
Lite Full
(EC)
Positive Entailment Test:
009
Description:
(informative)
0 is the only
xsd:nonNegativeInteger
which is
also an
xsd:nonPositiveInteger
. 0 is an
xsd:short
Required datatype support:
xsd:nonPositiveInteger,
xsd:short,
xsd:nonNegativeInteger,
N3 format
is informative.
Lite
Premises:
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/I5.8/premises009" >
first:p rdf:type owl:DatatypeProperty .
first:p rdfs:range xsd:nonNegativeInteger .
first:p rdfs:range xsd:nonPositiveInteger .
Lite
Conclusions:
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/I5.8/conclusions009" >
first:p rdf:type owl:DatatypeProperty .
first:p rdfs:range xsd:short .
Lite Full
(EC)
Positive Entailment Test:
010
Description:
(informative)
0 is the only
xsd:nonNegativeInteger
which is
also an
xsd:nonPositiveInteger
Required datatype support:
xsd:nonPositiveInteger,
xsd:int,
xsd:nonNegativeInteger,
N3 format
is informative.
Lite
Premises:
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/I5.8/premises010" >
first:p rdf:type owl:DatatypeProperty .
first:p rdfs:range xsd:nonNegativeInteger .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:p .
_:a owl:someValuesFrom xsd:nonPositiveInteger .
first:john rdf:type _:a .
Lite
Conclusions:
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/I5.8/premises010#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/conclusions010" >
first:p rdf:type owl:DatatypeProperty .
first:john rdf:type owl:Thing .
first:john first:p "0"^^xsd:int .
Lite Full
OWL described in OWL.
011
Description:
(informative)
The empty graph entails that
xsd:integer
and
xsd:string
are a
rdfs:Datatype
N3 format
is informative.
Lite
True:
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/conclusions011" >
xsd:integer rdf:type rdfs:Datatype .
xsd:string rdf:type rdfs:Datatype .
DL Full
Consistent document.
012
Description:
(informative)
There might be only 128 different values of
xsd:byte
that are also
xsd:unsignedInt
; but this is not
explicit in the
datatype map
of this test. (cf. the similar
inconsistency test
).
Datatypes that must not be supported:
xsd:byte,
xsd:unsignedInt,
N3 format
is informative.
DL
Consistent:
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/I5.8/consistent012" >
>129
_:a rdf:type owl:Restriction .
first:p rdf:type owl:DatatypeProperty .
first:p rdfs:range xsd:byte .
first:p rdfs:range xsd:unsignedInt .
_:a owl:onProperty first:p .
_:a owl:cardinality "129"^^xsd:nonNegativeInteger .
first:john rdf:type _:a .
Lite Full
Consistent document.
013
Description:
(informative)
This test illustrates the use of a user defined datatype.
The informal description has no formal semantics.
Datatypes that may or may not be supported:
N3 format
is informative.
Namespaces:
@prefix eg:
Lite
Consistent:
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:eg="http://example.org/user/data#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/I5.8/consistent013#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/consistent013" >
This type maps the string "foo" to the number 3.
All other strings are not in the lexical space.
eg:type rdf:type rdfs:Datatype .
eg:type rdfs:comment """
This type maps the string "foo" to the number 3.
All other strings are not in the lexical space.
""" .
first:prop rdf:type owl:DatatypeProperty .
first:prop rdfs:range eg:type .
Full
(EC)
Consistent document.
014
Description:
(informative)
This test illustrates the use of an undeclared user defined datatype. The document is hence in Full.
Datatypes that may or may not be supported:
N3 format
is informative.
Namespaces:
@prefix eg:
Full
Consistent:
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:eg="http://example.org/user/data#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/consistent014" >
first:prop rdf:type owl:DatatypeProperty .
first:prop rdfs:range eg:type .
Lite Full
Consistent document.
015
Description:
(informative)
This test illustrates the use of a user defined datatype.
The informal description has no formal semantics.
Datatypes that may or may not be supported:
N3 format
is informative.
Namespaces:
@prefix eg:
Lite
Consistent:
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:eg="http://example.org/user/data#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/I5.8/consistent015#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/consistent015" >
This type maps the string "foo" to the number 3.
All other strings are not in the lexical space.
eg:type rdf:type rdfs:Datatype .
eg:type rdfs:comment """
This type maps the string "foo" to the number 3.
All other strings are not in the lexical space.
""" .
first:prop rdf:type owl:DatatypeProperty .
_:a rdf:type owl:Thing .
_:a first:prop "foo"^^eg:type .
Full
(EC)
Consistent document.
016
Description:
(informative)
This test illustrates the use of an undeclared user defined datatype. The document is hence in Full.
Datatypes that may or may not be supported:
N3 format
is informative.
Namespaces:
@prefix eg:
Full
Consistent:
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:eg="http://example.org/user/data#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/I5.8/consistent016#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/consistent016" >
first:prop rdf:type owl:DatatypeProperty .
_:a rdf:type owl:Thing .
_:a first:prop "foo"^^eg:type .
Full
Positive Entailment Test:
017
Description:
(informative)
This explores aliases of builtin datatypes.
Required datatype support:
xsd:decimal,
N3 format
is informative.
Full
Premises:
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/I5.8/premises017#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/premises017" >
xsd:decimal owl:sameAs first:bar .
first:xx first:yy "01"^^first:bar .
Full
Conclusions:
xmlns:first="http://www.w3.org/2002/03owlt/I5.8/premises017#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/conclusions017" >
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/I6.1/consistent001#" xml:base="http://www.w3.org/2002/03owlt/I6.1/consistent001" >
first:xx first:yy "1"^^xsd:decimal .
7.2.14. Unnamed Individual Restrictions
Full
(EC)
Consistent document.
001
Description:
(informative)
The blank nodes in a individual description in OWL DL may not form a directed cycle.
N3 format
is informative.
Full
Consistent:
_:a rdf:type owl:Thing .
_:a first:op _:a .
first:op rdf:type owl:ObjectProperty .
previous
next
top
contents
index