previous next top contents index

OWL Web Ontology Language
Test Cases
7.4.2. Detailed OWL Lite and OWL DL Syntax


Contents


7.4.2. Detailed OWL Lite and OWL DL Syntax

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


previous next top contents index