Traduction en OWL des opérations ensemblistes

1. Ensemble = Classe = owl:Class

   owl:Class is a subclass of rdfs:Class
   
   • s'emploie pour affirmer qu'un sujet est une classe 
     par <owl:Class rdf:about="#sujet"/>
     (abrégé de <rdf:description...> <rdf:type rdf:resource="&owl;Class">...
     cf. /EPITA/International/Site2013/Session4/index.html#mozTocId266237)
     
     
     • sans le définir
<owl:Class rdf:about="#Person"/>
       
       
     • ou en lui associant d'autres triplets qui peuvent valoir définition, comme par owl:equivalentClass
       
     
     
   • mais aussi pour représenter un ensemble anonyme, soit en extension, soit en compréhension, soit par opération
     
     
     • en extension (enumeration)
           <owl:Class>
        <owl:oneOf rdf:parseType="Collection">
            <owl:Thing rdf:about="#Eurasia"/>
            <owl:Thing rdf:about="#Africa"/>
            <owl:Thing rdf:about="#NorthAmerica"/>
            <owl:Thing rdf:about="#SouthAmerica"/>
            <owl:Thing rdf:about="#Australia"/>
            <owl:Thing rdf:about="#Antarctica"/>
        </owl:oneOf>
    </owl:Class>
       
       
     • en compréhension (property restriction)
         <owl:Restriction>
    <owl:onProperty rdf:resource="(some property)" />
        cf. http://www.infowebml.ws/rdf-owl/onProperty.htm
    </owl:Restriction>
       
       
       

2. Sous-ensemble = Sous-classe = rdfs:subClassOf

   c'est une relation, d'où son emploi dans
       <owl:Class rdf:about="#Female">
        <rdfs:subClassOf rdf:resource="&owl;Thing"/>
    </owl:Class>
   qui se lit comme la conjonction de 2 triplets ayant le même sujet "#Female" :
   
   • "#Female" est une classe
     
   • "#Female" est sous-classe de "&owl;Thing"
     
     

3. Complémentaire = owl:complementOf

   qui est une relation ayant owl:Class comme rdfs:domain et comme rdfs:range.
   d'où son emploi à l'intérieur d'une balise <owl:Class> :
       <owl:Class>
      <owl:complementOf rdf:resource="#Woman"/>
    </owl:Class>

   

4. Intersection = owl:intersectionOf

   qui est une relation d'où son emploi à l'intérieur d'une balise <owl:Class> :
        <owl:Class>
         <owl:intersectionOf rdf:parseType="Collection">
             <rdf:Description rdf:about="#Person"/>
             <owl:Class>
                 <owl:complementOf rdf:resource="#Woman"/>
             </owl:Class>
        </owl:intersectionOf>
    </owl:Class>
N.B. Une classe donnée par son nom est introduite par
   <rdf:Description rdf:about="le nom"/>
   
   

5. Réunion = owl:unionOf

   qui est une relation d'où son emploi à l'intérieur d'une balise <owl:Class> :
       <owl:Class>
        <owl:unionOf rdf:parseType="Collection">
            <owl:Class>
                <owl:oneOf rdf:parseType="Collection">
                    <owl:Thing rdf:about="#Tosca" />
                    <owl:Thing rdf:about="#Salome" />
                </owl:oneOf>
            </owl:Class>
            <owl:Class>
                <owl:oneOf rdf:parseType="Collection">
                    <owl:Thing rdf:about="#Turandot" />
                    <owl:Thing rdf:about="#Tosca" />
                </owl:oneOf>
            </owl:Class>
        </owl:unionOf>
    </owl:Class>