Copyright © 2003 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply.
These tests illustrate detailed points about the mapping rules in [OWL Semantics and Abstract Syntax], and the syntax of OWL Lite and OWL DL.
| DL Full | Consistent document. | 102 | |
|---|---|---|---|
Description:
(informative)
<miscellaneous/Manifest102#test>
|
|||
| Abstract syntax restrictions with multiple components are in OWL DL. | |||
| N3 format is informative. | |||
| 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 . _:c rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:c owl:onProperty first:p . first:a rdf:type owl:Class . _:c owl:allValuesFrom first:a . _:e rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:e owl:onProperty first:p . first:s rdf:type owl:Class . _:e owl:someValuesFrom first:s . _:g rdf:first _:e . _:g rdf:rest rdf:nil . _:i rdf:first _:c . _:i rdf:rest _:g . _:a owl:intersectionOf _:i . first:i rdf:type _:a . | |||
| DL Full | Consistent document. | 103 | |
|---|---|---|---|
Description:
(informative)
<miscellaneous/Manifest103#test>
|
|||
| This description cannot be expressed as a multicomponent restriction in the abstract syntax. | |||
| N3 format is informative. | |||
| DL | 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>
<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="#q"/>
</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 . _:c rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:c owl:onProperty first:p . first:a rdf:type owl:Class . _:c owl:allValuesFrom first:a . _:e rdf:type owl:Restriction . first:q rdf:type owl:ObjectProperty . _:e owl:onProperty first:q . first:s rdf:type owl:Class . _:e owl:someValuesFrom first:s . _:g rdf:first _:e . _:g rdf:rest rdf:nil . _:i rdf:first _:c . _:i rdf:rest _:g . _:a owl:intersectionOf _:i . first:i rdf:type _:a . | |||