Copyright © 2003 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply.
Contents
| Lite | Illegal use of OWL namespace. | 001 | |
|---|---|---|---|
Description:
(informative)
<I3.2/Manifest001#test>
|
|||
| The names used in a DAML+OIL qualified cardinality constraint are not defined the OWL namespace. | |||
| N3 format is informative. | |||
| Namespaces: | |||
@prefix eg: <http://example.org/> . | |||
| Full | Incorrect:
<I3.2/bad001>
| ||
<!DOCTYPE rdf:RDF [
<!ENTITY owl "http://www.w3.org/2002/07/owl#">
]>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:eg="http://example.org/"
xmlns:owl="&owl;"
xml:base=
'http://www.w3.org/2002/03owlt/I3.2/bad001'
>
<owl:Restriction owl:cardinalityQ="1">
<owl:onProperty rdf:resource="#exampleProp"/>
<owl:hasClassQ rdf:resource="#exampleClass"/>
</owl:Restriction>
</rdf:RDF> | |||
_: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)
<I3.2/Manifest002#test>
|
|||
| The names used in a DAML+OIL qualified max cardinality constraint are not defined the OWL namespace. | |||
| N3 format is informative. | |||
| Full | Incorrect:
<I3.2/bad002>
| ||
<!DOCTYPE rdf:RDF [
<!ENTITY owl "http://www.w3.org/2002/07/owl#">
]>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="&owl;"
xml:base=
'http://www.w3.org/2002/03owlt/I3.2/bad002'
>
<owl:Restriction owl:maxCardinalityQ="1">
<owl:onProperty rdf:resource="#exampleProp"/>
<owl:hasClassQ rdf:resource="#exampleClass"/>
</owl:Restriction>
</rdf:RDF> | |||
_: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)
<I3.2/Manifest003#test>
|
|||
| The names used in a DAML+OIL qualified min cardinality constraint are not defined the OWL namespace. | |||
| N3 format is informative. | |||
| Namespaces: | |||
@prefix eg: <http://example.org/> . | |||
| Full | Incorrect:
<I3.2/bad003>
| ||
<!DOCTYPE rdf:RDF [
<!ENTITY owl "http://www.w3.org/2002/07/owl#">
]>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:eg="http://example.org/"
xmlns:owl="&owl;"
xml:base=
'http://www.w3.org/2002/03owlt/I3.2/bad003'
>
<owl:Restriction owl:minCardinalityQ="1">
<owl:onProperty rdf:resource="#exampleProp"/>
<owl:hasClassQ rdf:resource="#exampleClass"/>
</owl:Restriction>
</rdf:RDF> | |||
_:a rdf:type owl:Restriction . _:a owl:minCardinalityQ "1" . _:a owl:onProperty first:exampleProp . _:a owl:hasClassQ first:exampleClass . | |||
| Lite | Illegal use of OWL namespace. | 001 | |
|---|---|---|---|
Description:
(informative)
<I3.4/Manifest001#test>
|
|||
The name UnambiguousProperty is not defined in the OWL namespace. daml:UnambiguousProperty corresponds to owl:InverseFunctionalProperty. | |||
| N3 format is informative. | |||
| Full | Incorrect:
<I3.4/bad001>
| ||
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base=
'http://www.w3.org/2002/03owlt/I3.4/bad001'
xmlns:owl ="http://www.w3.org/2002/07/owl#" >
<owl:UnambiguousProperty rdf:ID="Name"/>
</rdf:RDF> | |||
first:Name rdf:type owl:UnambiguousProperty . | |||
| Lite | Illegal use of OWL namespace. | 001 | |
|---|---|---|---|
Description:
(informative)
<I4.1/Manifest001#test>
|
|||
The name UniqueProperty is not defined in the OWL namespace.
daml:UniqueProperty corresponds to owl:FunctionalProperty. | |||
| N3 format is informative. | |||
| Full | Incorrect:
<I4.1/bad001>
| ||
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base=
'http://www.w3.org/2002/03owlt/I4.1/bad001'
xmlns:owl ="http://www.w3.org/2002/07/owl#" >
<owl:UniqueProperty rdf:ID="Name"/>
</rdf:RDF> | |||
first:Name rdf:type owl:UniqueProperty . | |||
| DL Full | Positive Entailment Test: | 001 | |
|---|---|---|---|
Description:
(informative)
<I4.5/Manifest001#test>
|
|||
| An example combinging owl:oneOf and owl:inverseOf. | |||
| N3 format is informative. | |||
| DL | Premises:
<I4.5/premises001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/I4.5/premises001#"
xml:base="http://www.w3.org/2002/03owlt/I4.5/premises001" >
<owl:Class rdf:ID="EuropeanCountry" />
<owl:Class rdf:ID="Person" />
<owl:Class rdf:ID="EUCountry">
<owl:oneOf rdf:parseType="Collection">
<first:EuropeanCountry rdf:ID="UK"/>
<first:EuropeanCountry rdf:ID="BE"/>
<first:EuropeanCountry rdf:ID="ES"/>
<first:EuropeanCountry rdf:ID="FR"/>
<first:EuropeanCountry rdf:ID="NL"/>
<first:EuropeanCountry rdf:ID="PT"/>
</owl:oneOf>
</owl:Class>
<owl:ObjectProperty rdf:ID="hasEuroMP" >
<rdfs:domain rdf:resource="#EUCountry"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:ID="isEuroMPFrom" >
<owl:inverseOf rdf:resource="#hasEuroMP"/>
</owl:ObjectProperty>
<owl:Class rdf:ID="EuroMP">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#isEuroMPFrom" />
<owl:someValuesFrom rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<first:Person rdf:ID="Kinnock" />
<first:EuropeanCountry rdf:about="#UK">
<first:hasEuroMP rdf:resource="#Kinnock" />
</first:EuropeanCountry>
</rdf:RDF> | |||
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:
<I4.5/conclusions001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
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:EuroMP rdf:about="premises001#Kinnock" />
<owl:Class rdf:about="premises001#EuroMP"/>
</rdf:RDF> | |||
first:Kinnock rdf:type first:EuroMP . first:EuroMP rdf:type owl:Class . | |||
| DL Full | Inconsistent document. | 002 | |
|---|---|---|---|
Description:
(informative)
<I4.5/Manifest002#test>
|
|||
| An example combining owl:oneOf and owl:inverseOf. | |||
| N3 format is informative. | |||
| DL | Inconsistent:
<I4.5/inconsistent002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/I4.5/inconsistent002#"
xml:base="http://www.w3.org/2002/03owlt/I4.5/inconsistent002" >
<owl:Class rdf:ID="EuropeanCountry" />
<owl:Class rdf:ID="Person" />
<owl:Class rdf:ID="EUCountry">
<owl:oneOf rdf:parseType="Collection">
<first:EuropeanCountry rdf:ID="UK"/>
<first:EuropeanCountry rdf:ID="BE"/>
<first:EuropeanCountry rdf:ID="ES"/>
<first:EuropeanCountry rdf:ID="FR"/>
<first:EuropeanCountry rdf:ID="NL"/>
<first:EuropeanCountry rdf:ID="PT"/>
</owl:oneOf>
</owl:Class>
<owl:ObjectProperty rdf:ID="hasEuroMP" >
<rdfs:domain rdf:resource="#EUCountry"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:ID="isEuroMPFrom" >
<owl:inverseOf rdf:resource="#hasEuroMP"/>
</owl:ObjectProperty>
<owl:Class rdf:ID="EuroMP">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="#isEuroMPFrom" />
<owl:someValuesFrom rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<first:Person rdf:ID="Kinnock" >
<rdf:type>
<owl:Class>
<owl:complementOf rdf:resource="#EuroMP"/>
</owl:Class>
</rdf:type>
</first:Person>
<first:EuropeanCountry rdf:about="#UK">
<first:hasEuroMP rdf:resource="#Kinnock" />
</first:EuropeanCountry>
</rdf:RDF> | |||
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 . | |||
| Full | Positive Entailment Test: | 003 | |
|---|---|---|---|
Description:
(informative)
<I4.6/Manifest003#test>
|
|||
owl:sameAs is stronger than owl:equivalentClass. | |||
| N3 format is informative. | |||
| Full | Premises:
<I4.6/premises003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I4.6/premises003" >
<owl:Class rdf:ID="C1">
<owl:sameAs>
<owl:Class rdf:ID="C2"/>
</owl:sameAs>
</owl:Class>
</rdf:RDF> | |||
first:C1 rdf:type owl:Class . first:C2 rdf:type owl:Class . first:C1 owl:sameAs first:C2 . | |||
| Lite | Conclusions:
<I4.6/conclusions003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I4.6/conclusions003" >
<owl:Class rdf:about="premises003#C1">
<owl:equivalentClass>
<owl:Class rdf:about="premises003#C2"/>
</owl:equivalentClass>
</owl:Class>
</rdf:RDF> | |||
first:C1 rdf:type owl:Class . first:C2 rdf:type owl:Class . first:C1 owl:equivalentClass first:C2 . | |||
| Full (EC) | Negative Entailment Test: | 004 | |
|---|---|---|---|
Description:
(informative)
<I4.6/Manifest004#test>
|
|||
owl:sameAs 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:sameAs>
<owl:Class rdf:ID="C2"/>
</owl:sameAs>
</owl:Class>
</rdf:RDF> | |||
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)
<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." . | |||
| Lite | Illegal use of OWL namespace. | 006 | |
|---|---|---|---|
Description:
(informative)
<I4.6/Manifest006#test>
|
|||
owl:sameIndividualAs is not an OWL property. | |||
| N3 format is informative. | |||
| Full | Incorrect:
<I4.6/bad006>
| ||
<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/bad006" >
<owl:Thing rdf:ID="a">
<owl:sameIndividualAs>
<owl:Thing rdf:ID="b"/>
</owl:sameIndividualAs>
</owl:Thing>
</rdf:RDF> | |||
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)
<I4.6/Manifest007#test>
|
|||
owl:sameClassAs is not an OWL property. | |||
| N3 format is informative. | |||
| Full | Incorrect:
<I4.6/bad007>
| ||
<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/bad007" >
<owl:Class rdf:ID="a">
<owl:sameClassAs>
<owl:Class rdf:ID="b"/>
</owl:sameClassAs>
</owl:Class>
</rdf:RDF> | |||
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)
<I4.6/Manifest008#test>
|
|||
owl:samePropertyAs is not an OWL property. | |||
| N3 format is informative. | |||
| Full | Incorrect:
<I4.6/bad008>
| ||
<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/bad008" >
<owl:ObjectProperty rdf:ID="a">
<owl:samePropertyAs>
<owl:ObjectProperty rdf:ID="b"/>
</owl:samePropertyAs>
</owl:ObjectProperty>
</rdf:RDF> | |||
first:a rdf:type owl:ObjectProperty . first:b rdf:type owl:ObjectProperty . first:a owl:samePropertyAs first:b . | |||
| Full | Positive Entailment Test: | 001 | |
|---|---|---|---|
Description:
(informative)
<I5.1/Manifest001#test>
|
|||
| stateCode example using an inverseFunctionalProperty and literals | |||
| N3 format is informative. | |||
| Namespaces: | |||
@prefix NS0: <http://example.org/vocab#> . | |||
| Full | Premises:
<I5.1/premises001>
| ||
<rdf:RDF
xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
xml:base=
'http://www.w3.org/2002/03owlt/I5.1/premises001'
xmlns:NS0='http://example.org/vocab#'
>
<rdf:Description rdf:nodeID='A0'>
<NS0:stateCode>KS</NS0:stateCode>
<NS0:population>2688418</NS0:population>
</rdf:Description>
<rdf:Description rdf:about='http://example.org/vocab#stateCode'>
<rdf:type rdf:resource='http://www.w3.org/2002/07/owl#InverseFunctionalProperty'/>
</rdf:Description>
<rdf:Description rdf:nodeID='A1'>
<NS0:stateCode>KS</NS0:stateCode>
<NS0:stateBird rdf:resource='http://example.org/vocab#WesternMeadowlark'/>
</rdf:Description>
</rdf:RDF> | |||
_: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:
<I5.1/conclusions001>
| ||
<rdf:RDF
xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'
xmlns:NS0='http://example.org/vocab#'
xml:base=
'http://www.w3.org/2002/03owlt/I5.1/conclusions001'
>
<rdf:Description rdf:nodeID='A0'>
<NS0:population>2688418</NS0:population>
<NS0:stateBird rdf:resource='http://example.org/vocab#WesternMeadowlark'/>
</rdf:Description>
</rdf:RDF> | |||
_:a NS0:population "2688418" . _:a NS0:stateBird NS0:WesternMeadowlark . | |||
| Full (EC) | 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 Full | Consistent document. | 001 | |
|---|---|---|---|
Description:
(informative)
<I5.2/Manifest001#test>
|
|||
A class like owl:Nothing can be defined using OWL Lite restrictions. | |||
| N3 format is informative. | |||
| Lite | Consistent:
<I5.2/consistent001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/I5.2/consistent001#"
xml:base="http://www.w3.org/2002/03owlt/I5.2/consistent001" >
<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>
</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 . | |||
| Lite Full | Positive Entailment Test: | 002 | |
|---|---|---|---|
Description:
(informative)
<I5.2/Manifest002#test>
|
|||
A class like owl:Nothing can be defined using OWL Lite restrictions. | |||
| N3 format is informative. | |||
| Lite | Premises:
<I5.2/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.2/premises002" >
<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>
</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 . | |||
| Lite | Conclusions:
<I5.2/conclusions002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.2/conclusions002" >
<owl:Class rdf:about="premises002#Nothing">
<owl:equivalentClass>
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Nothing" />
</owl:equivalentClass>
</owl:Class>
</rdf:RDF> | |||
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)
<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 Full | 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 Full | 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 . 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)
<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 . 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:
<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 . _:c rdf:first first:A . _:c rdf:rest _:a . first:AorB owl:unionOf _:c . | |||
| Lite Full | 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 Full | 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 . | |||
| Lite | Illegal use of OWL namespace. | 001 | |
|---|---|---|---|
Description:
(informative)
<I5.21/Manifest001#test>
|
|||
daml:disjointUnionOf did not make it into OWL. | |||
| N3 format is informative. | |||
| Full | Incorrect:
<I5.21/bad001>
| ||
<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.21/bad001" >
<owl:Class rdf:ID="AandB">
<owl:disjointUnionOf rdf:parseType="Collection">
<owl:Class rdf:ID="A"/>
<owl:Class rdf:ID="B"/>
</owl:disjointUnionOf>
</owl:Class>
</rdf:RDF> | |||
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)
<I5.21/Manifest002#test>
|
|||
| The construct used here shows how to express mutual disjointness between classes with O(N) triples. | |||
| N3 format is informative. | |||
| DL | Premises:
<I5.21/premises002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/I5.21/premises002#"
xml:base="http://www.w3.org/2002/03owlt/I5.21/premises002" >
<owl:Class rdf:ID="Reptile">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="family-name"/>
</owl:onProperty>
<owl:cardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#int">1</owl:cardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#Amphisbaenidae">
<rdfs:subClassOf rdf:resource="#Reptile" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#family-name"/>
<owl:hasValue>Amphisbaenidae</owl:hasValue>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#Agamidae">
<rdfs:subClassOf rdf:resource="#Reptile" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#family-name"/>
<owl:hasValue>Agamidae</owl:hasValue>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#Anomalepidae">
<rdfs:subClassOf rdf:resource="#Reptile" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#family-name"/>
<owl:hasValue>Anomalepidae</owl:hasValue>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#Emydidae">
<rdfs:subClassOf rdf:resource="#Reptile" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#family-name"/>
<owl:hasValue>Emydidae</owl:hasValue>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#Crocodylidae">
<rdfs:subClassOf rdf:resource="#Reptile" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#family-name"/>
<owl:hasValue>Crocodylidae</owl:hasValue>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#Gekkonidae">
<rdfs:subClassOf rdf:resource="#Reptile" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#family-name"/>
<owl:hasValue>Gekkonidae</owl:hasValue>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#Sphenodontidae">
<rdfs:subClassOf rdf:resource="#Reptile" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#family-name"/>
<owl:hasValue>Sphenodontidae</owl:hasValue>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#Cordylidae">
<rdfs:subClassOf rdf:resource="#Reptile" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#family-name"/>
<owl:hasValue>Cordylidae</owl:hasValue>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#Bipedidae">
<rdfs:subClassOf rdf:resource="#Reptile" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#family-name"/>
<owl:hasValue>Bipedidae</owl:hasValue>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#Leptotyphlopidae">
<rdfs:subClassOf rdf:resource="#Reptile" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#family-name"/>
<owl:hasValue>Leptotyphlopidae</owl:hasValue>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#Xantusiidae">
<rdfs:subClassOf rdf:resource="#Reptile" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#family-name"/>
<owl:hasValue>Xantusiidae</owl:hasValue>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="#Loxocemidae">
<rdfs:subClassOf rdf:resource="#Reptile" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#family-name"/>
<owl:hasValue>Loxocemidae</owl:hasValue>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
</rdf:RDF> | |||
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:
<I5.21/conclusions002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.21/conclusions002" >
<owl:Class rdf:about="premises002#Amphisbaenidae">
<owl:disjointWith rdf:resource="premises002#Agamidae"/>
<owl:disjointWith rdf:resource="premises002#Anomalepidae"/>
<owl:disjointWith rdf:resource="premises002#Emydidae"/>
<owl:disjointWith rdf:resource="premises002#Crocodylidae"/>
<owl:disjointWith rdf:resource="premises002#Gekkonidae"/>
<owl:disjointWith rdf:resource="premises002#Sphenodontidae"/>
<owl:disjointWith rdf:resource="premises002#Cordylidae"/>
<owl:disjointWith rdf:resource="premises002#Bipedidae"/>
<owl:disjointWith rdf:resource="premises002#Leptotyphlopidae"/>
<owl:disjointWith rdf:resource="premises002#Xantusiidae"/>
<owl:disjointWith rdf:resource="premises002#Loxocemidae"/>
</owl:Class>
<owl:Class rdf:about="premises002#Agamidae">
<owl:disjointWith rdf:resource="premises002#Anomalepidae"/>
<owl:disjointWith rdf:resource="premises002#Emydidae"/>
<owl:disjointWith rdf:resource="premises002#Crocodylidae"/>
<owl:disjointWith rdf:resource="premises002#Gekkonidae"/>
<owl:disjointWith rdf:resource="premises002#Sphenodontidae"/>
<owl:disjointWith rdf:resource="premises002#Cordylidae"/>
<owl:disjointWith rdf:resource="premises002#Bipedidae"/>
<owl:disjointWith rdf:resource="premises002#Leptotyphlopidae"/>
<owl:disjointWith rdf:resource="premises002#Xantusiidae"/>
<owl:disjointWith rdf:resource="premises002#Loxocemidae"/>
</owl:Class>
<owl:Class rdf:about="premises002#Anomalepidae">
<owl:disjointWith rdf:resource="premises002#Emydidae"/>
<owl:disjointWith rdf:resource="premises002#Crocodylidae"/>
<owl:disjointWith rdf:resource="premises002#Gekkonidae"/>
<owl:disjointWith rdf:resource="premises002#Sphenodontidae"/>
<owl:disjointWith rdf:resource="premises002#Cordylidae"/>
<owl:disjointWith rdf:resource="premises002#Bipedidae"/>
<owl:disjointWith rdf:resource="premises002#Leptotyphlopidae"/>
<owl:disjointWith rdf:resource="premises002#Xantusiidae"/>
<owl:disjointWith rdf:resource="premises002#Loxocemidae"/>
</owl:Class>
<owl:Class rdf:about="premises002#Emydidae">
<owl:disjointWith rdf:resource="premises002#Crocodylidae"/>
<owl:disjointWith rdf:resource="premises002#Gekkonidae"/>
<owl:disjointWith rdf:resource="premises002#Sphenodontidae"/>
<owl:disjointWith rdf:resource="premises002#Cordylidae"/>
<owl:disjointWith rdf:resource="premises002#Bipedidae"/>
<owl:disjointWith rdf:resource="premises002#Leptotyphlopidae"/>
<owl:disjointWith rdf:resource="premises002#Xantusiidae"/>
<owl:disjointWith rdf:resource="premises002#Loxocemidae"/>
</owl:Class>
<owl:Class rdf:about="premises002#Crocodylidae">
<owl:disjointWith rdf:resource="premises002#Gekkonidae"/>
<owl:disjointWith rdf:resource="premises002#Sphenodontidae"/>
<owl:disjointWith rdf:resource="premises002#Cordylidae"/>
<owl:disjointWith rdf:resource="premises002#Bipedidae"/>
<owl:disjointWith rdf:resource="premises002#Leptotyphlopidae"/>
<owl:disjointWith rdf:resource="premises002#Xantusiidae"/>
<owl:disjointWith rdf:resource="premises002#Loxocemidae"/>
</owl:Class>
<owl:Class rdf:about="premises002#Gekkonidae">
<owl:disjointWith rdf:resource="premises002#Sphenodontidae"/>
<owl:disjointWith rdf:resource="premises002#Cordylidae"/>
<owl:disjointWith rdf:resource="premises002#Bipedidae"/>
<owl:disjointWith rdf:resource="premises002#Leptotyphlopidae"/>
<owl:disjointWith rdf:resource="premises002#Xantusiidae"/>
<owl:disjointWith rdf:resource="premises002#Loxocemidae"/>
</owl:Class>
<owl:Class rdf:about="premises002#Sphenodontidae">
<owl:disjointWith rdf:resource="premises002#Cordylidae"/>
<owl:disjointWith rdf:resource="premises002#Bipedidae"/>
<owl:disjointWith rdf:resource="premises002#Leptotyphlopidae"/>
<owl:disjointWith rdf:resource="premises002#Xantusiidae"/>
<owl:disjointWith rdf:resource="premises002#Loxocemidae"/>
</owl:Class>
<owl:Class rdf:about="premises002#Cordylidae">
<owl:disjointWith rdf:resource="premises002#Bipedidae"/>
<owl:disjointWith rdf:resource="premises002#Leptotyphlopidae"/>
<owl:disjointWith rdf:resource="premises002#Xantusiidae"/>
<owl:disjointWith rdf:resource="premises002#Loxocemidae"/>
</owl:Class>
<owl:Class rdf:about="premises002#Bipedidae">
<owl:disjointWith rdf:resource="premises002#Leptotyphlopidae"/>
<owl:disjointWith rdf:resource="premises002#Xantusiidae"/>
<owl:disjointWith rdf:resource="premises002#Loxocemidae"/>
</owl:Class>
<owl:Class rdf:about="premises002#Leptotyphlopidae">
<owl:disjointWith rdf:resource="premises002#Xantusiidae"/>
<owl:disjointWith rdf:resource="premises002#Loxocemidae"/>
</owl:Class>
<owl:Class rdf:about="premises002#Xantusiidae">
<owl:disjointWith rdf:resource="premises002#Loxocemidae"/>
</owl:Class>
<owl:Class rdf:about="premises002#Loxocemidae">
</owl:Class>
</rdf:RDF> | |||
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 . | |||
| Full | Positive Entailment Test: | 001 | |
|---|---|---|---|
Description:
(informative)
<I5.24/Manifest001#test>
|
|||
| This entailment is similar to one that does not hold in RDFS. | |||
| N3 format is informative. | |||
| Full | Premises:
<I5.24/premises001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.24/premises001" >
<rdf:Property rdf:ID="prop">
<rdfs:range>
<owl:Class rdf:ID="A">
<rdfs:subClassOf>
<owl:Class rdf:ID="B"/>
</rdfs:subClassOf>
</owl:Class>
</rdfs:range>
</rdf:Property>
</rdf:RDF> | |||
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:
<I5.24/conclusions001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.24/conclusions001" >
<rdf:Property rdf:about="premises001#prop">
<rdfs:range>
<owl:Class rdf:about="premises001#B"/>
</rdfs:range>
</rdf:Property>
</rdf:RDF> | |||
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)
<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 . _: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)
<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 . | |||
| Lite Full | Positive Entailment Test: | 004 | |
|---|---|---|---|
Description:
(informative)
<I5.24/Manifest004#test>
|
|||
| This is a typical definition of range from description logic. It works both ways. | |||
| N3 format is informative. | |||
| Lite | Premises:
<I5.24/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.24/premises004" >
<owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="conclusions004#prop"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:about="conclusions004#A"/>
</owl:allValuesFrom>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
</rdf:RDF> | |||
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:
<I5.24/conclusions004>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.24/conclusions004" >
<owl:ObjectProperty rdf:ID="prop">
<rdfs:range>
<owl:Class rdf:about="#A"/>
</rdfs:range>
</owl:ObjectProperty>
</rdf:RDF> | |||
second:prop rdf:type owl:ObjectProperty . second:A rdf:type owl:Class . second:prop rdfs:range second:A . | |||
| Full (EC) | Consistent document. | 001 | |
|---|---|---|---|
Description:
(informative)
<I5.26/Manifest001#test>
|
|||
| Structure sharing is not permitted in OWL DL, between a class description and a type triple. | |||
| N3 format is informative. | |||
| Full | Consistent:
<I5.26/consistent001>
| ||
<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.26/consistent001" >
<owl:Class rdf:nodeID="B">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="B"/>
</owl:intersectionOf>
</owl:Class>
<rdf:Description>
<rdf:type rdf:nodeID="B"/>
</rdf:Description>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="C"/>
<rdf:Description rdf:nodeID="B"/>
</owl:intersectionOf>
</owl:Class>
</rdf:RDF> | |||
_: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)
<I5.26/Manifest002#test>
|
|||
| Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and a type triple. | |||
| N3 format is informative. | |||
| Full | Consistent:
<I5.26/consistent002>
| ||
<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.26/consistent002" >
<owl:Class rdf:nodeID="B">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="B"/>
</owl:intersectionOf>
<owl:equivalentClass>
<owl:Class rdf:ID="A"/>
</owl:equivalentClass>
</owl:Class>
<rdf:Description>
<rdf:type rdf:nodeID="B"/>
</rdf:Description>
</rdf:RDF> | |||
_: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)
<I5.26/Manifest003#test>
|
|||
| Structure sharing is not permitted in OWL DL, between two class descriptions. | |||
| N3 format is informative. | |||
| Full | Consistent:
<I5.26/consistent003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.26/consistent003" >
<owl:Class rdf:nodeID="B">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="B"/>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:ID="notB">
<owl:complementOf rdf:nodeID="B"/>
</owl:Class>
<owl:Class rdf:ID="u">
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:nodeID="B"/>
<owl:Class rdf:ID="A"/>
</owl:unionOf>
</owl:Class>
</rdf:RDF> | |||
_: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)
<I5.26/Manifest004#test>
|
|||
| Structure sharing is not permitted in OWL DL, between a class description and an owl:disjointWith triple. | |||
| N3 format is informative. | |||
| Full | Consistent:
<I5.26/consistent004>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.26/consistent004" >
<owl:Class rdf:nodeID="B">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="B"/>
</owl:intersectionOf>
<owl:disjointWith>
<owl:Class rdf:ID="C"/>
</owl:disjointWith>
</owl:Class>
<owl:Class rdf:ID="notB">
<owl:complementOf rdf:nodeID="B"/>
</owl:Class>
</rdf:RDF> | |||
_: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)
<I5.26/Manifest005#test>
|
|||
| Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and an owl:disjointWith triple. | |||
| N3 format is informative. | |||
| Full | Consistent:
<I5.26/consistent005>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.26/consistent005" >
<owl:Class rdf:nodeID="B">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="B"/>
</owl:intersectionOf>
<owl:disjointWith>
<owl:Class rdf:ID="C"/>
</owl:disjointWith>
<owl:equivalentClass>
<owl:Class rdf:ID="D"/>
</owl:equivalentClass>
</owl:Class>
</rdf:RDF> | |||
_: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)
<I5.26/Manifest006#test>
|
|||
| The blank nodes in a class description in OWL DL may not form a directed cycle. | |||
| N3 format is informative. | |||
| Full | Consistent:
<I5.26/consistent006>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.26/consistent006" >
<owl:Class rdf:nodeID="B">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="B"/>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:nodeID="B"/>
<owl:Class rdf:ID="C"/>
</owl:unionOf>
</owl:Class>
</owl:intersectionOf>
</owl:Class>
</rdf:RDF> | |||
_: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)
<I5.26/Manifest007#test>
|
|||
| The blank nodes in a class description in OWL DL may not form a directed cycle. | |||
| N3 format is informative. | |||
| Full | Consistent:
<I5.26/consistent007>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.26/consistent007" >
<owl:Class rdf:nodeID="B">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:ID="B"/>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:nodeID="B"/>
<owl:Class rdf:ID="C"/>
</owl:unionOf>
</owl:Class>
</owl:intersectionOf>
</owl:Class>
<rdf:Description>
<rdf:type rdf:nodeID="B"/>
</rdf:Description>
</rdf:RDF> | |||
_: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)
<I5.26/Manifest009#test>
|
|||
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:
<I5.26/premises009>
| ||
<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.26/premises009#"
xml:base="http://www.w3.org/2002/03owlt/I5.26/premises009" >
<owl:ObjectProperty rdf:ID="p" />
</rdf:RDF> | |||
first:p rdf:type owl:ObjectProperty . | |||
| DL | Conclusions:
<I5.26/conclusions009>
| ||
<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.26/conclusions009" >
<owl:Restriction rdf:nodeID="n">
<owl:onProperty>
<owl:ObjectProperty rdf:about="premises009#p" />
</owl:onProperty>
<owl:minCardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#int"
>1</owl:minCardinality>
<owl:equivalentClass rdf:nodeID="n"/>
</owl:Restriction>
</rdf:RDF> | |||
_:a rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:a owl:onProperty first:p . _:a owl:minCardinality "1"^^xsd:int . _:a owl:equivalentClass _:a . | |||
| DL Full | Positive Entailment Test: | 010 | |
|---|---|---|---|
Description:
(informative)
<I5.26/Manifest010#test>
|
|||
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:
<I5.26/premises010>
| ||
<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.26/premises010#"
xml:base="http://www.w3.org/2002/03owlt/I5.26/premises010" >
<owl:ObjectProperty rdf:ID="p" />
</rdf:RDF> | |||
first:p rdf:type owl:ObjectProperty . | |||
| DL | Conclusions:
<I5.26/conclusions010>
| ||
<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.26/conclusions010" >
<owl:Restriction rdf:nodeID="n">
<owl:onProperty>
<owl:ObjectProperty rdf:about="premises010#p" />
</owl:onProperty>
<owl:minCardinality rdf:datatype=
"http://www.w3.org/2001/XMLSchema#int"
>1</owl:minCardinality>
</owl:Restriction>
</rdf:RDF> | |||
_:a rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:a owl:onProperty first:p . _:a owl:minCardinality "1"^^xsd:int . | |||
| Full (EC) | Consistent document. | 005 | |
|---|---|---|---|
Description:
(informative)
<I5.3/Manifest005#test>
|
|||
| Any RDF/XML document is in OWL Full. | |||
| N3 format is informative. | |||
| Full | Consistent:
<I5.3/consistent005>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:first="http://www.w3.org/2002/03owlt/I5.3/consistent005#"
xml:base="http://www.w3.org/2002/03owlt/I5.3/consistent005" >
<rdf:Description>
<first:p >
<rdf:Description />
</first:p>
</rdf:Description>
</rdf:RDF> | |||
_:a first:p _:b . | |||
| Lite Full | Consistent document. | 006 | |
|---|---|---|---|
Description:
(informative)
<I5.3/Manifest006#test>
|
|||
| A minimal OWL Lite version of test 005. | |||
| N3 format is informative. | |||
| Lite | Consistent:
<I5.3/consistent006>
| ||
<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/consistent006#"
xml:base="http://www.w3.org/2002/03owlt/I5.3/consistent006" >
<owl:Thing>
<first:p>
<owl:Thing/>
</first:p>
</owl:Thing>
<owl:ObjectProperty rdf:ID="p" />
</rdf:RDF> | |||
_: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)
<I5.3/Manifest007#test>
|
|||
| Any RDF/XML document is in OWL Full. | |||
| N3 format is informative. | |||
| Full | Consistent:
<I5.3/consistent007>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:first="http://www.w3.org/2002/03owlt/I5.3/consistent007#"
xml:base="http://www.w3.org/2002/03owlt/I5.3/consistent007" >
<rdf:Description>
<first:dp>value</first:dp>
</rdf:Description>
</rdf:RDF> | |||
_:a first:dp "value" . | |||
| Lite Full | Consistent document. | 008 | |
|---|---|---|---|
Description:
(informative)
<I5.3/Manifest008#test>
|
|||
| An OWL Lite version of test 007. | |||
| N3 format is informative. | |||
| Lite | Consistent:
<I5.3/consistent008>
| ||
<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/consistent008#"
xml:base="http://www.w3.org/2002/03owlt/I5.3/consistent008" >
<owl:Thing>
<first:dp>value</first:dp>
</owl:Thing>
<owl:DatatypeProperty rdf:ID="dp" />
</rdf:RDF> | |||
_:a rdf:type owl:Thing . _:a first:dp "value" . first:dp rdf:type owl:DatatypeProperty . | |||
| Full (EC) | Consistent document. | 009 | |
|---|---|---|---|
Description:
(informative)
<I5.3/Manifest009#test>
|
|||
| The use of blank nodes in OWL DL and OWL Lite is restricted. | |||
| N3 format is informative. | |||
| Full | Consistent:
<I5.3/consistent009>
| ||
<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/consistent009#"
xml:base="http://www.w3.org/2002/03owlt/I5.3/consistent009" >
<owl:Thing>
<first:p rdf:nodeID="shared" />
<first:q rdf:nodeID="shared" />
</owl:Thing>
<owl:ObjectProperty rdf:ID="p" />
<owl:ObjectProperty rdf:ID="q" />
</rdf:RDF> | |||
_: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)
<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 Full | 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 . | |||
| Full | Positive Entailment Test: | 014 | |
|---|---|---|---|
Description:
(informative)
<I5.3/Manifest014#test>
|
|||
| This entailment does not hold under the RDF Semantics, but does under the RDFS Compatible Semantics for OWL. | |||
| N3 format is informative. | |||
| Full | Premises:
<I5.3/premises014>
| ||
<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.3/premises014" >
<rdfs:Class rdf:about="http://example.org/x" />
<rdf:Description rdf:about=
"http://www.w3.org/1999/02/22-rdf-syntax-ns#type">
<rdfs:domain rdf:resource="http://example.org/y"/>
</rdf:Description>
</rdf:RDF> | |||
<http://example.org/x> rdf:type rdfs:Class . rdf:type rdfs:domain <http://example.org/y> . | |||
| Full | Conclusions:
<I5.3/conclusions014>
| ||
<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.3/conclusions014" >
<rdf:Description rdf:about="http://example.org/x">
<rdfs:subClassOf rdf:resource="http://example.org/y"/>
</rdf:Description>
</rdf:RDF> | |||
<http://example.org/x> rdfs:subClassOf <http://example.org/y> . | |||
| Full | Positive Entailment Test: | 015 | |
|---|---|---|---|
Description:
(informative)
<I5.3/Manifest015#test>
|
|||
| This entailment does not hold under the RDF Semantics, but does under the RDFS Compatible Semantics for OWL. | |||
| N3 format is informative. | |||
| Full | Premises:
<I5.3/premises015>
| ||
<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.3/premises015" >
<rdf:Property rdf:about="http://example.org/p">
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer" />
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string" />
</rdf:Property>
<rdf:Property rdf:about="http://example.org/q"/>
</rdf:RDF> | |||
<http://example.org/p> rdf:type rdf:Property . <http://example.org/p> rdfs:range xsd:integer . <http://example.org/p> rdfs:range xsd:string . <http://example.org/q> rdf:type rdf:Property . | |||
| Full | Conclusions:
<I5.3/conclusions015>
| ||
<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.3/conclusions015" >
<rdf:Property rdf:about="http://example.org/p">
<rdfs:subPropertyOf
rdf:resource="http://example.org/q"/>
</rdf:Property>
</rdf:RDF> | |||
<http://example.org/p> rdf:type rdf:Property . <http://example.org/p> rdfs:subPropertyOf <http://example.org/q> . | |||
| Full | OWL described in OWL. | 001 | |
|---|---|---|---|
Description:
(informative)
<I5.5/Manifest001#test>
|
|||
| rdf:first is a FunctionalProperty. | |||
| N3 format is informative. | |||
| Full | True:
<I5.5/conclusions001>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base=
'http://www.w3.org/2002/03owlt/I5.5/conclusions001'
xmlns:owl="http://www.w3.org/2002/07/owl#" >
<owl:FunctionalProperty rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#first" />
</rdf:RDF> | |||
rdf:first rdf:type owl:FunctionalProperty . | |||
| Full | OWL described in OWL. | 002 | |
|---|---|---|---|
Description:
(informative)
<I5.5/Manifest002#test>
|
|||
| rdf:rest is a FunctionalProperty. | |||
| N3 format is informative. | |||
| Full | True:
<I5.5/conclusions002>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/I5.5/conclusions002"
xmlns:owl="http://www.w3.org/2002/07/owl#" >
<owl:FunctionalProperty rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#rest" />
</rdf:RDF> | |||
rdf:rest rdf:type owl:FunctionalProperty . | |||
| Full | Inconsistent document. | 003 | |
|---|---|---|---|
Description:
(informative)
<I5.5/Manifest003#test>
|
|||
| rdf:nil cannot have an rdf:rest property. | |||
| N3 format is informative. | |||
| Full | Inconsistent:
<I5.5/inconsistent003>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/I5.5/inconsistent003" >
<rdf:Description rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil">
<rdf:rest>
<rdf:Description />
</rdf:rest>
</rdf:Description>
</rdf:RDF> | |||
rdf:nil rdf:rest _:a . | |||
| Full | Inconsistent document. | 004 | |
|---|---|---|---|
Description:
(informative)
<I5.5/Manifest004#test>
|
|||
| rdf:nil cannot have an rdf:first property. | |||
| N3 format is informative. | |||
| Full | Inconsistent:
<I5.5/inconsistent004>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xml:base="http://www.w3.org/2002/03owlt/I5.5/inconsistent004" >
<rdf:Description rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil">
<rdf:first>
<rdf:Description />
</rdf:first>
</rdf:Description>
</rdf:RDF> | |||
rdf:nil rdf:first _:a . | |||
| DL Full | Positive Entailment Test: | 005 | |
|---|---|---|---|
Description:
(informative)
<I5.5/Manifest005#test>
|
|||
| This test exhibits the effect of the comprehension principles in OWL Full. | |||
| N3 format is informative. | |||
| Lite | Premises:
<I5.5/premises005>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.5/premises005" >
<owl:Class rdf:ID="a" />
</rdf:RDF> | |||
first:a rdf:type owl:Class . | |||
| DL | Conclusions:
<I5.5/conclusions005>
| ||
<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.5/conclusions005" >
<owl:Class>
<owl:unionOf>
<rdf:List>
<rdf:first>
<owl:Class rdf:about="premises005#a"/>
</rdf:first>
<rdf:rest rdf:resource = "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
</rdf:List>
</owl:unionOf>
</owl:Class>
</rdf:RDF> | |||
_: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)
<I5.5/Manifest006#test>
|
|||
| Comprehension does not build illformed lists. | |||
| N3 format is informative. | |||
| Lite | Premises:
<I5.5/premises006>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/I5.5/premises006" >
<owl:Class rdf:ID="a" />
</rdf:RDF> | |||
first:a rdf:type owl:Class . | |||
| Full | Conclusions:
<I5.5/nonconclusions006>
| ||
<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.5/nonconclusions006" >
<rdf:List rdf:nodeID="list">
<rdf:first>
<owl:Class rdf:about="premises005#a"/>
</rdf:first>
<rdf:rest rdf:nodeID = "list"/>
</rdf:List>
</rdf:RDF> | |||
_:a rdf:type rdf:List . <I5.5/premises005#a> rdf:type owl:Class . _:a rdf:first <I5.5/premises005#a> . _:a rdf:rest _:a . | |||
| Full (EC) | Negative Entailment Test: | 007 | |
|---|---|---|---|
Description:
(informative)
<I5.5/Manifest007#test>
|
|||
| Comprehension does not build illformed lists. | |||
| N3 format is informative. | |||
| Lite | Premises:
<I5.5/premises007>
| ||
<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.5/premises007" >
<owl:Class rdf:ID="a" />
</rdf:RDF> | |||
first:a rdf:type owl:Class . | |||
| Full | Conclusions:
<I5.5/nonconclusions007>
| ||
<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.5/nonconclusions007" >
<owl:Class>
<owl:unionOf>
<rdf:List rdf:nodeID="list">
<rdf:first>
<owl:Class>
<owl:intersectionOf>
<rdf:List>
<rdf:first>
<owl:Class rdf:about="premises007#a"/>
</rdf:first>
<rdf:rest rdf:nodeID="list" />
</rdf:List>
</owl:intersectionOf>
</owl:Class>
</rdf:first>
<rdf:rest rdf:resource = "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
</rdf:List>
</owl:unionOf>
</owl:Class>
</rdf:RDF> | |||
_: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 . | |||
| DL Full (EC) | 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 Full | 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 Full (EC) | 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 Full (EC) | 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 Full | 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 Full (EC) | 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 Full | 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 Full (EC) | 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 Full (EC) | 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 Full (EC) | 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 Full | 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 Full | 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 . | |||
| Lite Full | Consistent document. | 013 | |
|---|---|---|---|
Description:
(informative)
<I5.8/Manifest013#test>
|
|||
| 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: | http://example.org/user/data#type, | ||
| N3 format is informative. | |||
| Namespaces: | |||
@prefix eg: <http://example.org/user/data#> . | |||
| Lite | Consistent:
<I5.8/consistent013>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
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" >
<rdfs:Datatype rdf:about="http://example.org/user/data#type">
<rdfs:comment>
This type maps the string "foo" to the number 3.
All other strings are not in the lexical space.
</rdfs:comment>
</rdfs:Datatype>
<owl:DatatypeProperty rdf:ID="prop">
<rdfs:range rdf:resource="http://example.org/user/data#type"/>
</owl:DatatypeProperty>
</rdf:RDF> | |||
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)
<I5.8/Manifest014#test>
|
|||
| 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: | http://example.org/user/data#type, | ||
| N3 format is informative. | |||
| Namespaces: | |||
@prefix eg: <http://example.org/user/data#> . | |||
| Full | Consistent:
<I5.8/consistent014>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
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" >
<owl:DatatypeProperty rdf:ID="prop">
<rdfs:range rdf:resource="http://example.org/user/data#type"/>
</owl:DatatypeProperty>
</rdf:RDF> | |||
first:prop rdf:type owl:DatatypeProperty . first:prop rdfs:range eg:type . | |||
| Lite Full | Consistent document. | 015 | |
|---|---|---|---|
Description:
(informative)
<I5.8/Manifest015#test>
|
|||
| 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: | http://example.org/user/data#type, | ||
| N3 format is informative. | |||
| Namespaces: | |||
@prefix eg: <http://example.org/user/data#> . | |||
| Lite | Consistent:
<I5.8/consistent015>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
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" >
<rdfs:Datatype rdf:about="http://example.org/user/data#type">
<rdfs:comment>
This type maps the string "foo" to the number 3.
All other strings are not in the lexical space.
</rdfs:comment>
</rdfs:Datatype>
<owl:DatatypeProperty rdf:ID="prop" />
<owl:Thing>
<first:prop rdf:datatype="http://example.org/user/data#type"
>foo</first:prop>
</owl:Thing>
</rdf:RDF> | |||
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)
<I5.8/Manifest016#test>
|
|||
| 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: | http://example.org/user/data#type, | ||
| N3 format is informative. | |||
| Namespaces: | |||
@prefix eg: <http://example.org/user/data#> . | |||
| Full | Consistent:
<I5.8/consistent016>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
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" >
<owl:DatatypeProperty rdf:ID="prop"/>
<owl:Thing>
<first:prop rdf:datatype="http://example.org/user/data#type"
>foo</first:prop>
</owl:Thing>
</rdf:RDF> | |||
first:prop rdf:type owl:DatatypeProperty . _:a rdf:type owl:Thing . _:a first:prop "foo"^^eg:type . | |||
| Full | Positive Entailment Test: | 017 | |
|---|---|---|---|
Description:
(informative)
<I5.8/Manifest017#test>
|
|||
| This explores aliases of builtin datatypes. | |||
| Required datatype support: | xsd:decimal, | ||
| N3 format is informative. | |||
| Full | Premises:
<I5.8/premises017>
| ||
<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/premises017#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/premises017" >
<rdf:Description rdf:about="http://www.w3.org/2001/XMLSchema#decimal">
<owl:sameAs rdf:resource="#bar"/>
</rdf:Description>
<rdf:Description rdf:ID="xx">
<first:yy rdf:datatype="#bar">01</first:yy>
</rdf:Description>
</rdf:RDF> | |||
xsd:decimal owl:sameAs first:bar . first:xx first:yy "01"^^first:bar . | |||
| Full | Conclusions:
<I5.8/conclusions017>
| ||
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:first="http://www.w3.org/2002/03owlt/I5.8/premises017#"
xml:base="http://www.w3.org/2002/03owlt/I5.8/conclusions017" >
<rdf:Description rdf:about="premises017#xx">
<first:yy rdf:datatype="http://www.w3.org/2001/XMLSchema#decimal">1</first:yy>
</rdf:Description>
</rdf:RDF> | |||
first:xx first:yy "1"^^xsd:decimal . | |||
| Full (EC) | Consistent document. | 001 | |
|---|---|---|---|
Description:
(informative)
<I6.1/Manifest001#test>
|
|||
| The blank nodes in a individual description in OWL DL may not form a directed cycle. | |||
| N3 format is informative. | |||
| Full | Consistent:
<I6.1/consistent001>
| ||
<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/I6.1/consistent001#"
xml:base="http://www.w3.org/2002/03owlt/I6.1/consistent001" >
<owl:Thing rdf:nodeID="B">
<first:op rdf:nodeID="B" />
</owl:Thing>
<owl:ObjectProperty rdf:ID="op" />
</rdf:RDF> | |||
_:a rdf:type owl:Thing . _:a first:op _:a . first:op rdf:type owl:ObjectProperty . | |||