These tests are ones that do not fit any other category. Some are taken from the [OWL Guide]; others reflect various aspects of OWL, that were not formal issues addressed by the working group.
These tests illustrate detailed points about the mapping rules in [OWL Abstract Syntax and Semantics], and the syntax of OWL Lite and OWL DL.
| Full | Consistent document. | 101 |
|---|---|---|
Description:
<miscellaneous/Manifest101#test>
|
Jeremy J. Carroll | |
| This document is OWL Lite according to the 3rd February working draft and to the 15th February editor's draft . | ||
| Full | Consistent:
<miscellaneous/consistent101>
| |
<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/miscellaneous/consistent101#"
xml:base="http://www.w3.org/2002/03owlt/miscellaneous/consistent101" >
<owl:Thing rdf:ID="i">
<rdf:type>
<rdf:Description>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="p"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:ID="a"/>
</owl:allValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#p"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:ID="s"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</rdf:Description>
</rdf:type>
</owl:Thing>
</rdf:RDF> | ||
first:i rdf:type owl:Thing . _:a rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:a owl:onProperty first:p . first:a rdf:type owl:Class . _:a owl:allValuesFrom first:a . _:b rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:b owl:onProperty first:p . first:s rdf:type owl:Class . _:b owl:someValuesFrom first:s . _:c rdf:first _:b . _:c rdf:rest rdf:nil . _:c rdf:type rdf:List . _:d rdf:first _:a . _:d rdf:rest _:c . _:d rdf:type rdf:List . _:e owl:intersectionOf _:d . first:i rdf:type _:e . | ||
| DL | Consistent document. | 102 |
|---|---|---|
Description:
<miscellaneous/Manifest102#test>
|
Jeremy J. Carroll | |
| This document is OWL DL according to the 3rd February working draft and to the 15th February editor's draft . | ||
| DL | Consistent:
<miscellaneous/consistent102>
| |
<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/miscellaneous/consistent102#"
xml:base="http://www.w3.org/2002/03owlt/miscellaneous/consistent102" >
<owl:Thing rdf:ID="i">
<rdf:type>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="p"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:ID="a"/>
</owl:allValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#p"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:ID="s"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</rdf:type>
</owl:Thing>
</rdf:RDF> | ||
first:i rdf:type owl:Thing . _:a rdf:type owl:Class . _:b rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:b owl:onProperty first:p . first:a rdf:type owl:Class . _:b owl:allValuesFrom first:a . _:c rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:c owl:onProperty first:p . first:s rdf:type owl:Class . _:c owl:someValuesFrom first:s . _:d rdf:first _:c . _:d rdf:rest rdf:nil . _:d rdf:type rdf:List . _:e rdf:first _:b . _:e rdf:rest _:d . _:e rdf:type rdf:List . _:a owl:intersectionOf _:e . first:i rdf:type _:a . | ||
| Full | Consistent document. | 103 |
|---|---|---|
Description:
<miscellaneous/Manifest103#test>
|
Jeremy J. Carroll | |
| This document is OWL DL according to the 3rd February working draft and to the 15th February editor's draft . | ||
| Full | Consistent:
<miscellaneous/consistent103>
| |
<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/miscellaneous/consistent103#"
xml:base="http://www.w3.org/2002/03owlt/miscellaneous/consistent103" >
<owl:Thing rdf:ID="i">
<rdf:type>
<rdf:Description>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="p"/>
</owl:onProperty>
<owl:allValuesFrom>
<owl:Class rdf:ID="a"/>
</owl:allValuesFrom>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="#q"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:ID="s"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</rdf:Description>
</rdf:type>
</owl:Thing>
</rdf:RDF> | ||
first:i rdf:type owl:Thing . _:a rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:a owl:onProperty first:p . first:a rdf:type owl:Class . _:a owl:allValuesFrom first:a . _:b rdf:type owl:Restriction . first:q rdf:type owl:ObjectProperty . _:b owl:onProperty first:q . first:s rdf:type owl:Class . _:b owl:someValuesFrom first:s . _:c rdf:first _:b . _:c rdf:rest rdf:nil . _:c rdf:type rdf:List . _:d rdf:first _:a . _:d rdf:rest _:c . _:d rdf:type rdf:List . _:e owl:intersectionOf _:d . first:i rdf:type _:e . | ||