Copyright © 2003 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply.
Contents
| Full | Negative Entailment Test: | 004 | |
|---|---|---|---|
Description:
(informative)
<I4.6/Manifest004#test>
|
|||
owl:sameIndividualAs is stronger than owl:equivalentClass. | |||
| N3 format is informative. | |||
| Lite | Premises:
<I4.6/premises004>
| ||
<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/I4.6/premises004" >
<owl:Class rdf:about="nonconclusions004#C1">
<owl:equivalentClass>
<owl:Class rdf:about="nonconclusions004#C2"/>
</owl:equivalentClass>
</owl:Class>
</rdf:RDF> | |||
second:C1 rdf:type owl:Class . second:C2 rdf:type owl:Class . second:C1 owl:equivalentClass second:C2 . | |||
| Full | Conclusions:
<I4.6/nonconclusions004>
| ||
<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/I4.6/nonconclusions004" >
<owl:Class rdf:ID="C1">
<owl:sameIndividualAs>
<owl:Class rdf:ID="C2"/>
</owl:sameIndividualAs>
</owl:Class>
</rdf:RDF> | |||
second:C1 rdf:type owl:Class . second:C2 rdf:type owl:Class . second:C1 owl:sameIndividualAs second:C2 . | |||
| Lite | Negative Entailment Test: | 005 | |
|---|---|---|---|
Description:
(informative)
<I4.6/Manifest005#test>
|
|||
owl:equivalentClass.is not related to annotations on classes. | |||
| N3 format is informative. | |||
| Lite | Premises:
<I4.6/premises005>
| ||
<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/I4.6/premises005" >
<owl:Class rdf:about="nonconclusions005#C1">
<rdfs:comment>An example class.</rdfs:comment>
<owl:equivalentClass>
<owl:Class rdf:about="nonconclusions005#C2"/>
</owl:equivalentClass>
</owl:Class>
</rdf:RDF> | |||
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:
<I4.6/nonconclusions005>
| ||
<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/I4.6/nonconclusions005" >
<owl:Class rdf:ID="C2">
<rdfs:comment>An example class.</rdfs:comment>
</owl:Class>
</rdf:RDF> | |||
second:C2 rdf:type owl:Class . second:C2 rdfs:comment "An example class." . | |||
| Full | Consistent document. | 010 | |
|---|---|---|---|
Description:
(informative)
<I5.1/Manifest010#test>
|
|||
| 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:
<I5.1/consistent010>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/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/I5.1/consistent010" >
<owl:DatatypeProperty rdf:ID="p">
<rdfs:range
rdf:resource="http://www.w3.org/2001/XMLSchema#byte"/>
</owl:DatatypeProperty>
<owl:InverseFunctionalProperty rdf:about="#p"/>
<owl:ObjectProperty rdf:ID="q">
<owl:inverseOf>
<owl:ObjectProperty rdf:ID="invQ"/>
</owl:inverseOf>
</owl:ObjectProperty>
<owl:Thing rdf:ID="spy">
<rdf:type>
<owl:Restriction>
<owl:onProperty rdf:resource="#invQ"/>
<owl:cardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>127</owl:cardinality>
</owl:Restriction>
</rdf:type>
</owl:Thing>
<owl:Restriction>
<owl:onProperty rdf:resource="#p"/>
<owl:someValuesFrom
rdf:resource="http://www.w3.org/2001/XMLSchema#unsignedInt"/>
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#q"/>
<owl:hasValue rdf:resource="#spy"/>
</owl:Restriction>
</owl:equivalentClass>
</owl:Restriction>
</rdf:RDF> | |||
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 . | |||
| Lite | Consistent document. | 003 | |
|---|---|---|---|
Description:
(informative)
<I5.2/Manifest003#test>
|
|||
| The complement of a class can be defined using OWL Lite restrictions. | |||
| N3 format is informative. | |||
| Lite | Consistent:
<I5.2/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/I5.2/consistent003#"
xml:base="http://www.w3.org/2002/03owlt/I5.2/consistent003" >
<owl:Class rdf:ID="Nothing">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#p"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>1</owl:minCardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#p"/>
</owl:onProperty>
<owl:maxCardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>0</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:ID="A">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#q"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="notA">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#q"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="#Nothing"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
</rdf:RDF> | |||
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 | Positive Entailment Test: | 004 | |
|---|---|---|---|
Description:
(informative)
<I5.2/Manifest004#test>
|
|||
| The complement of a class can be defined using OWL Lite restrictions. | |||
| N3 format is informative. | |||
| Lite | Premises:
<I5.2/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/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" >
<owl:Class rdf:ID="Nothing">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#p"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>1</owl:minCardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#p"/>
</owl:onProperty>
<owl:maxCardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>0</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:ID="A">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#q"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="notA">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#q"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="#Nothing"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
</rdf:RDF> | |||
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:
<I5.2/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/I5.2/conclusions004" >
<owl:Class rdf:about="premises004#notA">
<owl:complementOf>
<owl:Class rdf:about="premises004#A"/>
</owl:complementOf>
</owl:Class>
</rdf:RDF> | |||
first:notA rdf:type owl:Class . first:A rdf:type owl:Class . first:notA owl:complementOf first:A . | |||
| DL | Consistent document. | 005 | |
|---|---|---|---|
Description:
(informative)
<I5.2/Manifest005#test>
|
|||
The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf. | |||
| N3 format is informative. | |||
| Lite | Consistent:
<I5.2/consistent005>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/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/I5.2/consistent005#"
xml:base="http://www.w3.org/2002/03owlt/I5.2/consistent005" >
<owl:Class rdf:ID="Nothing">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#p"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>1</owl:minCardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#p"/>
</owl:onProperty>
<owl:maxCardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>0</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:ID="A">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#q"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="notA">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#q"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="#Nothing"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="B">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#r"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="notB">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#r"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="#Nothing"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="notAorB">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#notA"/>
<owl:Class rdf:about="notB"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="AorB">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#s"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="#notAorB">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#s"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="#Nothing"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
</rdf:RDF> | |||
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 . <I5.2/notB> rdf:type owl:Class . _:m rdf:first <I5.2/notB> . _:m rdf:rest rdf:nil . _:m rdf:type rdf:List . _:o rdf:first first:notA . _:o rdf:rest _:m . _:o rdf:type rdf:List . 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 | Positive Entailment Test: | 006 | |
|---|---|---|---|
Description:
(informative)
<I5.2/Manifest006#test>
|
|||
The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf. | |||
| N3 format is informative. | |||
| Lite | Premises:
<I5.2/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/I5.2/premises006" >
<owl:Class rdf:ID="Nothing">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#p"/>
</owl:onProperty>
<owl:minCardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>1</owl:minCardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#p"/>
</owl:onProperty>
<owl:maxCardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>0</owl:maxCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:ID="A">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#q"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="notA">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#q"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="#Nothing"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="B">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#r"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="notB">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#r"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="#Nothing"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:ID="notAorB">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#notA"/>
<owl:Class rdf:about="notB"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="AorB">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#s"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="#notAorB">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#s"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="#Nothing"/>
</owl:allValuesFrom>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
</rdf:RDF> | |||
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 . <I5.2/notB> rdf:type owl:Class . _:m rdf:first <I5.2/notB> . _:m rdf:rest rdf:nil . _:m rdf:type rdf:List . _:o rdf:first first:notA . _:o rdf:rest _:m . _:o rdf:type rdf:List . 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:
<I5.2/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/I5.2/conclusions006" >
<owl:Class rdf:about="premises006#AorB">
<owl:unionOf rdf:parseType="Collection">
<owl:Class rdf:about="premises006#A"/>
<owl:Class rdf:about="premises006#B"/>
</owl:unionOf>
</owl:Class>
</rdf:RDF> | |||
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 . _:a rdf:type rdf:List . _:c rdf:first first:A . _:c rdf:rest _:a . _:c rdf:type rdf:List . first:AorB owl:unionOf _:c . | |||
| Lite | Consistent document. | 010 | |
|---|---|---|---|
Description:
(informative)
<I5.2/Manifest010#test>
|
|||
| 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:
<I5.2/consistent010>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/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/I5.2/consistent010" >
<owl:Class rdf:about=
"http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag" >
<rdfs:comment>The class of unordered containers.</rdfs:comment>
</owl:Class>
<owl:ObjectProperty rdf:about=
"http://www.w3.org/1999/02/22-rdf-syntax-ns#_1" />
<rdf:Bag>
<rdf:_1>
<owl:Thing />
</rdf:_1>
</rdf:Bag>
</rdf:RDF> | |||
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 | Consistent document. | 011 | |
|---|---|---|---|
Description:
(informative)
<I5.2/Manifest011#test>
|
|||
| 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: <http://www.example.org/user#> . | |||
| Lite | Consistent:
<I5.2/consistent011>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/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:eg="http://www.example.org/user#"
xml:base="http://www.w3.org/2002/03owlt/I5.2/consistent011" >
<owl:Class rdf:about="http://www.example.org/user#Bag" >
<rdfs:comment>The class of unordered containers.</rdfs:comment>
</owl:Class>
<owl:ObjectProperty rdf:about="http://www.example.org/user#_1" />
<eg:Bag>
<eg:_1>
<owl:Thing />
</eg:_1>
</eg:Bag>
</rdf:RDF> | |||
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 . | |||
| Full | Positive Entailment Test: | 002 | |
|---|---|---|---|
Description:
(informative)
<I5.24/Manifest002#test>
|
|||
| OWL, unlike RDFS, uses iff semantics for range. | |||
| N3 format is informative. | |||
| Full | Premises:
<I5.24/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/I5.24/premises002" >
<rdf:Property rdf:ID="prop">
<rdfs:range rdf:resource="#A"/>
<rdfs:range rdf:resource="#B"/>
</rdf:Property>
</rdf:RDF> | |||
first:prop rdf:type rdf:Property . first:prop rdfs:range first:A . first:prop rdfs:range first:B . | |||
| Full | Conclusions:
<I5.24/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/I5.24/conclusions002" >
<rdf:Property rdf:about="premises002#prop">
<rdfs:range>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<rdf:Description rdf:about="premises002#A"/>
<rdf:Description rdf:about="premises002#B"/>
</owl:intersectionOf>
</owl:Class>
</rdfs:range>
</rdf:Property>
</rdf:RDF> | |||
first:prop rdf:type rdf:Property . _:a rdf:type owl:Class . _:c rdf:first first:B . _:c rdf:rest rdf:nil . _:c rdf:type rdf:List . _:e rdf:first first:A . _:e rdf:rest _:c . _:e rdf:type rdf:List . _:a owl:intersectionOf _:e . first:prop rdfs:range _:a . | |||
| Lite | Positive Entailment Test: | 003 | |
|---|---|---|---|
Description:
(informative)
<I5.24/Manifest003#test>
|
|||
| This is a typical definition of range from description logic. | |||
| N3 format is informative. | |||
| Lite | Premises:
<I5.24/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/I5.24/premises003" >
<owl:ObjectProperty rdf:ID="prop">
<rdfs:range>
<owl:Class rdf:about="#A"/>
</rdfs:range>
</owl:ObjectProperty>
</rdf:RDF> | |||
first:prop rdf:type owl:ObjectProperty . first:A rdf:type owl:Class . first:prop rdfs:range first:A . | |||
| Lite | Conclusions:
<I5.24/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/I5.24/conclusions003" >
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="premises003#prop"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="premises003#A"/>
</owl:allValuesFrom>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
</rdf:RDF> | |||
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 . | |||
| Full | Consistent document. | 010 | |
|---|---|---|---|
Description:
(informative)
<I5.3/Manifest010#test>
|
|||
| Classes cannot be the object of regular properties in OWL DL. | |||
| N3 format is informative. | |||
| Full | Consistent:
<I5.3/consistent010>
| ||
<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/I5.3/consistent010#"
xml:base="http://www.w3.org/2002/03owlt/I5.3/consistent010" >
<owl:ObjectProperty rdf:ID="p"/>
<owl:Thing>
<first:p>
<owl:Class rdf:ID="c"/>
</first:p>
</owl:Thing>
</rdf:RDF> | |||
first:p rdf:type owl:ObjectProperty . _:a rdf:type owl:Thing . first:c rdf:type owl:Class . _:a first:p first:c . | |||
| Lite | Consistent document. | 011 | |
|---|---|---|---|
Description:
(informative)
<I5.3/Manifest011#test>
|
|||
| Classes can be the object of annotation properties in OWL Lite and DL. | |||
| N3 format is informative. | |||
| Lite | Consistent:
<I5.3/consistent011>
| ||
<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/I5.3/consistent011#"
xml:base="http://www.w3.org/2002/03owlt/I5.3/consistent011" >
<owl:AnnotationProperty rdf:ID="p"/>
<owl:Thing>
<first:p>
<owl:Class rdf:ID="c"/>
</first:p>
</owl:Thing>
</rdf:RDF> | |||
first:p rdf:type owl:AnnotationProperty . _:a rdf:type owl:Thing . first:c rdf:type owl:Class . _:a first:p first:c . | |||
| DL | Inconsistent document. | 001 | |
|---|---|---|---|
Description:
(informative)
<I5.8/Manifest001#test>
|
|||
There are only 256 different values for xsd:byte. | |||
| Required datatype support: | xsd:byte, | ||
| N3 format is informative. | |||
| DL | Inconsistent:
<I5.8/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/I5.8/inconsistent001#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/inconsistent001" >
<rdf:Description rdf:ID="john">
<rdf:type>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="p">
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#byte" />
</owl:DatatypeProperty>
</owl:onProperty>
<owl:cardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>257</owl:cardinality>
</owl:Restriction>
</rdf:type>
</rdf:Description>
</rdf:RDF> | |||
_: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 | Consistent document. | 002 | |
|---|---|---|---|
Description:
(informative)
<I5.8/Manifest002#test>
|
|||
There are 256 different values for xsd:byte. | |||
| Datatypes that may or may not be supported: | xsd:byte, | ||
| N3 format is informative. | |||
| DL | Consistent:
<I5.8/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#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/consistent002" >
<rdf:Description rdf:ID="john">
<rdf:type>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="p">
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#byte" />
</owl:DatatypeProperty>
</owl:onProperty>
<owl:cardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>256</owl:cardinality>
</owl:Restriction>
</rdf:type>
</rdf:Description>
</rdf:RDF> | |||
_: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 | Inconsistent document. | 003 | |
|---|---|---|---|
Description:
(informative)
<I5.8/Manifest003#test>
|
|||
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:
<I5.8/inconsistent003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/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/I5.8/inconsistent003" >
<rdf:Description rdf:ID="john">
<rdf:type>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="p">
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#byte" />
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#unsignedInt" />
</owl:DatatypeProperty>
</owl:onProperty>
<owl:cardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>129</owl:cardinality>
</owl:Restriction>
</rdf:type>
</rdf:Description>
</rdf:RDF> | |||
_: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 | Positive Entailment Test: | 004 | |
|---|---|---|---|
Description:
(informative)
<I5.8/Manifest004#test>
|
|||
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:
<I5.8/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/I5.8/premises004" >
<rdf:Description rdf:ID="john">
<rdf:type>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="p">
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#byte" />
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#unsignedInt" />
</owl:DatatypeProperty>
</owl:onProperty>
<owl:cardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>128</owl:cardinality>
</owl:Restriction>
</rdf:type>
</rdf:Description>
</rdf:RDF> | |||
_: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:
<I5.8/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/I5.8/premises004#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/conclusions004" >
<owl:Thing rdf:about="premises004#john">
<first:p rdf:datatype=
"http://www.w3.org/2001/XMLSchema#byte">5</first:p>
</owl:Thing>
<owl:DatatypeProperty rdf:about="premises004#p"/>
</rdf:RDF> | |||
first:john rdf:type owl:Thing . first:john first:p "5"^^xsd:byte . first:p rdf:type owl:DatatypeProperty . | |||
| DL | Negative Entailment Test: | 005 | |
|---|---|---|---|
Description:
(informative)
<I5.8/Manifest005#test>
|
|||
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:
<I5.8/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/I5.8/premises005" >
<rdf:Description rdf:ID="john">
<rdf:type>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="p">
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#byte" />
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#unsignedInt" />
</owl:DatatypeProperty>
</owl:onProperty>
<owl:cardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>127</owl:cardinality>
</owl:Restriction>
</rdf:type>
</rdf:Description>
</rdf:RDF> | |||
_: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:
<I5.8/nonconclusions005>
| ||
<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/I5.8/premises005#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/nonconclusions005" >
<owl:Thing rdf:about="premises005#john">
<first:p rdf:datatype=
"http://www.w3.org/2001/XMLSchema#byte">5</first:p>
</owl:Thing>
<owl:DatatypeProperty rdf:about="premises005#p"/>
</rdf:RDF> | |||
first:john rdf:type owl:Thing . first:john first:p "5"^^xsd:byte . first:p rdf:type owl:DatatypeProperty . | |||
| Lite | Positive Entailment Test: | 006 | |
|---|---|---|---|
Description:
(informative)
<I5.8/Manifest006#test>
|
|||
All xsd:byte
are xsd:short. | |||
| Required datatype support: | xsd:byte, xsd:short, | ||
| N3 format is informative. | |||
| Lite | Premises:
<I5.8/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/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" >
<owl:DatatypeProperty rdf:ID="p">
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#byte" />
</owl:DatatypeProperty>
</rdf:RDF> | |||
first:p rdf:type owl:DatatypeProperty . first:p rdfs:range xsd:byte . | |||
| Lite | Conclusions:
<I5.8/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#"
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" >
<owl:DatatypeProperty rdf:about="premises006#p">
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#short" />
</owl:DatatypeProperty>
</rdf:RDF> | |||
first:p rdf:type owl:DatatypeProperty . first:p rdfs:range xsd:short . | |||
| Lite | Negative Entailment Test: | 007 | |
|---|---|---|---|
Description:
(informative)
<I5.8/Manifest007#test>
|
|||
-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:
<I5.8/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#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/premises007" >
<owl:DatatypeProperty rdf:ID="p">
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#short" />
</owl:DatatypeProperty>
</rdf:RDF> | |||
first:p rdf:type owl:DatatypeProperty . first:p rdfs:range xsd:short . | |||
| Lite | Conclusions:
<I5.8/nonconclusions007>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/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/I5.8/nonconclusions007" >
<owl:DatatypeProperty rdf:about="premises007#p">
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#unsignedByte" />
</owl:DatatypeProperty>
</rdf:RDF> | |||
first:p rdf:type owl:DatatypeProperty . first:p rdfs:range xsd:unsignedByte . | |||
| Lite | Positive Entailment Test: | 008 | |
|---|---|---|---|
Description:
(informative)
<I5.8/Manifest008#test>
|
|||
-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:
<I5.8/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#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/premises008" >
<owl:DatatypeProperty rdf:ID="p">
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#short" />
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#unsignedInt" />
</owl:DatatypeProperty>
</rdf:RDF> | |||
first:p rdf:type owl:DatatypeProperty . first:p rdfs:range xsd:short . first:p rdfs:range xsd:unsignedInt . | |||
| Lite | Conclusions:
<I5.8/conclusions008>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/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/I5.8/conclusions008" >
<owl:DatatypeProperty rdf:about="premises008#p">
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#unsignedShort" />
</owl:DatatypeProperty>
</rdf:RDF> | |||
first:p rdf:type owl:DatatypeProperty . first:p rdfs:range xsd:unsignedShort . | |||
| Lite | Positive Entailment Test: | 009 | |
|---|---|---|---|
Description:
(informative)
<I5.8/Manifest009#test>
|
|||
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:
<I5.8/premises009>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/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/I5.8/premises009" >
<owl:DatatypeProperty rdf:ID="p">
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#nonNegativeInteger" />
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#nonPositiveInteger" />
</owl:DatatypeProperty>
</rdf:RDF> | |||
first:p rdf:type owl:DatatypeProperty . first:p rdfs:range xsd:nonNegativeInteger . first:p rdfs:range xsd:nonPositiveInteger . | |||
| Lite | Conclusions:
<I5.8/conclusions009>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/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/I5.8/conclusions009" >
<owl:DatatypeProperty rdf:about="premises009#p">
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#short" />
</owl:DatatypeProperty>
</rdf:RDF> | |||
first:p rdf:type owl:DatatypeProperty . first:p rdfs:range xsd:short . | |||
| Lite | Positive Entailment Test: | 010 | |
|---|---|---|---|
Description:
(informative)
<I5.8/Manifest010#test>
|
|||
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:
<I5.8/premises010>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/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/I5.8/premises010" >
<owl:DatatypeProperty rdf:ID="p">
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#nonNegativeInteger" />
</owl:DatatypeProperty>
<rdf:Description rdf:ID="john">
<rdf:type>
<owl:Restriction>
<owl:onProperty rdf:resource="#p"/>
<owl:someValuesFrom rdf:resource=
"http://www.w3.org/2001/XMLSchema#nonPositiveInteger" />
</owl:Restriction>
</rdf:type>
</rdf:Description>
</rdf:RDF> | |||
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:
<I5.8/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#"
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" >
<owl:DatatypeProperty rdf:about="premises010#p"/>
<owl:Thing rdf:about="premises010#john">
<first:p rdf:datatype=
"http://www.w3.org/2001/XMLSchema#int">0</first:p>
</owl:Thing>
</rdf:RDF> | |||
first:p rdf:type owl:DatatypeProperty . first:john rdf:type owl:Thing . first:john first:p "0"^^xsd:int . | |||
| Lite | OWL described in OWL. | 011 | |
|---|---|---|---|
Description:
(informative)
<I5.8/Manifest011#test>
|
|||
The empty graph entails that xsd:integer and xsd:string
are a rdfs:Datatype | |||
| N3 format is informative. | |||
| Lite | True:
<I5.8/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#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/conclusions011" >
<rdfs:Datatype rdf:about="http://www.w3.org/2001/XMLSchema#integer"/>
<rdfs:Datatype rdf:about="http://www.w3.org/2001/XMLSchema#string"/>
</rdf:RDF> | |||
xsd:integer rdf:type rdfs:Datatype . xsd:string rdf:type rdfs:Datatype . | |||
| DL | Consistent document. | 012 | |
|---|---|---|---|
Description:
(informative)
<I5.8/Manifest012#test>
|
|||
There might be only 128 different values of xsd:byte
that are also xsd:unsignedInt; but this does not
follow from the datatype theory
of this test. (cf. the similar inconsistency test). | |||
| Datatypes that must not be supported: | xsd:byte, xsd:unsignedInt, | ||
| N3 format is informative. | |||
| DL | Consistent:
<I5.8/consistent012>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/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/I5.8/consistent012" >
<rdf:Description rdf:ID="john">
<rdf:type>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="p">
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#byte" />
<rdfs:range rdf:resource=
"http://www.w3.org/2001/XMLSchema#unsignedInt" />
</owl:DatatypeProperty>
</owl:onProperty>
<owl:cardinality
rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
>129</owl:cardinality>
</owl:Restriction>
</rdf:type>
</rdf:Description>
</rdf:RDF> | |||
_: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 . | |||