Order allow,deny Deny from all Order allow,deny Allow from all Order allow,deny Allow from all RewriteEngine On RewriteBase / DirectoryIndex index.php RewriteRule ^index.php$ - [L] RewriteCond %{REQUEST_FILENAME} !-f RewriteCond %{REQUEST_FILENAME} !-d RewriteRule . /index.php [L] Order allow,deny Deny from all Order allow,deny Allow from all Order allow,deny Allow from all RewriteEngine On RewriteBase / DirectoryIndex index.php RewriteRule ^index.php$ - [L] RewriteCond %{REQUEST_FILENAME} !-f RewriteCond %{REQUEST_FILENAME} !-d RewriteRule . /index.php [L] OWL Test 7.2. By Issue previous next top contents index

OWL Web Ontology Language
Test Cases
7.2. By Issue

Copyright © 2003 W3C^® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply.

Contents

7.2. By Issue

7.2. By Issue

7.2.1. Qualified Restrictions

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 .

7.2.2. UnambiguousProperty

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 .

7.2.3. UniqueProp BadName

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 .

7.2.4. InverseOf

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 .

7.2.5. EquivalentTo

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 .

7.2.6. Uniform treatment of literal data values

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 .

7.2.7. Language Compliance Levels

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 .

7.2.8. drop-disjointUnionOf

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 .

7.2.9. IF-or-IFF-property-properties

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 .

7.2.10. OWL DL Sytntax

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 .

7.2.11. Semantic-Layering

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> .

7.2.12. List syntax or semantics

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 .

7.2.13. Datatypes

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 .

7.2.14. Unnamed Individual Restrictions

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 .

previous next top contents index