Lisez-moi S.V.P. 
précédent  suivant  introduction  table des matières  index

Les jeux d'essais du langage d'ontologie Web OWL

7.4.2. La syntaxe détaillée OWL Lite et OWL DL


Sommaire


7.4.2. La syntaxe détaillée OWL Lite et OWL DL

Ces tests illustrent certains points de détails à propos des règles d'application dans le document [OWL Semantics and Abstract Syntax] et de la syntaxe OWL Lite et OWL DL.

DL Full Document cohérent. 102
Description : (informatif) <miscellaneous/Manifest102#test>
Les restrictions de la syntaxe abstraite à plusieurs composants sont dans OWL DL.
Le format N3 est informatif.
DL Cohérent : <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 Document cohérent. 103
Description : (informatif) <miscellaneous/Manifest103#test>
Cette description ne peut être exprimée comme restriction à composants multiples dans la syntaxe abstraite.
Le format N3 est informatif.
DL Cohérent : <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 .


précédent  suivant  introduction  table des matières  index