Lisez-moi S.V.P. 
suivant  introduction  table des matières  index

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

7.1. Par fonction

Copyright © 2004 W3C® (MIT, ERCIM, Keio), tous droits réservés. Les règles de responsabilité, de marque commerciale, d'utilisation des documents et d'octroi de licences logicielles du W3C s'appliquent.

Sommaire

7.1. Par fonction

7.1.1. owl:AllDifferent

Full Test d'inférence positive : 001
Description : (informatif) <AllDifferent/Manifest001#test>
Utiliser AllDifferent pour déduire differentFrom
Le format N3 est informatif.
Full Prémisses : <AllDifferent/premises001> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/AllDifferent/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/AllDifferent/premises001" >

    <owl:AllDifferent> 
      <owl:distinctMembers rdf:parseType="Collection">
        <first:Person rdf:about="#Fred" />
        <first:Person rdf:about="#Wilma" />
        <first:Person rdf:about="#Barney" />
        <first:Person rdf:about="#Betty" />
      </owl:distinctMembers>
    </owl:AllDifferent> 

</rdf:RDF>

_:a rdf:type owl:AllDifferent .
first:Fred rdf:type first:Person .
first:Wilma rdf:type first:Person .
first:Barney rdf:type first:Person .
first:Betty rdf:type first:Person .
_:c rdf:first first:Betty .
_:c rdf:rest rdf:nil .
_:e rdf:first first:Barney .
_:e rdf:rest _:c .
_:g rdf:first first:Wilma .
_:g rdf:rest _:e .
_:i rdf:first first:Fred .
_:i rdf:rest _:g .
_:a owl:distinctMembers _:i .
Full Conclusions : <AllDifferent/conclusions001> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/AllDifferent/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/AllDifferent/conclusions001" >

    <rdf:Description rdf:about="premises001#Barney">
        <owl:differentFrom rdf:resource="premises001#Fred"/>
    </rdf:Description>

</rdf:RDF>
 
first:Barney owl:differentFrom first:Fred .

7.1.2. owl:AnnotationProperty

Lite Test d'inférence négative : 001
Description : (informatif) <AnnotationProperty/Manifest001#test>
La sémantique des annotations, dans la sémantique directe, distingue strictement les annotations à valeur de classe de celles à valeur d'individu.
Le format N3 est informatif.
Lite Prémisses : <AnnotationProperty/premises001> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/AnnotationProperty/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/premises001" >

  <owl:Class rdf:ID="A">
    <first:ap>
       <owl:Class rdf:ID="B"/>
    </first:ap>
  </owl:Class>
  <owl:AnnotationProperty rdf:ID="ap"/>

</rdf:RDF>
 
first:A rdf:type owl:Class .
first:B rdf:type owl:Class .
first:A first:ap first:B .
first:ap rdf:type owl:AnnotationProperty .
Lite Conclusions : <AnnotationProperty/nonconclusions001> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/AnnotationProperty/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/nonconclusions001" >

  <owl:Class rdf:about="premises001#A">
    <first:ap>
       <owl:Thing />
    </first:ap>
  </owl:Class>
  <owl:AnnotationProperty rdf:about="premises001#ap"/>

</rdf:RDF>
 
first:A rdf:type owl:Class .
_:a rdf:type owl:Thing .
first:A first:ap _:a .
first:ap rdf:type owl:AnnotationProperty .

Full Test d'inférence positive : 002
Description : (informatif) <AnnotationProperty/Manifest002#test>
Pour la sémantique compatible rdfs, la non-inférence précédente est, en fait, une inférence.
Le format N3 est informatif.
Lite Prémisses : <AnnotationProperty/premises002> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/AnnotationProperty/premises002#"
    xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/premises002" >

  <owl:Class rdf:ID="A">
    <first:ap>
       <owl:Class rdf:ID="B"/>
    </first:ap>
  </owl:Class>
  <owl:AnnotationProperty rdf:ID="ap"/>

</rdf:RDF>
 
first:A rdf:type owl:Class .
first:B rdf:type owl:Class .
first:A first:ap first:B .
first:ap rdf:type owl:AnnotationProperty .
Lite Conclusions : <AnnotationProperty/conclusions002> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/AnnotationProperty/premises002#"
    xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/conclusions002" >

  <owl:Class rdf:about="premises002#A">
    <first:ap>
       <owl:Thing />
    </first:ap>
  </owl:Class>
  <owl:AnnotationProperty rdf:about="premises002#ap"/>

</rdf:RDF>
 
first:A rdf:type owl:Class .
_:a rdf:type owl:Thing .
first:A first:ap _:a .
first:ap rdf:type owl:AnnotationProperty .

Full(EC) Document cohérent. 003
Description : (informatif) <AnnotationProperty/Manifest003#test>
Les appels d'adresse URI dans les annotations n'ont pas besoin de typage.
Le format N3 est informatif.
Lite Cohérent : <AnnotationProperty/consistent003> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/AnnotationProperty/consistent003#"
    xml:base="http://www.w3.org/2002/03owlt/AnnotationProperty/consistent003" >

  <owl:AnnotationProperty rdf:ID="ap"/>

  <owl:Class rdf:ID="A">
    <first:ap>
       <rdf:Description rdf:ID="B"/>
    </first:ap>
  </owl:Class>

</rdf:RDF>
 
first:ap rdf:type owl:AnnotationProperty .
first:A rdf:type owl:Class .
first:A first:ap first:B .

Full(EC) Document cohérent. 004
Description : (informatif) <AnnotationProperty/Manifest004#test>
La propriété AnnotationProperty, dans OWL Lite et OWL DL, peut ne pas avoir de contraintes d'image.
Le format N3 est informatif.
Full Cohérent : <AnnotationProperty/consistent004> 
<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#"
    xml:base=
"http://www.w3.org/2002/03owlt/AnnotationProperty/consistent004" >

   <owl:AnnotationProperty rdf:ID="ap">
     <rdfs:range rdf:resource=
  "http://www.w3.org/2001/XMLSchema#string"/>
   </owl:AnnotationProperty>
</rdf:RDF>
 
first:ap rdf:type owl:AnnotationProperty .
first:ap rdfs:range xsd:string .

7.1.3. owl:Class

Full OWL décrit en langage OWL. 001
Description : (informatif) <Class/Manifest001#test>
Dans OWL Full, chaque structure rdfs:Class est une structure owl:Class, en particulier rdfs:Class est une structure owl:Class.
Le format N3 est informatif.
Full Vrai : <Class/conclusions001> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/Class/conclusions001" >
   <owl:Class rdf:about="http://www.w3.org/2000/01/rdf-schema#Class">
     <owl:equivalentClass>
       <rdfs:Class rdf:about="http://www.w3.org/2002/07/owl#Class"/>
     </owl:equivalentClass>
   </owl:Class>
</rdf:RDF>
 
rdfs:Class rdf:type owl:Class .
owl:Class rdf:type rdfs:Class .
rdfs:Class owl:equivalentClass owl:Class .

Full Test d'inférence positive : 002
Description : (informatif) <Class/Manifest002#test>
Dans OWL Full, le triplet dans les prémisses est synonyme du triplet dans les conclusions.
Le format N3 est informatif.
Full Prémisses : <Class/premises002> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xml:base="http://www.w3.org/2002/03owlt/Class/premises002" >
   <rdfs:Class rdf:ID="ex"/>

</rdf:RDF>
 
first:ex rdf:type rdfs:Class .
Lite Conclusions : <Class/conclusions002> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/Class/conclusions002" >
   <owl:Class rdf:about="premises002#ex"/>

</rdf:RDF>
 
first:ex rdf:type owl:Class .

Full Test d'inférence positive : 003
Description : (informatif) <Class/Manifest003#test>
Dans OWL Full, le triplet dans les prémisses est synonyme du triplet dans les conclusions.
Le format N3 est informatif.
Lite Prémisses : <Class/premises003> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/Class/premises003" >
   <owl:Class rdf:ID="ex"/>

</rdf:RDF>
 
first:ex rdf:type owl:Class .
Full Conclusions : <Class/conclusions003> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xml:base="http://www.w3.org/2002/03owlt/Class/conclusions003" >
   <rdfs:Class rdf:about="premises003#ex"/>

</rdf:RDF>
 
first:ex rdf:type rdfs:Class .

Full(EC) Test d'inférence négative : 004
Description : (informatif) <Class/Manifest004#test>
Les annotations concernant une structure owl:Class ne sont pas apparentées à celles concernant une structure rdfs:Class.
Le format N3 est informatif.
Espaces de nommage : 
@prefix dc: <http://purl.org/dc/elements/1.0/> .
Full Prémisses : <Class/premises004> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/Class/premises004#"
    xmlns:dc='http://purl.org/dc/elements/1.0/'
    xml:base="http://www.w3.org/2002/03owlt/Class/premises004" >
   <owl:Class rdf:ID="WorkingGroup"/>
   <owl:Class rdf:about="http://www.w3.org/2000/01/rdf-schema#Class">
     <dc:creator>
        <first:WorkingGroup 
          rdf:about="http://www.w3.org/RDF/Group/Schema/members" />
     </dc:creator>
   </owl:Class>
</rdf:RDF>
 
first:WorkingGroup rdf:type owl:Class .
rdfs:Class rdf:type owl:Class .
<http://www.w3.org/RDF/Group/Schema/members> rdf:type first:WorkingGroup .
rdfs:Class dc:creator <http://www.w3.org/RDF/Group/Schema/members> .
Full Conclusions : <Class/nonconclusions004> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/Class/premises004#"
    xmlns:dc='http://purl.org/dc/elements/1.0/'
    xml:base="http://www.w3.org/2002/03owlt/Class/nonconclusions004" >
   <owl:Class rdf:about="premises004#WorkingGroup"/>
   <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Class">
     <dc:creator>
        <first:WorkingGroup  />
     </dc:creator>
   </owl:Class>
</rdf:RDF>
 
first:WorkingGroup rdf:type owl:Class .
owl:Class rdf:type owl:Class .
_:a rdf:type first:WorkingGroup .
owl:Class dc:creator _:a .

DL Full Test d'inférence négative : 005
Description : (informatif) <Class/Manifest005#test>
Ce test montre une possible mauvaise application des règles de compréhension OWL Full. Il montre aussi les triplets de type optionnels sur une structure owl:Class.
Le format N3 est informatif.
Lite Prémisses : <Class/premises005> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/Class/premises005" >
  <owl:Thing rdf:ID="x"/>
</rdf:RDF>
 
first:x rdf:type owl:Thing .
DL Conclusions : <Class/nonconclusions005> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/Class/nonconclusions005" >

  <owl:Class rdf:ID="c"/>
  <rdf:Description rdf:about="premises005#x">
    <rdf:type>
      <rdf:Description>
        <rdf:type 
    rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
        <rdf:type 
    rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
        <owl:unionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="#c" />
          <owl:Class>
            <owl:complementOf rdf:resource="#c"/>
          </owl:Class>
        </owl:unionOf>
      </rdf:Description>
    </rdf:type>
  </rdf:Description>
               
</rdf:RDF>
 
second:c rdf:type owl:Class .
_:a rdf:type owl:Class .
_:a rdf:type rdfs:Class .
_:c rdf:type owl:Class .
_:c owl:complementOf second:c .
_:e rdf:first _:c .
_:e rdf:rest rdf:nil .
_:g rdf:first second:c .
_:g rdf:rest _:e .
_:a owl:unionOf _:g .
first:x rdf:type _:a .

Full Test d'inférence positive : 006
Description : (informatif) <Class/Manifest006#test>
Ce test montre une application correcte des règles de compréhensions OWL Full. Il montre aussi que l'utilisation d'une structure rdfs:Class au lieu de owl:Class peut pousser un fichier hors de OWL DL.
Le format N3 est informatif.
Lite Prémisses : <Class/premises006> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/Class/premises006" >
  <owl:Thing rdf:ID="x"/>
  <owl:Class rdf:ID="c"/>
</rdf:RDF>
 
first:x rdf:type owl:Thing .
first:c rdf:type owl:Class .
Full Conclusions : <Class/conclusions006> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/Class/conclusions006" >

  <rdf:Description rdf:about="premises006#x">
    <rdf:type>
      <owl:Class>
        <owl:unionOf rdf:parseType="Collection">
          <owl:Class rdf:about="premises006#c" />
          <rdfs:Class>
            <owl:complementOf rdf:resource="premises006#c"/>
          </rdfs:Class>
        </owl:unionOf>
      </owl:Class>
    </rdf:type>
  </rdf:Description>
               
</rdf:RDF>
 
_:a rdf:type owl:Class .
first:c rdf:type owl:Class .
_:c rdf:type rdfs:Class .
_:c owl:complementOf first:c .
_:e rdf:first _:c .
_:e rdf:rest rdf:nil .
_:g rdf:first first:c .
_:g rdf:rest _:e .
_:a owl:unionOf _:g .
first:x rdf:type _:a .

7.1.4. owl:DatatypeProperty

Full(EC) Document cohérent. 001
Description : (informatif) <DatatypeProperty/Manifest001#test>
La propriété DatatypeProperty peut servir à relier des littéraux typés à d'autres littéraux typés dans OWL Full.
Le format N3 est informatif.
Full Cohérent : <DatatypeProperty/consistent001> 
<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/DatatypeProperty/consistent001#"
    xml:base="http://www.w3.org/2002/03owlt/DatatypeProperty/consistent001" >
  <owl:DatatypeProperty rdf:ID="convertedAbsoluteValue">
    <rdfs:domain rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
    <rdfs:range rdf:resource=
        "http://www.w3.org/2001/XMLSchema#nonNegativeInteger" />
  </owl:DatatypeProperty>
  <rdf:Description>
     <owl:sameAs rdf:datatype=
      "http://www.w3.org/2001/XMLSchema#integer"
     >-3</owl:sameAs>
     <first:convertedAbsoluteValue rdf:datatype=
     "http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
     >3</first:convertedAbsoluteValue>
  </rdf:Description>
</rdf:RDF>
 
first:convertedAbsoluteValue rdf:type owl:DatatypeProperty .
first:convertedAbsoluteValue rdfs:domain xsd:integer .
first:convertedAbsoluteValue rdfs:range xsd:nonNegativeInteger .
_:a owl:sameAs "-3"^^xsd:integer  .
_:a first:convertedAbsoluteValue "3"^^xsd:nonNegativeInteger  .

7.1.5. owl:FunctionalProperty

Full Test d'inférence positive : 001
Description : (informatif) <FunctionalProperty/Manifest001#test>
Si prop appartient à une structure owl:FunctionalProperty et que subject dénote une ressource qui est sujet de deux triplets prop, alors les objets de ces triplets ont la même dénotation.
Le format N3 est informatif.
Full Prémisses : <FunctionalProperty/premises001> 
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xmlns:first="http://www.w3.org/2002/03owlt/FunctionalProperty/premises001#" 
  xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises001" >
    <owl:FunctionalProperty rdf:ID="prop"/>
    <rdf:Description rdf:ID="subject">
      <first:prop rdf:resource="#object1" />
      <first:prop rdf:resource="#object2" />
    </rdf:Description>
</rdf:RDF>
 
first:prop rdf:type owl:FunctionalProperty .
first:subject first:prop first:object1 .
first:subject first:prop first:object2 .
Full Conclusions : <FunctionalProperty/conclusions001> 
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions001" >
    <rdf:Description rdf:about="premises001#object1">
      <owl:sameAs rdf:resource="premises001#object2" />
    </rdf:Description>
</rdf:RDF>
 
first:object1 owl:sameAs first:object2 .

Full Test d'inférence positive : 002
Description : (informatif) <FunctionalProperty/Manifest002#test>
Si prop appartient à la structure owl:FunctionalProperty et que subject dénote une ressource qui est le sujet de deux triplets prop, alors ces triplets ont la même dénotation. Donc toute assertion faite avec l'un d'eux peut s'appliquer à l'autre.
Le format N3 est informatif.
Espaces de nommage : 
@prefix eg: <http://www.example.org/> .
Full Prémisses : <FunctionalProperty/premises002> 
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xmlns:eg ="http://www.example.org/"
  xmlns:first="http://www.w3.org/2002/03owlt/FunctionalProperty/premises002#" 
  xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises002" >
    <owl:FunctionalProperty rdf:ID="prop"/>
    <rdf:Description rdf:ID="subject">
      <first:prop>
          <rdf:Description rdf:ID="object1">
            <eg:prop2>value</eg:prop2>
          </rdf:Description>
      </first:prop>
      <first:prop rdf:resource="#object2" />
    </rdf:Description>
</rdf:RDF>
 
first:prop rdf:type owl:FunctionalProperty .
first:object1 eg:prop2 "value" .
first:subject first:prop first:object1 .
first:subject first:prop first:object2 .
Full Conclusions : <FunctionalProperty/conclusions002> 
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:eg ="http://www.example.org/"
  xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions002" >
    <rdf:Description rdf:about="premises002#object2" >
        <eg:prop2>value</eg:prop2>
    </rdf:Description>
</rdf:RDF>
 
first:object2 eg:prop2 "value" .

Full Test d'inférence positive : 003
Description : (informatif) <FunctionalProperty/Manifest003#test>
Si prop est du type owl:FunctionalProperty, alors sa réciproque est du type owl:InverseFunctionalProperty.
Le format N3 est informatif.
Full Prémisses : <FunctionalProperty/premises003> 
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises003" >
    <owl:FunctionalProperty rdf:ID="prop">
      <owl:inverseOf rdf:resource="#inv"/>
    </owl:FunctionalProperty>
</rdf:RDF>
 
first:prop rdf:type owl:FunctionalProperty .
first:prop owl:inverseOf first:inv .
Lite Conclusions : <FunctionalProperty/conclusions003> 
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003" >
    <owl:InverseFunctionalProperty rdf:about="premises003#inv"/>
</rdf:RDF>
 
first:inv rdf:type owl:InverseFunctionalProperty .

Full Test d'inférence positive : 004
Description : (informatif) <FunctionalProperty/Manifest004#test>
Si l'image de prop est un singleton, alors cette propriété est forcément fonctionnelle, (c'est-à-dire, chaque membre de son domaine a une seule valeur) et elle est donc du type owl:FunctionalProperty.
Le format N3 est informatif.
Full Prémisses : <FunctionalProperty/premises004> 
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"  
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises004" >
    <owl:ObjectProperty rdf:ID="prop">
      <rdfs:range rdf:resource="#Singleton"/>
    </owl:ObjectProperty>
    <rdfs:Class rdf:ID="Singleton">
      <owl:oneOf rdf:parseType="Collection">
          <rdf:Description/>
      </owl:oneOf>
    </rdfs:Class>
</rdf:RDF>
 
first:prop rdf:type owl:ObjectProperty .
first:prop rdfs:range first:Singleton .
first:Singleton rdf:type rdfs:Class .
_:a rdf:first _:b .
_:a rdf:rest rdf:nil .
first:Singleton owl:oneOf _:a .
Full Conclusions : <FunctionalProperty/conclusions004> 
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions004" >
    <owl:FunctionalProperty rdf:about="premises004#prop"/>
</rdf:RDF>
 
first:prop rdf:type owl:FunctionalProperty .

Full Test d'inférence positive : 005
Description : (informatif) <FunctionalProperty/Manifest005#test>
Si prop est du type owl:FunctionalProperty, alors un individu OWL a une valeur au plus pour prop.
Le format N3 est informatif.
Espaces de nommage : 
@prefix eg: <http://www.example.org/> .
Full Prémisses : <FunctionalProperty/premises005> 
<rdf:RDF
    xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/premises005"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xmlns:eg ="http://www.example.org/">
    <owl:FunctionalProperty rdf:about="http://www.example.org/foo#prop" />
    <owl:Thing rdf:about="http://www.example.org/foo#object" />
</rdf:RDF>
 
eg:foo#prop rdf:type owl:FunctionalProperty .
eg:foo#object rdf:type owl:Thing .
Full Conclusions : <FunctionalProperty/conclusions005> 
<rdf:RDF
    xml:base="http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions005"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xmlns:eg ="http://www.example.org/">
    <owl:Thing rdf:about="http://www.example.org/foo#object">
      <rdf:type>
        <owl:Restriction>
   <owl:onProperty>
     <owl:FunctionalProperty rdf:about="http://www.example.org/foo#prop" />
   </owl:onProperty>
   <owl:maxCardinality 
      rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
      >1</owl:maxCardinality>
        </owl:Restriction>
      </rdf:type>
    </owl:Thing>
</rdf:RDF>
 
eg:foo#object rdf:type owl:Thing .
_:a rdf:type owl:Restriction .
eg:foo#prop rdf:type owl:FunctionalProperty .
_:a owl:onProperty eg:foo#prop .
_:a owl:maxCardinality "1"^^xsd:nonNegativeInteger  .
eg:foo#object rdf:type _:a .

7.1.6. owl:InverseFunctionalProperty

Full Test d'inférence positive : 001
Description : (informatif) <InverseFunctionalProperty/Manifest001#test>
Si prop est du type owl:InverseFunctionalProperty et object dénote une ressource qui est l'objet de deux triplets prop, alors les sujets de ces triplets ont la même dénotation.
Le format N3 est informatif.
Full Prémisses : <InverseFunctionalProperty/premises001> 
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xmlns:first="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#" 
  xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001" >
    <owl:InverseFunctionalProperty rdf:ID="prop"/>
    <rdf:Description rdf:ID="subject1">
      <first:prop rdf:resource="#object" />
    </rdf:Description>
    <rdf:Description rdf:ID="subject2">
      <first:prop rdf:resource="#object" />
    </rdf:Description>
</rdf:RDF>
 
first:prop rdf:type owl:InverseFunctionalProperty .
first:subject1 first:prop first:object .
first:subject2 first:prop first:object .
Full Conclusions : <InverseFunctionalProperty/conclusions001> 
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions001" >
    <rdf:Description rdf:about="premises001#subject1">
      <owl:sameAs rdf:resource="premises001#subject2" />
    </rdf:Description>
</rdf:RDF>
 
first:subject1 owl:sameAs first:subject2 .

Full Test d'inférence positive : 002
Description : (informatif) <InverseFunctionalProperty/Manifest002#test>
Si prop est du type owl:InverseFunctionalProperty et object dénote une ressource qui est l'objet de deux triplets prop, alors les sujets de ces triplets ont la même dénotation. Donc toute assertion faite avec l'un deux peut s'appliquer à l'autre.
Le format N3 est informatif.
Espaces de nommage : 
@prefix eg: <http://www.example.org/> .
Full Prémisses : <InverseFunctionalProperty/premises002> 
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xmlns:eg ="http://www.example.org/"
  xmlns:first="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002#" 
  xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002" >
    <owl:InverseFunctionalProperty rdf:ID="prop"/>
    <rdf:Description rdf:ID="subject1" >
      <first:prop rdf:resource="#object" />
      <eg:prop2>value</eg:prop2>
    </rdf:Description>
    <rdf:Description rdf:ID="subject2" >
      <first:prop rdf:resource="#object" />
    </rdf:Description>
</rdf:RDF>
 
first:prop rdf:type owl:InverseFunctionalProperty .
first:subject1 first:prop first:object .
first:subject1 eg:prop2 "value" .
first:subject2 first:prop first:object .
Full Conclusions : <InverseFunctionalProperty/conclusions002> 
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:eg ="http://www.example.org/"
  xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions002" >
    <rdf:Description rdf:about="premises002#subject2" >
      <eg:prop2>value</eg:prop2>
    </rdf:Description>
</rdf:RDF>
 
first:subject2 eg:prop2 "value" .

Full Test d'inférence positive : 003
Description : (informatif) <InverseFunctionalProperty/Manifest003#test>
Si prop est du type owl:InverseFunctionalProperty, alors sa réciproque est du type owl:FunctionalPropertyIf.
Le format N3 est informatif.
Full Prémisses : <InverseFunctionalProperty/premises003> 
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003" >
    <owl:InverseFunctionalProperty rdf:ID="prop">
      <owl:inverseOf rdf:resource="#inv"/>
    </owl:InverseFunctionalProperty>
</rdf:RDF>
 
first:prop rdf:type owl:InverseFunctionalProperty .
first:prop owl:inverseOf first:inv .
Full Conclusions : <InverseFunctionalProperty/conclusions003> 
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions003" >
    <owl:FunctionalProperty rdf:about="premises003#inv"/>
</rdf:RDF>
 
first:inv rdf:type owl:FunctionalProperty .

Full Test d'inférence positive : 004
Description : (informatif) <InverseFunctionalProperty/Manifest004#test>
Si le domaine de prop est un singleton, alors cette propriété est forcément fonctionnelle réciproque (c'est-à-dire, chaque membre de son image est la valeur d'un seul élément) et elle est donc du type owl:InverseFunctionalProperty.
Le format N3 est informatif.
Full Prémisses : <InverseFunctionalProperty/premises004> 
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"  
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises004" >
    <owl:ObjectProperty rdf:ID="prop">
      <rdfs:domain rdf:resource="#Singleton"/>
    </owl:ObjectProperty>
    <rdfs:Class rdf:ID="Singleton">
      <owl:oneOf rdf:parseType="Collection">
          <rdf:Description/>
      </owl:oneOf>
    </rdfs:Class>
</rdf:RDF>
 
first:prop rdf:type owl:ObjectProperty .
first:prop rdfs:domain first:Singleton .
first:Singleton rdf:type rdfs:Class .
_:a rdf:first _:b .
_:a rdf:rest rdf:nil .
first:Singleton owl:oneOf _:a .
Lite Conclusions : <InverseFunctionalProperty/conclusions004> 
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions004" >
    <owl:InverseFunctionalProperty rdf:about="premises004#prop"/>
</rdf:RDF>
 
first:prop rdf:type owl:InverseFunctionalProperty .

7.1.7. owl:Nothing

Lite Full Document incohérent. 001
Description : (informatif) <Nothing/Manifest001#test>
Le triplet fait valoir quelque chose de type owl:Nothing, c'est néanmoins la classe vide.
Le format N3 est informatif.
Lite Incohérent : <Nothing/inconsistent001> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/Nothing/inconsistent001" >

  <owl:Nothing/>

</rdf:RDF>
 
_:a rdf:type owl:Nothing .

DL Full OWL décrit en langage OWL. 002
Description : (informatif) <Nothing/Manifest002#test>
Une structure owl:Class vide a la même extension de classe que la structure owl:Nothing.
Le format N3 est informatif.
DL Vrai : <Nothing/conclusions002> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xml:base='http://www.w3.org/2002/03owlt/Nothing/conclusions002'
    xmlns:owl="http://www.w3.org/2002/07/owl#">

   <owl:Class>
      <owl:oneOf rdf:parseType="Collection"/>
      <owl:equivalentClass  rdf:resource="http://www.w3.org/2002/07/owl#Nothing" />
   </owl:Class>

</rdf:RDF>
 
_:a rdf:type owl:Class .
_:a owl:oneOf rdf:nil .
_:a owl:equivalentClass owl:Nothing .

7.1.8. owl:Ontology

Lite Full Test d'inférence positive : 001
Description : (informatif) <Ontology/Manifest001#test>
C'est une variation du test equivalentClass-001 montrant l'utilisation de triplets owl:Ontology dans les prémisses et les conclusions.
Le format N3 est informatif.
Lite Prémisses : <Ontology/premises001> 
<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/Ontology/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/Ontology/premises001" >
   <owl:Ontology rdf:about="" />
   <owl:Class rdf:ID="Car">
     <owl:equivalentClass>
       <owl:Class rdf:ID="Automobile"/>
     </owl:equivalentClass>
  </owl:Class>
  <first:Car rdf:ID="car">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
  </first:Car>
  <first:Automobile rdf:ID="auto">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
  </first:Automobile>
</rdf:RDF>
 
<Ontology/premises001> rdf:type owl:Ontology .
first:Car rdf:type owl:Class .
first:Automobile rdf:type owl:Class .
first:Car owl:equivalentClass first:Automobile .
first:car rdf:type first:Car .
first:car rdf:type owl:Thing .
first:auto rdf:type first:Automobile .
first:auto rdf:type owl:Thing .
Lite Conclusions : <Ontology/conclusions001> 
<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/Ontology/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/Ontology/conclusions001" >
  <owl:Ontology />
  <first:Car rdf:about="premises001#auto">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
  </first:Car>
  <first:Automobile rdf:about="premises001#car">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
  </first:Automobile>
   <owl:Class rdf:about="premises001#Car"/>
   <owl:Class rdf:about="premises001#Automobile"/>
</rdf:RDF>
 
_:a rdf:type owl:Ontology .
first:auto rdf:type first:Car .
first:auto rdf:type owl:Thing .
first:car rdf:type first:Automobile .
first:car rdf:type owl:Thing .
first:Car rdf:type owl:Class .
first:Automobile rdf:type owl:Class .

Lite Full Test d'inférence négative : 003
Description : (informatif) <Ontology/Manifest003#test>
C'est une variation du test equivalentClass-001 montrant l'utilisation de triplets owl:Ontology seulement dans les conclusions.
Le format N3 est informatif.
Lite Prémisses : <Ontology/premises003> 
<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/Ontology/premises003#"
    xml:base="http://www.w3.org/2002/03owlt/Ontology/premises003" >
   <owl:Class rdf:ID="Car">
     <owl:equivalentClass>
       <owl:Class rdf:ID="Automobile"/>
     </owl:equivalentClass>
  </owl:Class>
  <first:Car rdf:ID="car">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
  </first:Car>
  <first:Automobile rdf:ID="auto">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
  </first:Automobile>
</rdf:RDF>
 
first:Car rdf:type owl:Class .
first:Automobile rdf:type owl:Class .
first:Car owl:equivalentClass first:Automobile .
first:car rdf:type first:Car .
first:car rdf:type owl:Thing .
first:auto rdf:type first:Automobile .
first:auto rdf:type owl:Thing .
Lite Conclusions : <Ontology/nonconclusions003> 
<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/Ontology/premises003#"
    xml:base="http://www.w3.org/2002/03owlt/Ontology/nonconclusions003" >
  <owl:Ontology />
  <first:Car rdf:about="premises003#auto">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
  </first:Car>
  <first:Automobile rdf:about="premises003#car">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
  </first:Automobile>
   <owl:Class rdf:about="premises003#Car"/>
   <owl:Class rdf:about="premises003#Automobile"/>
</rdf:RDF>
 
_:a rdf:type owl:Ontology .
first:auto rdf:type first:Car .
first:auto rdf:type owl:Thing .
first:car rdf:type first:Automobile .
first:car rdf:type owl:Thing .
first:Car rdf:type owl:Class .
first:Automobile rdf:type owl:Class .

Lite Full Test d'inférence positive : 004
Description : (informatif) <Ontology/Manifest004#test>
C'est une variation du test equivalentClass-001 montrant l'utilisation de triplets owl:Ontology dans les prémisses.
Le format N3 est informatif.
Lite Prémisses : <Ontology/premises004> 
<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/Ontology/premises004#"
    xml:base="http://www.w3.org/2002/03owlt/Ontology/premises004" >
   <owl:Ontology rdf:about="" />
   <owl:Ontology rdf:about="http://www.example.org/" />

   <owl:Class rdf:ID="Car">
     <owl:equivalentClass>
       <owl:Class rdf:ID="Automobile"/>
     </owl:equivalentClass>
  </owl:Class>
  <first:Car rdf:ID="car">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
  </first:Car>
  <first:Automobile rdf:ID="auto">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
  </first:Automobile>
</rdf:RDF>
 
<Ontology/premises004> rdf:type owl:Ontology .
<http://www.example.org/> rdf:type owl:Ontology .
first:Car rdf:type owl:Class .
first:Automobile rdf:type owl:Class .
first:Car owl:equivalentClass first:Automobile .
first:car rdf:type first:Car .
first:car rdf:type owl:Thing .
first:auto rdf:type first:Automobile .
first:auto rdf:type owl:Thing .
Lite Conclusions : <Ontology/conclusions004> 
<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/Ontology/premises004#"
    xml:base="http://www.w3.org/2002/03owlt/Ontology/conclusions004" >
  <first:Car rdf:about="premises004#auto">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
  </first:Car>
  <first:Automobile rdf:about="premises004#car">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
  </first:Automobile>
   <owl:Class rdf:about="premises004#Car"/>
   <owl:Class rdf:about="premises004#Automobile"/>
</rdf:RDF>
 
first:auto rdf:type first:Car .
first:auto rdf:type owl:Thing .
first:car rdf:type first:Automobile .
first:car rdf:type owl:Thing .
first:Car rdf:type owl:Class .
first:Automobile rdf:type owl:Class .

7.1.9. owl:Restriction

Lite Full Document incohérent. 001
Description : (informatif) <Restriction/Manifest001#test>
Ce test montre la syntaxe pour utiliser deux fois la même restriction dans OWL Lite.
Le format N3 est informatif.
Lite Incohérent : <Restriction/inconsistent001> 
<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/Restriction/inconsistent001#"
    xml:base="http://www.w3.org/2002/03owlt/Restriction/inconsistent001" >
   <owl:ObjectProperty rdf:ID="op"/>
   <rdf:Description rdf:ID="a">
     <rdf:type>
        <owl:Restriction>
           <owl:onProperty rdf:resource="#op"/>
           <owl:someValuesFrom rdf:resource=
     "http://www.w3.org/2002/07/owl#Nothing" />
        </owl:Restriction>
     </rdf:type>
   </rdf:Description>
   <rdf:Description rdf:ID="b">
     <rdf:type>
        <owl:Restriction>
           <owl:onProperty rdf:resource="#op"/>
           <owl:someValuesFrom rdf:resource=
     "http://www.w3.org/2002/07/owl#Nothing" />
        </owl:Restriction>
     </rdf:type>
   </rdf:Description>
               


</rdf:RDF>
 
first:op rdf:type owl:ObjectProperty .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:op .
_:a owl:someValuesFrom owl:Nothing .
first:a rdf:type _:a .
_:c rdf:type owl:Restriction .
_:c owl:onProperty first:op .
_:c owl:someValuesFrom owl:Nothing .
first:b rdf:type _:c .

Full Document incohérent. 002
Description : (informatif) <Restriction/Manifest002#test>
Ce test montre la syntaxe interdite dans OWL Lite ou OWL DL pour utiliser deux fois la même restriction.
Le format N3 est informatif.
Full Incohérent : <Restriction/inconsistent002> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/Restriction/inconsistent002" >
   <owl:ObjectProperty rdf:ID="op"/>
   <rdf:Description rdf:ID="a">
     <rdf:type>
        <owl:Restriction rdf:nodeID="r">
           <owl:onProperty rdf:resource="#op"/>
           <owl:someValuesFrom rdf:resource=
     "http://www.w3.org/2002/07/owl#Nothing" />
        </owl:Restriction>
     </rdf:type>
   </rdf:Description>
   <rdf:Description rdf:ID="b">
     <rdf:type rdf:nodeID="r"/>
   </rdf:Description>
               
</rdf:RDF>
 
first:op rdf:type owl:ObjectProperty .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:op .
_:a owl:someValuesFrom owl:Nothing .
first:a rdf:type _:a .
first:b rdf:type _:a .

Full(EC) Document cohérent. 003
Description : (informatif) <Restriction/Manifest003#test>
Ce test montre la syntaxe interdite dans OWL Lite ou OWL DL pour utiliser deux fois la même restriction.
Les types de données à gérer ou non : xsd:byte
Le format N3 est informatif.
Full Cohérent : <Restriction/consistent003> 
<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/Restriction/consistent003#"
    xml:base="http://www.w3.org/2002/03owlt/Restriction/consistent003" >
   <owl:DatatypeProperty rdf:ID="dp"/>
   <owl:Class rdf:ID="C">
     <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="superC"/>
        <owl:Restriction rdf:nodeID="r">
           <owl:onProperty rdf:resource="#dp"/>
           <owl:someValuesFrom rdf:resource=
     "http://www.w3.org/2001/XMLSchema#byte" />
        </owl:Restriction>
     </owl:intersectionOf>
   </owl:Class>
   <owl:Class rdf:ID="D">
     <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="superD"/>
        <rdf:Description rdf:nodeID="r"/>
     </owl:intersectionOf>
   </owl:Class>

</rdf:RDF>
 
first:dp rdf:type owl:DatatypeProperty .
first:C rdf:type owl:Class .
first:superC rdf:type owl:Class .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:dp .
_:a owl:someValuesFrom xsd:byte .
_:c rdf:first _:a .
_:c rdf:rest rdf:nil .
_:e rdf:first first:superC .
_:e rdf:rest _:c .
first:C owl:intersectionOf _:e .
first:D rdf:type owl:Class .
first:superD rdf:type owl:Class .
_:g rdf:first _:a .
_:g rdf:rest rdf:nil .
_:i rdf:first first:superD .
_:i rdf:rest _:g .
first:D owl:intersectionOf _:i .

Lite Full Document cohérent. 004
Description : (informatif) <Restriction/Manifest004#test>
Ce test montre la syntaxe OWL Lite afin d'utiliser deux restrictions équivalentes.
Les types de données à gérer ou non : xsd:byte
Le format N3 est informatif.
Lite Cohérent : <Restriction/consistent004> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/Restriction/consistent004" >
   <owl:DatatypeProperty rdf:ID="dp"/>
   <owl:Class rdf:ID="C">
     <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="superC"/>
        <owl:Restriction>
           <owl:onProperty rdf:resource="#dp"/>
           <owl:someValuesFrom rdf:resource=
     "http://www.w3.org/2001/XMLSchema#byte" />
        </owl:Restriction>
     </owl:intersectionOf>
   </owl:Class>
   <owl:Class rdf:ID="D">
     <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="superD"/>
        <owl:Restriction>
           <owl:onProperty rdf:resource="#dp"/>
           <owl:someValuesFrom rdf:resource=
     "http://www.w3.org/2001/XMLSchema#byte" />
        </owl:Restriction>
     </owl:intersectionOf>
   </owl:Class>

</rdf:RDF>
 
first:dp rdf:type owl:DatatypeProperty .
first:C rdf:type owl:Class .
first:superC rdf:type owl:Class .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:dp .
_:a owl:someValuesFrom xsd:byte .
_:c rdf:first _:a .
_:c rdf:rest rdf:nil .
_:e rdf:first first:superC .
_:e rdf:rest _:c .
first:C owl:intersectionOf _:e .
first:D rdf:type owl:Class .
first:superD rdf:type owl:Class .
_:g rdf:type owl:Restriction .
_:g owl:onProperty first:dp .
_:g owl:someValuesFrom xsd:byte .
_:i rdf:first _:g .
_:i rdf:rest rdf:nil .
_:k rdf:first first:superD .
_:k rdf:rest _:i .
first:D owl:intersectionOf _:k .

Lite Full Test d'inférence négative : 005
Description : (informatif) <Restriction/Manifest005#test>
Ce test montre une possible mauvaise application des règles de compréhension OWL Full. Il montre aussi les triplets de type optionnels sur une structure owl:Restriction.
Le format N3 est informatif.
Lite Prémisses : <Restriction/premises005> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/Restriction/premises005" >
  <owl:Thing rdf:ID="x">
    <rdf:type>
      <owl:Restriction>
        <rdf:type 
    rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
        <owl:onProperty>
           <owl:ObjectProperty rdf:about="premises005#p" />
        </owl:onProperty>
        <owl:maxCardinality rdf:datatype=
  "http://www.w3.org/2001/XMLSchema#int"
        >0</owl:maxCardinality>
      </owl:Restriction>
    </rdf:type>
  </owl:Thing>
  <owl:ObjectProperty rdf:ID="p" />
</rdf:RDF>
 
first:x rdf:type owl:Thing .
_:a rdf:type owl:Restriction .
_:a rdf:type rdfs:Class .
first:p rdf:type owl:ObjectProperty .
_:a owl:onProperty first:p .
_:a owl:maxCardinality "0"^^xsd:int  .
first:x rdf:type _:a .
first:p rdf:type owl:ObjectProperty .
Lite Conclusions : <Restriction/nonconclusions005> 
<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/Restriction/premises005#"
    xmlns:second="http://www.w3.org/2002/03owlt/Restriction/nonconclusions005#"
    xml:base="http://www.w3.org/2002/03owlt/Restriction/nonconclusions005" >

  <rdf:Description rdf:about="premises005#x">
    <rdf:type>
      <owl:Restriction>
        <rdf:type 
    rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
        <rdf:type 
    rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
        <owl:onProperty>
           <owl:ObjectProperty rdf:about="premises005#p" />
        </owl:onProperty>
        <owl:allValuesFrom>
          <owl:Class rdf:ID="c">
            <rdf:type 
    rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdf:type>
  </rdf:Description>
               
</rdf:RDF>
 
_:a rdf:type owl:Restriction .
_:a rdf:type rdfs:Class .
_:a rdf:type owl:Class .
first:p rdf:type owl:ObjectProperty .
_:a owl:onProperty first:p .
second:c rdf:type owl:Class .
second:c rdf:type rdfs:Class .
_:a owl:allValuesFrom second:c .
first:x rdf:type _:a .

Full Test d'inférence positive : 006
Description : (informatif) <Restriction/Manifest006#test>
Ce test montre une application correcte des règles de compréhension OWL Full. Il montre aussi que les triplets de type optionnels sur une structure owl:Restriction ne remplacent pas ceux qui sont obligatoires.
Le format N3 est informatif.
Lite Prémisses : <Restriction/premises006> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/Restriction/premises006" >
  <owl:Thing rdf:ID="x"/>
  <owl:ObjectProperty rdf:ID="p" />
</rdf:RDF>
 
first:x rdf:type owl:Thing .
first:p rdf:type owl:ObjectProperty .
Full Conclusions : <Restriction/conclusions006> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/Restriction/conclusions006" >

  <rdf:Description rdf:about="premises006#x">
    <rdf:type>
      <rdf:Description>
        <rdf:type 
    rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
        <owl:unionOf rdf:parseType="Collection">
          <owl:Restriction>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="premises006#p" />
            </owl:onProperty>
            <owl:someValuesFrom rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
          </owl:Restriction>
          <owl:Class>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="premises006#p" />
            </owl:onProperty>
            <owl:maxCardinality rdf:datatype=
  "http://www.w3.org/2001/XMLSchema#int"
            >0</owl:maxCardinality>
          </owl:Class>
        </owl:unionOf>
      </rdf:Description>
    </rdf:type>
  </rdf:Description>
               
</rdf:RDF>
 
_:a rdf:type owl:Class .
_:c rdf:type owl:Restriction .
first:p rdf:type owl:ObjectProperty .
_:c owl:onProperty first:p .
_:c owl:someValuesFrom owl:Thing .
_:e rdf:type owl:Class .
first:p rdf:type owl:ObjectProperty .
_:e owl:onProperty first:p .
_:e owl:maxCardinality "0"^^xsd:int  .
_:g rdf:first _:e .
_:g rdf:rest rdf:nil .
_:i rdf:first _:c .
_:i rdf:rest _:g .
_:a owl:unionOf _:i .
first:x rdf:type _:a .

7.1.10. owl:SymmetricProperty

Full Test d'inférence positive : 001
Description : (informatif) <SymmetricProperty/Manifest001#test>
Une illustration simple des propriétés symétriques.
Le format N3 est informatif.
Full Prémisses : <SymmetricProperty/premises001> 
<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/SymmetricProperty/premises001#"
    xmlns:second="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001#"
    xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/premises001" >

    <rdf:Description rdf:about="premises001#Ghent">
        <first:path rdf:resource="premises001#Antwerp"/>
    </rdf:Description>

    <owl:SymmetricProperty rdf:about="premises001#path"/>

</rdf:RDF>
 
first:Ghent first:path first:Antwerp .
first:path rdf:type owl:SymmetricProperty .
Full Conclusions : <SymmetricProperty/conclusions001> 
<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/SymmetricProperty/premises001#"
    xmlns:second="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001#"
    xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions001" >

    <rdf:Description rdf:about="premises001#Antwerp">
        <first:path rdf:resource="premises001#Ghent"/>
    </rdf:Description>

</rdf:RDF>
 
first:Antwerp first:path first:Ghent .

DL Full Test d'inférence positive : 002
Description : (informatif) <SymmetricProperty/Manifest002#test>
Un test illustrant la sémantique extensionnelle de la structure owl:SymmetricProperty.
Le format N3 est informatif.
DL Prémisses : <SymmetricProperty/premises002> 
<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/SymmetricProperty/premises002#"
    xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/premises002" >

    <owl:InverseFunctionalProperty rdf:about="#equalityOnA">
      <rdfs:range>
         <owl:Class rdf:ID="A">
           <owl:oneOf rdf:parseType="Collection">
              <owl:Thing rdf:ID="a"/>
              <owl:Thing rdf:ID="b"/>
           </owl:oneOf>
         </owl:Class>
      </rdfs:range>
    </owl:InverseFunctionalProperty>

    <owl:Thing rdf:about="#a">
      <first:equalityOnA rdf:resource="#a"/>
    </owl:Thing>
    <owl:Thing rdf:about="#b">
      <first:equalityOnA rdf:resource="#b"/>
    </owl:Thing>

    <owl:Thing rdf:ID="c"/>

</rdf:RDF>
 
first:equalityOnA rdf:type owl:InverseFunctionalProperty .
first:A rdf:type owl:Class .
first:a rdf:type owl:Thing .
first:b rdf:type owl:Thing .
_:a rdf:first first:b .
_:a rdf:rest rdf:nil .
_:c rdf:first first:a .
_:c rdf:rest _:a .
first:A owl:oneOf _:c .
first:equalityOnA rdfs:range first:A .
first:a rdf:type owl:Thing .
first:a first:equalityOnA first:a .
first:b rdf:type owl:Thing .
first:b first:equalityOnA first:b .
first:c rdf:type owl:Thing .
DL Conclusions : <SymmetricProperty/conclusions002> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/SymmetricProperty/premises002#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions002" >

   <owl:SymmetricProperty rdf:about="premises002#equalityOnA">
     <rdfs:domain>
        <owl:Class>
          <owl:oneOf rdf:parseType="Collection">
             <owl:Thing rdf:about="premises002#a"/>
             <owl:Thing rdf:about="premises002#b"/>
             <owl:Thing rdf:about="premises002#c"/>
          </owl:oneOf>
        </owl:Class>
     </rdfs:domain>
   </owl:SymmetricProperty>

   <owl:Thing rdf:about="premises002#a">
     <first:equalityOnA rdf:resource="premises002#a"/>
   </owl:Thing>

</rdf:RDF>
 
first:equalityOnA rdf:type owl:SymmetricProperty .
_:a rdf:type owl:Class .
first:a rdf:type owl:Thing .
first:b rdf:type owl:Thing .
first:c rdf:type owl:Thing .
_:c rdf:first first:c .
_:c rdf:rest rdf:nil .
_:e rdf:first first:b .
_:e rdf:rest _:c .
_:g rdf:first first:a .
_:g rdf:rest _:e .
_:a owl:oneOf _:g .
first:equalityOnA rdfs:domain _:a .
first:a rdf:type owl:Thing .
first:a first:equalityOnA first:a .

Lite Full Test d'inférence positive : 003
Description : (informatif) <SymmetricProperty/Manifest003#test>
Une version OWL Lite du test 001.
Le format N3 est informatif.
Lite Prémisses : <SymmetricProperty/premises003> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/SymmetricProperty/premises003#"
    xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/premises003" >

    <owl:Thing rdf:about="premises003#Ghent">
        <first:path>
           <owl:Thing rdf:about="premises003#Antwerp"/>
        </first:path>
    </owl:Thing>

    <owl:SymmetricProperty rdf:about="premises003#path"/>

</rdf:RDF>
 
first:Ghent rdf:type owl:Thing .
first:Antwerp rdf:type owl:Thing .
first:Ghent first:path first:Antwerp .
first:path rdf:type owl:SymmetricProperty .
Lite Conclusions : <SymmetricProperty/conclusions003> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/SymmetricProperty/premises003#"
    xml:base="http://www.w3.org/2002/03owlt/SymmetricProperty/conclusions003" >

    <owl:Thing rdf:about="premises003#Antwerp">
        <first:path>
          <owl:Thing rdf:about="premises003#Ghent"/>
        </first:path>
    </owl:Thing>

    <owl:ObjectProperty rdf:about="premises003#path"/>

</rdf:RDF>
 
first:Antwerp rdf:type owl:Thing .
first:Ghent rdf:type owl:Thing .
first:Antwerp first:path first:Ghent .
first:path rdf:type owl:ObjectProperty .

7.1.11. owl:Thing

Lite Full Document incohérent. 003
Description : (informatif) <Thing/Manifest003#test>
L'extension de la classe owl:Thing peut ne pas être vide.
Le format N3 est informatif.
Lite Incohérent : <Thing/inconsistent003> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/Thing/inconsistent003" >

  <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing">
    <owl:equivalentClass rdf:resource
       ="http://www.w3.org/2002/07/owl#Nothing"/>
  </owl:Class>

</rdf:RDF>
 
owl:Thing rdf:type owl:Class .
owl:Thing owl:equivalentClass owl:Nothing .

DL Document cohérent. 004
Description : (informatif) <Thing/Manifest004#test>
L'extension de la classe owl:Thing peut être un singleton dans OWL DL.
Le format N3 est informatif.
DL Cohérent : <Thing/consistent004> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/Thing/consistent004" >

  <owl:Class rdf:about="http://www.w3.org/2002/07/owl#Thing">
        <owl:oneOf rdf:parseType="Collection">
            <owl:Thing rdf:about="#s"/>
        </owl:oneOf>
  </owl:Class>

</rdf:RDF>
 
owl:Thing rdf:type owl:Class .
first:s rdf:type owl:Thing .
_:a rdf:first first:s .
_:a rdf:rest rdf:nil .
owl:Thing owl:oneOf _:a .

Full Document incohérent. 005
Description : (informatif) <Thing/Manifest005#test>
L'extension de la classe owl:Thing peut ne pas être un singleton dans OWL Full.
Le format N3 est informatif.
Full Incohérent : <Thing/inconsistent005> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/Thing/inconsistent005" >

  <rdf:Description rdf:about="http://www.w3.org/2002/07/owl#Thing">
        <owl:oneOf rdf:parseType="Collection">
            <rdf:Description rdf:about="#s"/>
        </owl:oneOf>
  </rdf:Description>

</rdf:RDF>
 
_:a rdf:first first:s .
_:a rdf:rest rdf:nil .
owl:Thing owl:oneOf _:a .

7.1.12. owl:TransitiveProperty

Full Test d'inférence positive : 001
Description : (informatif) <TransitiveProperty/Manifest001#test>
Une illustration simple de la transitivité.
Le format N3 est informatif.
Full Prémisses : <TransitiveProperty/premises001> 
<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/TransitiveProperty/premises001#"
    xmlns:second="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001#"
    xml:base="http://www.w3.org/2002/03owlt/TransitiveProperty/premises001" >

    <rdf:Description rdf:about="premises001#Antwerp">
        <first:path rdf:resource="premises001#Amsterdam"/>
    </rdf:Description>

    <rdf:Description rdf:about="premises001#Ghent">
        <first:path rdf:resource="premises001#Antwerp"/>
    </rdf:Description>

    <owl:TransitiveProperty rdf:about="premises001#path"/>

</rdf:RDF>
 
first:Antwerp first:path first:Amsterdam .
first:Ghent first:path first:Antwerp .
first:path rdf:type owl:TransitiveProperty .
Full Conclusions : <TransitiveProperty/conclusions001> 
<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/TransitiveProperty/premises001#"
    xmlns:second="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001#"
    xml:base="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions001" >

    <rdf:Description rdf:about="premises001#Ghent">
        <first:path rdf:resource="premises001#Amsterdam"/>
    </rdf:Description>

</rdf:RDF>
 
first:Ghent first:path first:Amsterdam .

DL Full Test d'inférence positive : 002
Description : (informatif) <TransitiveProperty/Manifest002#test>
Un texte illustrant la sémantique extensionnelle de la structure owl:TransitiveProperty.
Le format N3 est informatif.
DL Prémisses : <TransitiveProperty/premises002> 
<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/TransitiveProperty/premises002#"
    xmlns:second="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions002#"
    xml:base="http://www.w3.org/2002/03owlt/TransitiveProperty/premises002" >
   <owl:SymmetricProperty rdf:ID="symProp">
     <rdfs:range>
       <owl:Class>
          <owl:oneOf rdf:parseType="Collection">
            <owl:Thing rdf:ID="a"/>
            <owl:Thing rdf:ID="b"/>
          </owl:oneOf>
       </owl:Class>
     </rdfs:range>
   </owl:SymmetricProperty>
   <owl:Thing rdf:about="#a">
     <first:symProp rdf:resource="#a"/>
   </owl:Thing>
   <owl:Thing rdf:about="#b">
     <first:symProp rdf:resource="#b"/>
   </owl:Thing>


</rdf:RDF>
 
first:symProp rdf:type owl:SymmetricProperty .
_:a rdf:type owl:Class .
first:a rdf:type owl:Thing .
first:b rdf:type owl:Thing .
_:c rdf:first first:b .
_:c rdf:rest rdf:nil .
_:e rdf:first first:a .
_:e rdf:rest _:c .
_:a owl:oneOf _:e .
first:symProp rdfs:range _:a .
first:a rdf:type owl:Thing .
first:a first:symProp first:a .
first:b rdf:type owl:Thing .
first:b first:symProp first:b .
Lite Conclusions : <TransitiveProperty/conclusions002> 
<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/TransitiveProperty/premises002#"
    xmlns:second="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions002#"
    xml:base="http://www.w3.org/2002/03owlt/TransitiveProperty/conclusions002" >
   <owl:TransitiveProperty rdf:about="premises002#symProp"/>
   <rdf:Description rdf:about="premises002#a">
     <rdf:type>
       <owl:Restriction>
         <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
         <owl:onProperty rdf:resource="premises002#symProp"/>
         <owl:someValuesFrom  rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
       </owl:Restriction>
     </rdf:type>
   </rdf:Description>

</rdf:RDF>
 
first:symProp rdf:type owl:TransitiveProperty .
_:a rdf:type owl:Restriction .
_:a rdf:type owl:Class .
_:a owl:onProperty first:symProp .
_:a owl:someValuesFrom owl:Thing .
first:a rdf:type _:a .

7.1.13. owl:allValuesFrom

Lite Full Test d'inférence positive : 001
Description : (informatif) <allValuesFrom/Manifest001#test>
Un exemple simple.
Le format N3 est informatif.
Lite Prémisses : <allValuesFrom/premises001> 
<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/allValuesFrom/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/allValuesFrom/premises001" >
    <owl:Class rdf:ID="r">
      <rdfs:subClassOf>
        <owl:Restriction>
            <owl:onProperty rdf:resource="#p"/>
            <owl:allValuesFrom rdf:resource="#c"/>
        </owl:Restriction>
      </rdfs:subClassOf>
    </owl:Class>
    <owl:ObjectProperty rdf:ID="p"/>
    <owl:Class rdf:ID="c"/>
    <first:r rdf:ID="i">
       <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
       <first:p>
         <owl:Thing rdf:ID="o" />
       </first:p>
    </first:r>
</rdf:RDF>
 
first:r rdf:type owl:Class .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:p .
_:a owl:allValuesFrom first:c .
first:r rdfs:subClassOf _:a .
first:p rdf:type owl:ObjectProperty .
first:c rdf:type owl:Class .
first:i rdf:type first:r .
first:i rdf:type owl:Thing .
first:o rdf:type owl:Thing .
first:i first:p first:o .
Lite Conclusions : <allValuesFrom/conclusions001> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:first="http://www.w3.org/2002/03owlt/allValuesFrom/premises001#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/allValuesFrom/conclusions001" >
    <first:c rdf:about="premises001#o">
       <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
    </first:c>
    <owl:Class rdf:about="premises001#c"/>
</rdf:RDF>
 
first:o rdf:type first:c .
first:o rdf:type owl:Thing .
first:c rdf:type owl:Class .

Lite Full Test d'inférence négative : 002
Description : (informatif) <allValuesFrom/Manifest002#test>
Un autre exemple simple, à comparer avec owl:someValuesFrom.
Le format N3 est informatif.
Lite Prémisses : <allValuesFrom/premises002> 
<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/allValuesFrom/premises002#"
    xml:base="http://www.w3.org/2002/03owlt/allValuesFrom/premises002" >
    <owl:Class rdf:ID="r">
      <rdfs:subClassOf>
        <owl:Restriction>
            <owl:onProperty rdf:resource="#p"/>
            <owl:allValuesFrom rdf:resource="#c"/>
        </owl:Restriction>
      </rdfs:subClassOf>
    </owl:Class>
    <owl:ObjectProperty rdf:ID="p"/>

    <owl:Class rdf:ID="c"/>
    <first:r rdf:ID="i">
      <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
    </first:r>
</rdf:RDF>
 
first:r rdf:type owl:Class .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:p .
_:a owl:allValuesFrom first:c .
first:r rdfs:subClassOf _:a .
first:p rdf:type owl:ObjectProperty .
first:c rdf:type owl:Class .
first:i rdf:type first:r .
first:i rdf:type owl:Thing .
Lite Conclusions : <allValuesFrom/nonconclusions002> 
<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/allValuesFrom/premises002#"
    xmlns:second="http://www.w3.org/2002/03owlt/allValuesFrom/nonconclusions002#"
    xml:base="http://www.w3.org/2002/03owlt/allValuesFrom/nonconclusions002" >
    <owl:Thing rdf:about="premises002#i">
        <first:p>
           <first:c rdf:nodeID="o" />
         </first:p>
    </owl:Thing>
    <owl:Thing rdf:nodeID="o" />
    <owl:ObjectProperty rdf:about="premises002#p"/>
    <owl:Class rdf:about="premises002#c"/>
</rdf:RDF>
 
first:i rdf:type owl:Thing .
_:a rdf:type first:c .
first:i first:p _:a .
_:a rdf:type owl:Thing .
first:p rdf:type owl:ObjectProperty .
first:c rdf:type owl:Class .

7.1.14. owl:backwardCompatibleWith

Lite Full Document cohérent. 001
Description : (informatif) <backwardCompatibleWith/Manifest001#test>
Un exemple d'utilisation.
Le format N3 est informatif.
Lite Cohérent : <backwardCompatibleWith/consistent001> 
<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/backwardCompatibleWith/consistent001#"
    xml:base="http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent001" >
   <owl:Ontology>
      <owl:backwardCompatibleWith>
        <owl:Ontology rdf:about="http://www.example.org/"/>
      </owl:backwardCompatibleWith>
   </owl:Ontology>

</rdf:RDF>
 
_:a rdf:type owl:Ontology .
<http://www.example.org/> rdf:type owl:Ontology .
_:a owl:backwardCompatibleWith <http://www.example.org/> .

Full(EC) Document cohérent. 002
Description : (informatif) <backwardCompatibleWith/Manifest002#test>
Dans OWL Lite et OWL DL, le sujet et l'objet d'un triplet de prédicat owl:backwardCompatibleWith doivent tous deux avoir explicitement le type owl:Ontology.
Le format N3 est informatif.
Full Cohérent : <backwardCompatibleWith/consistent002> 
<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/backwardCompatibleWith/consistent002#"
    xml:base="http://www.w3.org/2002/03owlt/backwardCompatibleWith/consistent002" >
   <rdf:Description>
      <owl:backwardCompatibleWith>
        <owl:Ontology rdf:about="http://www.example.org/"/>
      </owl:backwardCompatibleWith>
   </rdf:Description>

</rdf:RDF>
 
<http://www.example.org/> rdf:type owl:Ontology .
_:a owl:backwardCompatibleWith <http://www.example.org/> .

7.1.15. owl:cardinality

Lite Full Test d'inférence positive : 001
Description : (informatif) <cardinality/Manifest001#test>
Une contrainte owl:cardinality est juste un raccourci pour un couple de contraintes owl:minCardinality et owl:maxCardinality.
Le format N3 est informatif.
Lite Prémisses : <cardinality/premises001> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/cardinality/premises001" >
    <owl:Class rdf:ID="c">
      <rdfs:subClassOf>
         <owl:Restriction>
            <owl:onProperty rdf:resource="#p"/>
            <owl:cardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
            >1</owl:cardinality>
         </owl:Restriction>
      </rdfs:subClassOf>
    </owl:Class>
    <owl:ObjectProperty rdf:ID="p"/>
</rdf:RDF>
 
first:c rdf:type owl:Class .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:p .
_:a owl:cardinality "1"^^xsd:nonNegativeInteger  .
first:c rdfs:subClassOf _:a .
first:p rdf:type owl:ObjectProperty .
Lite Conclusions : <cardinality/conclusions001> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/cardinality/conclusions001" >
    <owl:Class rdf:about="premises001#c">
      <rdfs:subClassOf>
        <owl:Restriction>
          <owl:onProperty rdf:resource="premises001#p"/>
          <owl:maxCardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
          >1</owl:maxCardinality>
        </owl:Restriction>
      </rdfs:subClassOf>
      <rdfs:subClassOf>
        <owl:Restriction>
          <owl:onProperty rdf:resource="premises001#p"/>
          <owl:minCardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
           >1</owl:minCardinality>
         </owl:Restriction>
       </rdfs:subClassOf>
    </owl:Class>
    <owl:ObjectProperty rdf:about="premises001#p"/>
</rdf:RDF>
 
first:c rdf:type owl:Class .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:p .
_:a owl:maxCardinality "1"^^xsd:nonNegativeInteger  .
first:c rdfs:subClassOf _:a .
_:c rdf:type owl:Restriction .
_:c owl:onProperty first:p .
_:c owl:minCardinality "1"^^xsd:nonNegativeInteger  .
first:c rdfs:subClassOf _:c .
first:p rdf:type owl:ObjectProperty .

Lite Full Test d'inférence positive : 002
Description : (informatif) <cardinality/Manifest002#test>
Une contrainte owl:cardinality est juste un raccourci pour un couple de contraintes owl:minCardinality et owl:maxCardinality.
Le format N3 est informatif.
Lite Prémisses : <cardinality/premises002> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/cardinality/premises002" >    
    <owl:Class rdf:about="conclusions002#c">
      <rdfs:subClassOf>
        <owl:Restriction>
          <owl:onProperty rdf:resource="conclusions002#p"/>
          <owl:maxCardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
          >1</owl:maxCardinality>
        </owl:Restriction>
      </rdfs:subClassOf>
      <rdfs:subClassOf>
        <owl:Restriction>
          <owl:onProperty rdf:resource="conclusions002#p"/>
          <owl:minCardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
          >1</owl:minCardinality>
        </owl:Restriction>
       </rdfs:subClassOf>
     </owl:Class>
     <owl:ObjectProperty rdf:about="conclusions002#p"/>
</rdf:RDF>
 
second:c rdf:type owl:Class .
_:a rdf:type owl:Restriction .
_:a owl:onProperty second:p .
_:a owl:maxCardinality "1"^^xsd:nonNegativeInteger  .
second:c rdfs:subClassOf _:a .
_:c rdf:type owl:Restriction .
_:c owl:onProperty second:p .
_:c owl:minCardinality "1"^^xsd:nonNegativeInteger  .
second:c rdfs:subClassOf _:c .
second:p rdf:type owl:ObjectProperty .
Lite Conclusions : <cardinality/conclusions002> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/cardinality/conclusions002" >
    <owl:Class rdf:ID="c">
      <rdfs:subClassOf>
        <owl:Restriction>
          <owl:onProperty rdf:resource="#p"/>
          <owl:cardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
          >1</owl:cardinality>
        </owl:Restriction>
      </rdfs:subClassOf>
    </owl:Class>
    <owl:ObjectProperty rdf:ID="p"/>
</rdf:RDF>
 
second:c rdf:type owl:Class .
_:a rdf:type owl:Restriction .
_:a owl:onProperty second:p .
_:a owl:cardinality "1"^^xsd:nonNegativeInteger  .
second:c rdfs:subClassOf _:a .
second:p rdf:type owl:ObjectProperty .

DL Full Test d'inférence positive : 003
Description : (informatif) <cardinality/Manifest003#test>
Une contrainte owl:cardinality est juste un raccourci pour un couple de contraintes owl:minCardinality et owl:maxCardinality.
Le format N3 est informatif.
DL Prémisses : <cardinality/premises003> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/cardinality/premises003" >
    <owl:Class rdf:ID="c">
      <rdfs:subClassOf>
        <owl:Restriction>
          <owl:onProperty rdf:resource="#p"/>
          <owl:cardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
          >2</owl:cardinality>
        </owl:Restriction>
      </rdfs:subClassOf>
    </owl:Class>
    <owl:ObjectProperty rdf:ID="p"/>
</rdf:RDF>
 
first:c rdf:type owl:Class .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:p .
_:a owl:cardinality "2"^^xsd:nonNegativeInteger  .
first:c rdfs:subClassOf _:a .
first:p rdf:type owl:ObjectProperty .
DL Conclusions : <cardinality/conclusions003> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/cardinality/conclusions003" >
    <owl:Class rdf:about="premises003#c">
      <rdfs:subClassOf>
        <owl:Restriction>
          <owl:onProperty rdf:resource="premises003#p"/>
          <owl:maxCardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
          >2</owl:maxCardinality>
        </owl:Restriction>
      </rdfs:subClassOf>
      <rdfs:subClassOf>
        <owl:Restriction>
          <owl:onProperty rdf:resource="premises003#p"/>
          <owl:minCardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
          >2</owl:minCardinality>
        </owl:Restriction>
      </rdfs:subClassOf>
    </owl:Class>
    <owl:ObjectProperty rdf:about="premises003#p"/>
</rdf:RDF>
 
first:c rdf:type owl:Class .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:p .
_:a owl:maxCardinality "2"^^xsd:nonNegativeInteger  .
first:c rdfs:subClassOf _:a .
_:c rdf:type owl:Restriction .
_:c owl:onProperty first:p .
_:c owl:minCardinality "2"^^xsd:nonNegativeInteger  .
first:c rdfs:subClassOf _:c .
first:p rdf:type owl:ObjectProperty .

DL Full Test d'inférence positive : 004
Description : (informatif) <cardinality/Manifest004#test>
Une contrainte owl:cardinality est juste un raccourci pour un couple de contraintes owl:minCardinality et owl:maxCardinality.
Le format N3 est informatif.
DL Prémisses : <cardinality/premises004> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/cardinality/premises004" >    
    <owl:Class rdf:about="conclusions004#c">
      <rdfs:subClassOf>
          <owl:Class>
             <owl:intersectionOf rdf:parseType="Collection">
                <owl:Restriction>
                   <owl:onProperty rdf:resource="conclusions004#p"/>
                   <owl:maxCardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
                   >2</owl:maxCardinality>
                </owl:Restriction>
                <owl:Restriction>
                   <owl:onProperty rdf:resource="conclusions004#p"/>
                   <owl:minCardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
                   >2</owl:minCardinality>
                </owl:Restriction>
              </owl:intersectionOf>
           </owl:Class>
       </rdfs:subClassOf>
     </owl:Class>
     <owl:ObjectProperty rdf:about="conclusions004#p"/>
</rdf:RDF>
 
second:c rdf:type owl:Class .
_:a rdf:type owl:Class .
_:c rdf:type owl:Restriction .
_:c owl:onProperty second:p .
_:c owl:maxCardinality "2"^^xsd:nonNegativeInteger  .
_:e rdf:type owl:Restriction .
_:e owl:onProperty second:p .
_:e owl:minCardinality "2"^^xsd:nonNegativeInteger  .
_:g rdf:first _:e .
_:g rdf:rest rdf:nil .
_:i rdf:first _:c .
_:i rdf:rest _:g .
_:a owl:intersectionOf _:i .
second:c rdfs:subClassOf _:a .
second:p rdf:type owl:ObjectProperty .
DL Conclusions : <cardinality/conclusions004> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/cardinality/conclusions004" >
    <owl:Class rdf:ID="c">
      <rdfs:subClassOf>
          <owl:Class>
             <owl:intersectionOf rdf:parseType="Collection">
                <owl:Restriction>
                   <owl:onProperty rdf:resource="#p"/>
                   <owl:cardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
                   >2</owl:cardinality>
                </owl:Restriction>
              </owl:intersectionOf>
           </owl:Class>
       </rdfs:subClassOf>
     </owl:Class>
     <owl:ObjectProperty rdf:ID="p"/>
</rdf:RDF>
 
second:c rdf:type owl:Class .
_:a rdf:type owl:Class .
_:c rdf:type owl:Restriction .
_:c owl:onProperty second:p .
_:c owl:cardinality "2"^^xsd:nonNegativeInteger  .
_:e rdf:first _:c .
_:e rdf:rest rdf:nil .
_:a owl:intersectionOf _:e .
second:c rdfs:subClassOf _:a .
second:p rdf:type owl:ObjectProperty .

Full Test d'inférence positive : 006
Description : (informatif) <cardinality/Manifest006#test>
Une contrainte owl:cardinality est juste un raccourci pour un couple de contraintes owl:minCardinality et owl:maxCardinality.
Le format N3 est informatif.
Full Prémisses : <cardinality/premises006> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/cardinality/premises006" >    
  <rdf:Description rdf:about="conclusions006#c">
     <owl:intersectionOf rdf:parseType="Collection">
        <owl:Restriction>
           <owl:onProperty rdf:resource="conclusions006#p"/>
           <owl:maxCardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
            >1</owl:maxCardinality>
         </owl:Restriction>
         <owl:Restriction>
            <owl:onProperty rdf:resource="conclusions006#p"/>
            <owl:minCardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
             >1</owl:minCardinality>
          </owl:Restriction>
       </owl:intersectionOf>
    </rdf:Description>
</rdf:RDF>
 
_:a rdf:type owl:Restriction .
_:a owl:onProperty second:p .
_:a owl:maxCardinality "1"^^xsd:nonNegativeInteger  .
_:c rdf:type owl:Restriction .
_:c owl:onProperty second:p .
_:c owl:minCardinality "1"^^xsd:nonNegativeInteger  .
_:e rdf:first _:c .
_:e rdf:rest rdf:nil .
_:g rdf:first _:a .
_:g rdf:rest _:e .
second:c owl:intersectionOf _:g .
Full Conclusions : <cardinality/conclusions006> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/cardinality/conclusions006" >
  <rdf:Description  rdf:ID="c">
     <owl:intersectionOf rdf:parseType="Collection">
        <owl:Restriction>
           <owl:onProperty rdf:resource="#p"/>
           <owl:cardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
           >1</owl:cardinality>
        </owl:Restriction>
      </owl:intersectionOf>
   </rdf:Description>
</rdf:RDF>
 
_:a rdf:type owl:Restriction .
_:a owl:onProperty second:p .
_:a owl:cardinality "1"^^xsd:nonNegativeInteger  .
_:c rdf:first _:a .
_:c rdf:rest rdf:nil .
second:c owl:intersectionOf _:c .

7.1.16. owl:complementOf

Full Test d'inférence positive : 001
Description : (informatif) <complementOf/Manifest001#test>
La propriété complementOf est du type SymmetricProperty.
Le format N3 est informatif.
Full Prémisses : <complementOf/premises001> 
<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/complementOf/premises001#"
    xmlns:second="http://www.w3.org/2002/03owlt/complementOf/conclusions001#"
    xml:base="http://www.w3.org/2002/03owlt/complementOf/premises001" >

    <rdf:Description rdf:about="premises001#A">
        <owl:complementOf rdf:resource="premises001#B"/>
    </rdf:Description>

</rdf:RDF>
 
first:A owl:complementOf first:B .
Full Conclusions : <complementOf/conclusions001> 
<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/complementOf/premises001#"
    xmlns:second="http://www.w3.org/2002/03owlt/complementOf/conclusions001#"
    xml:base="http://www.w3.org/2002/03owlt/complementOf/conclusions001" >

    <rdf:Description rdf:about="premises001#B">
        <owl:complementOf rdf:resource="premises001#A"/>
    </rdf:Description>

</rdf:RDF>
 
first:B owl:complementOf first:A .

7.1.17. owl:differentFrom

Full Test d'inférence positive : 001
Description : (informatif) <differentFrom/Manifest001#test>
La propriété differentFrom est du type SymmetricProperty.
Le format N3 est informatif.
Full Prémisses : <differentFrom/premises001> 
<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/differentFrom/premises001#"
    xmlns:second="http://www.w3.org/2002/03owlt/differentFrom/conclusions001#"
    xml:base="http://www.w3.org/2002/03owlt/differentFrom/premises001" >

    <rdf:Description rdf:about="premises001#a">
        <owl:differentFrom rdf:resource="premises001#b"/>
    </rdf:Description>

</rdf:RDF>
 
first:a owl:differentFrom first:b .
Full Conclusions : <differentFrom/conclusions001> 
<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/differentFrom/premises001#"
    xmlns:second="http://www.w3.org/2002/03owlt/differentFrom/conclusions001#"
    xml:base="http://www.w3.org/2002/03owlt/differentFrom/conclusions001" >

    <rdf:Description rdf:about="premises001#b">
        <owl:differentFrom rdf:resource="premises001#a"/>
    </rdf:Description>

</rdf:RDF>
 
first:b owl:differentFrom first:a .

Full Test d'inférence positive : 002
Description : (informatif) <differentFrom/Manifest002#test>
Utiliser distinctMembers pour déduire differentFrom
Le format N3 est informatif.
Full Prémisses : <differentFrom/premises002> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/differentFrom/premises002#"
    xml:base="http://www.w3.org/2002/03owlt/differentFrom/premises002" >

    <owl:AllDifferent> 
      <owl:distinctMembers rdf:parseType="Collection">
        <first:Person rdf:about="#Fred" />
        <first:Person rdf:about="#Wilma" />
        <first:Person rdf:about="#Barney" />
        <first:Person rdf:about="#Betty" />
      </owl:distinctMembers>
    </owl:AllDifferent> 

</rdf:RDF>
 
_:a rdf:type owl:AllDifferent .
first:Fred rdf:type first:Person .
first:Wilma rdf:type first:Person .
first:Barney rdf:type first:Person .
first:Betty rdf:type first:Person .
_:c rdf:first first:Betty .
_:c rdf:rest rdf:nil .
_:e rdf:first first:Barney .
_:e rdf:rest _:c .
_:g rdf:first first:Wilma .
_:g rdf:rest _:e .
_:i rdf:first first:Fred .
_:i rdf:rest _:g .
_:a owl:distinctMembers _:i .
Full Conclusions : <differentFrom/conclusions002> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/differentFrom/premises002#"
    xml:base="http://www.w3.org/2002/03owlt/differentFrom/conclusions002" >

    <rdf:Description rdf:about="premises002#Barney">
        <owl:differentFrom rdf:resource="premises002#Wilma"/>
    </rdf:Description>

</rdf:RDF>
 
first:Barney owl:differentFrom first:Wilma .

7.1.18. owl:disjointWith

DL Full Test d'inférence positive : 001
Description : (informatif) <disjointWith/Manifest001#test>
Les classes disjointes ont des membres différents.
Le format N3 est informatif.
DL Prémisses : <disjointWith/premises001> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:first="http://www.w3.org/2002/03owlt/disjointWith/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/disjointWith/premises001" >
   <owl:Class rdf:ID="A">
      <owl:disjointWith>
           <owl:Class rdf:ID="B"/>
      </owl:disjointWith>
   </owl:Class>
   <first:A rdf:ID="a"/>
   <owl:Thing rdf:about="#a"/>
   <first:B rdf:ID="b"/>
   <owl:Thing rdf:about="#b"/>
</rdf:RDF>
 
first:A rdf:type owl:Class .
first:B rdf:type owl:Class .
first:A owl:disjointWith first:B .
first:a rdf:type first:A .
first:a rdf:type owl:Thing .
first:b rdf:type first:B .
first:b rdf:type owl:Thing .
Lite Conclusions : <disjointWith/conclusions001> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/disjointWith/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/disjointWith/conclusions001" >
    <owl:Thing rdf:about="premises001#a">
       <owl:differentFrom>
          <owl:Thing rdf:about="premises001#b"/>
       </owl:differentFrom>
    </owl:Thing>
</rdf:RDF>
 
first:a rdf:type owl:Thing .
first:b rdf:type owl:Thing .
first:a owl:differentFrom first:b .

Full Test d'inférence positive : 002
Description : (informatif) <disjointWith/Manifest002#test>
Les classes disjointes ont des membres différents.
Le format N3 est informatif.
Full Prémisses : <disjointWith/premises002> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/disjointWith/premises002#"
    xml:base="http://www.w3.org/2002/03owlt/disjointWith/premises002" >

   <rdf:Description rdf:ID="A">
      <owl:disjointWith>
           <rdf:Description rdf:ID="B"/>
      </owl:disjointWith>
   </rdf:Description>
   <first:A rdf:ID="a"/>
   <first:B rdf:ID="b"/>

</rdf:RDF>
 
first:A owl:disjointWith first:B .
first:a rdf:type first:A .
first:b rdf:type first:B .
Full Conclusions : <disjointWith/conclusions002> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/disjointWith/conclusions002" >
    <rdf:Description rdf:about="premises002#a">
       <owl:differentFrom rdf:resource="premises002#b"/>
    </rdf:Description>
</rdf:RDF>
 
first:a owl:differentFrom first:b .

DL Full Document cohérent. 003
Description : (informatif) <disjointWith/Manifest003#test>
Si les arêtes owl:disjointWith dans le graphe forment un sous-graphe non orienté complet, alors ça peut être dans OWL DL.
Le format N3 est informatif.
DL Cohérent : <disjointWith/consistent003> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent003" >
    <owl:Class rdf:nodeID="A">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="A"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="B"/>
      <owl:disjointWith rdf:nodeID="D"/>
      <owl:disjointWith rdf:nodeID="E"/>
    </owl:Class>
    <owl:Class rdf:nodeID="B">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="B"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="A"/>
      <owl:disjointWith rdf:nodeID="C"/>
      <owl:disjointWith rdf:nodeID="E"/>
    </owl:Class>
    <owl:Class rdf:nodeID="C">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="C"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="A"/>
      <owl:disjointWith rdf:nodeID="D"/>
      <owl:disjointWith rdf:nodeID="E"/>
    </owl:Class>
    <owl:Class rdf:nodeID="D">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="D"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="C"/>
      <owl:disjointWith rdf:nodeID="B"/>
      <owl:disjointWith rdf:nodeID="E"/>
    </owl:Class>
    <owl:Class rdf:nodeID="E">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="E"/>
      </owl:intersectionOf>
    </owl:Class>

</rdf:RDF>
 
_:a rdf:type owl:Class .
first:A rdf:type owl:Class .
_:c rdf:first first:A .
_:c rdf:rest rdf:nil .
_:a owl:intersectionOf _:c .
_:a owl:disjointWith _:e .
_:a owl:disjointWith _:g .
_:a owl:disjointWith _:i .
_:e rdf:type owl:Class .
first:B rdf:type owl:Class .
_:k rdf:first first:B .
_:k rdf:rest rdf:nil .
_:e owl:intersectionOf _:k .
_:e owl:disjointWith _:a .
_:e owl:disjointWith _:m .
_:e owl:disjointWith _:i .
_:m rdf:type owl:Class .
first:C rdf:type owl:Class .
_:o rdf:first first:C .
_:o rdf:rest rdf:nil .
_:m owl:intersectionOf _:o .
_:m owl:disjointWith _:a .
_:m owl:disjointWith _:g .
_:m owl:disjointWith _:i .
_:g rdf:type owl:Class .
first:D rdf:type owl:Class .
_:q rdf:first first:D .
_:q rdf:rest rdf:nil .
_:g owl:intersectionOf _:q .
_:g owl:disjointWith _:m .
_:g owl:disjointWith _:e .
_:g owl:disjointWith _:i .
_:i rdf:type owl:Class .
first:E rdf:type owl:Class .
_:s rdf:first first:E .
_:s rdf:rest rdf:nil .
_:i owl:intersectionOf _:s .

Full(EC) Document cohérent. 004
Description : (informatif) <disjointWith/Manifest004#test>
Cet exemple montre des arêtes owl:disjointWith dans le graphe qui ne peuvent pas être générées par les règles d'application de la structure DisjointClasses. Remarquez l'absence d'arête owl:disjointWith entre les nœuds C et D.
Le format N3 est informatif.
Full Cohérent : <disjointWith/consistent004> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent004" >
    <owl:Class rdf:nodeID="A">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="A"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="B"/>
      <owl:disjointWith rdf:nodeID="D"/>
      <owl:disjointWith rdf:nodeID="E"/>
    </owl:Class>
    <owl:Class rdf:nodeID="B">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="B"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="A"/>
      <owl:disjointWith rdf:nodeID="C"/>
      <owl:disjointWith rdf:nodeID="E"/>
    </owl:Class>
    <owl:Class rdf:nodeID="C">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="C"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="A"/>
      <owl:disjointWith rdf:nodeID="E"/>
    </owl:Class>
    <owl:Class rdf:nodeID="D">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="D"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="B"/>
      <owl:disjointWith rdf:nodeID="E"/>
    </owl:Class>
    <owl:Class rdf:nodeID="E">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="E"/>
      </owl:intersectionOf>
    </owl:Class>

</rdf:RDF>
 
_:a rdf:type owl:Class .
first:A rdf:type owl:Class .
_:c rdf:first first:A .
_:c rdf:rest rdf:nil .
_:a owl:intersectionOf _:c .
_:a owl:disjointWith _:e .
_:a owl:disjointWith _:g .
_:a owl:disjointWith _:i .
_:e rdf:type owl:Class .
first:B rdf:type owl:Class .
_:k rdf:first first:B .
_:k rdf:rest rdf:nil .
_:e owl:intersectionOf _:k .
_:e owl:disjointWith _:a .
_:e owl:disjointWith _:m .
_:e owl:disjointWith _:i .
_:m rdf:type owl:Class .
first:C rdf:type owl:Class .
_:o rdf:first first:C .
_:o rdf:rest rdf:nil .
_:m owl:intersectionOf _:o .
_:m owl:disjointWith _:a .
_:m owl:disjointWith _:i .
_:g rdf:type owl:Class .
first:D rdf:type owl:Class .
_:q rdf:first first:D .
_:q rdf:rest rdf:nil .
_:g owl:intersectionOf _:q .
_:g owl:disjointWith _:e .
_:g owl:disjointWith _:i .
_:i rdf:type owl:Class .
first:E rdf:type owl:Class .
_:s rdf:first first:E .
_:s rdf:rest rdf:nil .
_:i owl:intersectionOf _:s .

DL Full Document cohérent. 005
Description : (informatif) <disjointWith/Manifest005#test>
Si les arêtes owl:disjointWith dans le graphe forment des sous-graphes complets non orientés et non reliés, alors ça peut être dans OWL DL.
Le format N3 est informatif.
DL Cohérent : <disjointWith/consistent005> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent005" >
    <owl:Class rdf:nodeID="A">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="A"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="D"/>
      <owl:disjointWith rdf:nodeID="E"/>
    </owl:Class>
    <owl:Class rdf:nodeID="B">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="B"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="C"/>
    </owl:Class>
    <owl:Class rdf:nodeID="C">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="C"/>
      </owl:intersectionOf>
    </owl:Class>
    <owl:Class rdf:nodeID="D">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="D"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="E"/>
    </owl:Class>
    <owl:Class rdf:nodeID="E">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="E"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="D"/>
    </owl:Class>

</rdf:RDF>
 
_:a rdf:type owl:Class .
first:A rdf:type owl:Class .
_:c rdf:first first:A .
_:c rdf:rest rdf:nil .
_:a owl:intersectionOf _:c .
_:a owl:disjointWith _:e .
_:a owl:disjointWith _:g .
_:i rdf:type owl:Class .
first:B rdf:type owl:Class .
_:k rdf:first first:B .
_:k rdf:rest rdf:nil .
_:i owl:intersectionOf _:k .
_:i owl:disjointWith _:m .
_:m rdf:type owl:Class .
first:C rdf:type owl:Class .
_:o rdf:first first:C .
_:o rdf:rest rdf:nil .
_:m owl:intersectionOf _:o .
_:e rdf:type owl:Class .
first:D rdf:type owl:Class .
_:q rdf:first first:D .
_:q rdf:rest rdf:nil .
_:e owl:intersectionOf _:q .
_:e owl:disjointWith _:g .
_:g rdf:type owl:Class .
first:E rdf:type owl:Class .
_:s rdf:first first:E .
_:s rdf:rest rdf:nil .
_:g owl:intersectionOf _:s .
_:g owl:disjointWith _:e .

Full(EC) Document cohérent. 006
Description : (informatif) <disjointWith/Manifest006#test>
Si les arêtes owl:disjointWith dans le graphe forment des sous-graphes complets non orientés partageant des nœuds blancs, alors ça ne peut pas être dans OWL DL.
Le format N3 est informatif.
Full Cohérent : <disjointWith/consistent006> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent006" >
    <owl:Class rdf:nodeID="A">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="A"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="D"/>
      <owl:disjointWith rdf:nodeID="E"/>
    </owl:Class>
    <owl:Class rdf:nodeID="B">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="B"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="C"/>
      <owl:disjointWith rdf:nodeID="A"/>
    </owl:Class>
    <owl:Class rdf:nodeID="C">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="C"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="A"/>
    </owl:Class>
    <owl:Class rdf:nodeID="D">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="D"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="E"/>
    </owl:Class>
    <owl:Class rdf:nodeID="E">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="E"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="D"/>
    </owl:Class>

</rdf:RDF>
 
_:a rdf:type owl:Class .
first:A rdf:type owl:Class .
_:c rdf:first first:A .
_:c rdf:rest rdf:nil .
_:a owl:intersectionOf _:c .
_:a owl:disjointWith _:e .
_:a owl:disjointWith _:g .
_:i rdf:type owl:Class .
first:B rdf:type owl:Class .
_:k rdf:first first:B .
_:k rdf:rest rdf:nil .
_:i owl:intersectionOf _:k .
_:i owl:disjointWith _:m .
_:i owl:disjointWith _:a .
_:m rdf:type owl:Class .
first:C rdf:type owl:Class .
_:o rdf:first first:C .
_:o rdf:rest rdf:nil .
_:m owl:intersectionOf _:o .
_:m owl:disjointWith _:a .
_:e rdf:type owl:Class .
first:D rdf:type owl:Class .
_:q rdf:first first:D .
_:q rdf:rest rdf:nil .
_:e owl:intersectionOf _:q .
_:e owl:disjointWith _:g .
_:g rdf:type owl:Class .
first:E rdf:type owl:Class .
_:s rdf:first first:E .
_:s rdf:rest rdf:nil .
_:g owl:intersectionOf _:s .
_:g owl:disjointWith _:e .

DL Full Document cohérent. 007
Description : (informatif) <disjointWith/Manifest007#test>
Si les arêtes owl:disjointWith dans le graphe forment des sous-graphes complets non orientés partageant des nœuds de type URIref mais pas de nœuds blancs, alors ça peut être dans OWL DL.
Le format N3 est informatif.
DL Cohérent : <disjointWith/consistent007> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent007" >
    <owl:Class rdf:ID="A">
      <owl:disjointWith rdf:nodeID="D"/>
      <owl:disjointWith rdf:nodeID="E"/>
    </owl:Class>
    <owl:Class rdf:nodeID="B">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="B"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="C"/>
      <owl:disjointWith rdf:resource="#A"/>
    </owl:Class>
    <owl:Class rdf:nodeID="C">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="C"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:resource="#A"/>
    </owl:Class>
    <owl:Class rdf:nodeID="D">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="D"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="E"/>
    </owl:Class>
    <owl:Class rdf:nodeID="E">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="E"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:nodeID="D"/>
    </owl:Class>

</rdf:RDF>
 
first:A rdf:type owl:Class .
first:A owl:disjointWith _:a .
first:A owl:disjointWith _:c .
_:e rdf:type owl:Class .
first:B rdf:type owl:Class .
_:g rdf:first first:B .
_:g rdf:rest rdf:nil .
_:e owl:intersectionOf _:g .
_:e owl:disjointWith _:i .
_:e owl:disjointWith first:A .
_:i rdf:type owl:Class .
first:C rdf:type owl:Class .
_:k rdf:first first:C .
_:k rdf:rest rdf:nil .
_:i owl:intersectionOf _:k .
_:i owl:disjointWith first:A .
_:a rdf:type owl:Class .
first:D rdf:type owl:Class .
_:m rdf:first first:D .
_:m rdf:rest rdf:nil .
_:a owl:intersectionOf _:m .
_:a owl:disjointWith _:c .
_:c rdf:type owl:Class .
first:E rdf:type owl:Class .
_:o rdf:first first:E .
_:o rdf:rest rdf:nil .
_:c owl:intersectionOf _:o .
_:c owl:disjointWith _:a .

Full(EC) Document cohérent. 008
Description : (informatif) <disjointWith/Manifest008#test>
Un autre exemple qui ne peut pas être généré d'après les règles d'application de DisjointClasses.
Le format N3 est informatif.
Full Cohérent : <disjointWith/consistent008> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent008" >
    <owl:Class rdf:ID="A"/>
    <owl:Class rdf:nodeID="B">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="B"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:resource="#A"/>
    </owl:Class>
    <owl:Class rdf:nodeID="C">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="C"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:resource="#A"/>
    </owl:Class>
    <owl:Class rdf:ID="D">
      <owl:disjointWith rdf:nodeID="B"/>
      <owl:disjointWith rdf:nodeID="C"/>
    </owl:Class>

</rdf:RDF>
 
first:A rdf:type owl:Class .
_:a rdf:type owl:Class .
first:B rdf:type owl:Class .
_:c rdf:first first:B .
_:c rdf:rest rdf:nil .
_:a owl:intersectionOf _:c .
_:a owl:disjointWith first:A .
_:e rdf:type owl:Class .
first:C rdf:type owl:Class .
_:g rdf:first first:C .
_:g rdf:rest rdf:nil .
_:e owl:intersectionOf _:g .
_:e owl:disjointWith first:A .
first:D rdf:type owl:Class .
first:D owl:disjointWith _:a .
first:D owl:disjointWith _:e .

DL Full Document cohérent. 009
Description : (informatif) <disjointWith/Manifest009#test>
Si les arêtes owl:disjointWith dans le graphe forment des sous-graphes complets non orientés partageant des nœuds de type URIref mais pas de nœud blanc, alors ça peut dans OWL DL.
Le format N3 est informatif.
DL Cohérent : <disjointWith/consistent009> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/disjointWith/consistent009" >
    <owl:Class rdf:ID="A"/>
    <owl:Class rdf:nodeID="B">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="B"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:resource="#A"/>
    </owl:Class>
    <owl:Class rdf:nodeID="C">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="C"/>
      </owl:intersectionOf>
      <owl:disjointWith rdf:resource="#A"/>
    </owl:Class>
    <owl:Class rdf:ID="D">
      <owl:disjointWith rdf:nodeID="B"/>
      <owl:disjointWith rdf:nodeID="C"/>
      <owl:disjointWith rdf:resource="#A"/>
    </owl:Class>

</rdf:RDF>
 
first:A rdf:type owl:Class .
_:a rdf:type owl:Class .
first:B rdf:type owl:Class .
_:c rdf:first first:B .
_:c rdf:rest rdf:nil .
_:a owl:intersectionOf _:c .
_:a owl:disjointWith first:A .
_:e rdf:type owl:Class .
first:C rdf:type owl:Class .
_:g rdf:first first:C .
_:g rdf:rest rdf:nil .
_:e owl:intersectionOf _:g .
_:e owl:disjointWith first:A .
first:D rdf:type owl:Class .
first:D owl:disjointWith _:a .
first:D owl:disjointWith _:e .
first:D owl:disjointWith first:A .

Full Document incohérent. 010
Description : (informatif) <disjointWith/Manifest010#test>
La boucle owl:disjointWith n'est pas dans OWL DL. Les classes disjointes avec elles-mêmes sont forcément vides.
Le format N3 est informatif.
Full Incohérent : <disjointWith/inconsistent010> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/disjointWith/inconsistent010#"
    xml:base="http://www.w3.org/2002/03owlt/disjointWith/inconsistent010" >

 <owl:Restriction rdf:nodeID="n">
     <owl:onProperty>
        <owl:ObjectProperty rdf:about="#p" />
     </owl:onProperty>
     <owl:minCardinality rdf:datatype=
 "http://www.w3.org/2001/XMLSchema#int"
     >1</owl:minCardinality>
     <owl:disjointWith rdf:nodeID="n"/>
  </owl:Restriction>
  <owl:Thing>
     <first:p>
        <owl:Thing/>
     </first:p>
  </owl:Thing>

</rdf:RDF>
 
_:a rdf:type owl:Restriction .
first:p rdf:type owl:ObjectProperty .
_:a owl:onProperty first:p .
_:a owl:minCardinality "1"^^xsd:int  .
_:a owl:disjointWith _:a .
_:c rdf:type owl:Thing .
_:e rdf:type owl:Thing .
_:c first:p _:e .

7.1.19. owl:distinctMembers

Full Test d'inférence positive : 001
Description : (informatif) <distinctMembers/Manifest001#test>
Utiliser distinctMembers pour déduire differentFrom
Le format N3 est informatif.
Full Prémisses : <distinctMembers/premises001> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/distinctMembers/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/distinctMembers/premises001" >

    <owl:AllDifferent> 
      <owl:distinctMembers rdf:parseType="Collection">
        <first:Person rdf:about="#Fred" />
        <first:Person rdf:about="#Wilma" />
        <first:Person rdf:about="#Barney" />
        <first:Person rdf:about="#Betty" />
      </owl:distinctMembers>
    </owl:AllDifferent> 

</rdf:RDF>
 
_:a rdf:type owl:AllDifferent .
first:Fred rdf:type first:Person .
first:Wilma rdf:type first:Person .
first:Barney rdf:type first:Person .
first:Betty rdf:type first:Person .
_:c rdf:first first:Betty .
_:c rdf:rest rdf:nil .
_:e rdf:first first:Barney .
_:e rdf:rest _:c .
_:g rdf:first first:Wilma .
_:g rdf:rest _:e .
_:i rdf:first first:Fred .
_:i rdf:rest _:g .
_:a owl:distinctMembers _:i .
Full Conclusions : <distinctMembers/conclusions001> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/distinctMembers/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/distinctMembers/conclusions001" >

    <rdf:Description rdf:about="premises001#Fred">
        <owl:differentFrom rdf:resource="premises001#Barney"/>
    </rdf:Description>

</rdf:RDF>
 
first:Fred owl:differentFrom first:Barney .

7.1.20. owl:equivalentClass

Lite Full Test d'inférence positive : 001
Description : (informatif) <equivalentClass/Manifest001#test>
Deux classes peuvent avoir la même extension de classe.
Le format N3 est informatif.
Lite Prémisses : <equivalentClass/premises001> 
<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/equivalentClass/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises001" >
   <owl:Class rdf:ID="Car">
     <owl:equivalentClass>
       <owl:Class rdf:ID="Automobile"/>
     </owl:equivalentClass>
  </owl:Class>
  <first:Car rdf:ID="car">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
  </first:Car>
  <first:Automobile rdf:ID="auto">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
  </first:Automobile>
</rdf:RDF>
 
first:Car rdf:type owl:Class .
first:Automobile rdf:type owl:Class .
first:Car owl:equivalentClass first:Automobile .
first:car rdf:type first:Car .
first:car rdf:type owl:Thing .
first:auto rdf:type first:Automobile .
first:auto rdf:type owl:Thing .
Lite Conclusions : <equivalentClass/conclusions001> 
<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/equivalentClass/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/conclusions001" >
  <first:Car rdf:about="premises001#auto">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
  </first:Car>
  <first:Automobile rdf:about="premises001#car">
     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing" />
  </first:Automobile>
   <owl:Class rdf:about="premises001#Car"/>
   <owl:Class rdf:about="premises001#Automobile"/>
</rdf:RDF>
 
first:auto rdf:type first:Car .
first:auto rdf:type owl:Thing .
first:car rdf:type first:Automobile .
first:car rdf:type owl:Thing .
first:Car rdf:type owl:Class .
first:Automobile rdf:type owl:Class .

Lite Full Test d'inférence positive : 002
Description : (informatif) <equivalentClass/Manifest002#test>
Deux classes peuvent avoir un nom différent et représenter le même ensemble d'individus.
Le format N3 est informatif.
Lite Prémisses : <equivalentClass/premises002> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises002" >
   <owl:Class rdf:ID="Car">
     <owl:equivalentClass>
       <owl:Class rdf:ID="Automobile"/>
     </owl:equivalentClass>
  </owl:Class>
</rdf:RDF>
 
first:Car rdf:type owl:Class .
first:Automobile rdf:type owl:Class .
first:Car owl:equivalentClass first:Automobile .
Lite Conclusions : <equivalentClass/conclusions002> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/conclusions002" >
   <owl:Class rdf:about="premises002#Car">
     <rdfs:subClassOf>
       <owl:Class rdf:about="premises002#Automobile">
          <rdfs:subClassOf rdf:resource="premises002#Car" />
       </owl:Class>
     </rdfs:subClassOf>
  </owl:Class>
</rdf:RDF>
 
first:Car rdf:type owl:Class .
first:Automobile rdf:type owl:Class .
first:Automobile rdfs:subClassOf first:Car .
first:Car rdfs:subClassOf first:Automobile .

Lite Full Test d'inférence positive : 003
Description : (informatif) <equivalentClass/Manifest003#test>
Deux classes peuvent avoir un nom différent et représenter le même ensemble d'individus
Le format N3 est informatif.
Lite Prémisses : <equivalentClass/premises003> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises003" >
   <owl:Class rdf:about="conclusions003#Car">
     <rdfs:subClassOf>
       <owl:Class rdf:about="conclusions003#Automobile">
          <rdfs:subClassOf rdf:resource="conclusions003#Car" />
       </owl:Class>
     </rdfs:subClassOf>
  </owl:Class>
</rdf:RDF>
 
second:Car rdf:type owl:Class .
second:Automobile rdf:type owl:Class .
second:Automobile rdfs:subClassOf second:Car .
second:Car rdfs:subClassOf second:Automobile .
Lite Conclusions : <equivalentClass/conclusions003> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/conclusions003" >
   <owl:Class rdf:ID="Car">
     <owl:equivalentClass>
       <owl:Class rdf:ID="Automobile"/>
     </owl:equivalentClass>
  </owl:Class>
</rdf:RDF>
 
second:Car rdf:type owl:Class .
second:Automobile rdf:type owl:Class .
second:Car owl:equivalentClass second:Automobile .

Lite Full Test d'inférence positive : 004
Description : (informatif) <equivalentClass/Manifest004#test>
Deux classes ayant la même description complète sont équivalentes.
Le format N3 est informatif.
Lite Prémisses : <equivalentClass/premises004> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises004" >
    <owl:Class rdf:ID="c1">
             <owl:intersectionOf rdf:parseType="Collection">
                <owl:Restriction>
                   <owl:onProperty rdf:resource="#p"/>
                   <owl:cardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
                   >1</owl:cardinality>
                </owl:Restriction>
              </owl:intersectionOf>
           </owl:Class>
    <owl:Class rdf:ID="c2">
             <owl:intersectionOf rdf:parseType="Collection">
                <owl:Restriction>
                   <owl:onProperty rdf:resource="#p"/>
                   <owl:cardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
                   >1</owl:cardinality>
                </owl:Restriction>
              </owl:intersectionOf>
     </owl:Class>
     <owl:ObjectProperty rdf:ID="p"/>
</rdf:RDF>
 
first:c1 rdf:type owl:Class .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:p .
_:a owl:cardinality "1"^^xsd:nonNegativeInteger  .
_:c rdf:first _:a .
_:c rdf:rest rdf:nil .
first:c1 owl:intersectionOf _:c .
first:c2 rdf:type owl:Class .
_:e rdf:type owl:Restriction .
_:e owl:onProperty first:p .
_:e owl:cardinality "1"^^xsd:nonNegativeInteger  .
_:g rdf:first _:e .
_:g rdf:rest rdf:nil .
first:c2 owl:intersectionOf _:g .
first:p rdf:type owl:ObjectProperty .
Lite Conclusions : <equivalentClass/conclusions004> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/conclusions004" >
<owl:Class rdf:about="premises004#c1">
     <owl:equivalentClass>
       <owl:Class rdf:about="premises004#c2"/>
     </owl:equivalentClass>
  </owl:Class>
</rdf:RDF>
 
first:c1 rdf:type owl:Class .
first:c2 rdf:type owl:Class .
first:c1 owl:equivalentClass first:c2 .

Lite Full Test d'inférence négative : 005
Description : (informatif) <equivalentClass/Manifest005#test>
Deux classes ayant la même description partielle ne sont pas équivalentes.
Le format N3 est informatif.
Lite Prémisses : <equivalentClass/premises005> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises005" >
    <owl:Class rdf:ID="c1">
      <rdfs:subClassOf>
                <owl:Restriction>
                   <owl:onProperty rdf:resource="#p"/>
                   <owl:cardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
                   >1</owl:cardinality>
                </owl:Restriction>
       </rdfs:subClassOf>
     </owl:Class>
    <owl:Class rdf:ID="c2">
      <rdfs:subClassOf>
                <owl:Restriction>
                   <owl:onProperty rdf:resource="#p"/>
                   <owl:cardinality
 rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
                   >1</owl:cardinality>
                </owl:Restriction>
       </rdfs:subClassOf>
     </owl:Class>
     <owl:ObjectProperty rdf:ID="p"/>
</rdf:RDF>
 
first:c1 rdf:type owl:Class .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:p .
_:a owl:cardinality "1"^^xsd:nonNegativeInteger  .
first:c1 rdfs:subClassOf _:a .
first:c2 rdf:type owl:Class .
_:c rdf:type owl:Restriction .
_:c owl:onProperty first:p .
_:c owl:cardinality "1"^^xsd:nonNegativeInteger  .
first:c2 rdfs:subClassOf _:c .
first:p rdf:type owl:ObjectProperty .
Lite Conclusions : <equivalentClass/nonconclusions005> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions005" >
<owl:Class rdf:about="premises005#c1">
     <owl:equivalentClass>
       <owl:Class rdf:about="premises005#c2"/>
     </owl:equivalentClass>
  </owl:Class>
</rdf:RDF>
 
first:c1 rdf:type owl:Class .
first:c2 rdf:type owl:Class .
first:c1 owl:equivalentClass first:c2 .

DL Full Test d'inférence positive : 006
Description : (informatif) <equivalentClass/Manifest006#test>
La loi de De Morgan.
Le format N3 est informatif.
Lite Prémisses : <equivalentClass/premises006> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises006" >
   <owl:Class rdf:ID="A"/>
   <owl:Class rdf:ID="B"/>
</rdf:RDF>
 
first:A rdf:type owl:Class .
first:B rdf:type owl:Class .
DL Conclusions : <equivalentClass/conclusions006> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/conclusions006" >
   <owl:Class>
      <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class>
             <owl:complementOf rdf:resource="premises006#A"/>
          </owl:Class>
          <owl:Class>
             <owl:complementOf rdf:resource="premises006#B"/>
          </owl:Class>
      </owl:intersectionOf>
      <owl:equivalentClass>
        <owl:Class>
          <owl:complementOf>
             <owl:Class>
               <owl:unionOf rdf:parseType="Collection">
                 <rdf:Description rdf:about="premises006#A"/>
                 <rdf:Description rdf:about="premises006#B"/>
               </owl:unionOf>
             </owl:Class>
          </owl:complementOf>
        </owl:Class>
      </owl:equivalentClass>
   </owl:Class>   
   <owl:Class rdf:about="premises006#A"/>
   <owl:Class rdf:about="premises006#B"/>
</rdf:RDF>
 
_:a rdf:type owl:Class .
_:c rdf:type owl:Class .
_:c owl:complementOf first:A .
_:e rdf:type owl:Class .
_:e owl:complementOf first:B .
_:g rdf:first _:e .
_:g rdf:rest rdf:nil .
_:i rdf:first _:c .
_:i rdf:rest _:g .
_:a owl:intersectionOf _:i .
_:k rdf:type owl:Class .
_:m rdf:type owl:Class .
_:o rdf:first first:B .
_:o rdf:rest rdf:nil .
_:q rdf:first first:A .
_:q rdf:rest _:o .
_:m owl:unionOf _:q .
_:k owl:complementOf _:m .
_:a owl:equivalentClass _:k .
first:A rdf:type owl:Class .
first:B rdf:type owl:Class .

Full Test d'inférence positive : 007
Description : (informatif) <equivalentClass/Manifest007#test>
La loi de De Morgan.
Le format N3 est informatif.
Full Prémisses : <equivalentClass/premises007> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises007" >
   <rdfs:Class rdf:ID="A"/>
   <rdfs:Class rdf:ID="B"/>
</rdf:RDF>
 
first:A rdf:type rdfs:Class .
first:B rdf:type rdfs:Class .
Full Conclusions : <equivalentClass/conclusions007> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/conclusions007" >
   <rdf:Description>
      <owl:intersectionOf rdf:parseType="Collection">
          <rdf:Description>
             <owl:complementOf rdf:resource="premises007#A"/>
          </rdf:Description>
          <rdf:Description>
             <owl:complementOf rdf:resource="premises007#B"/>
          </rdf:Description>
      </owl:intersectionOf>
      <owl:equivalentClass>
         <rdf:Description>
           <owl:complementOf>
             <rdf:Description>
               <owl:unionOf rdf:parseType="Collection">
                 <rdf:Description rdf:about="premises007#A"/>
                 <rdf:Description rdf:about="premises007#B"/>
               </owl:unionOf>
             </rdf:Description>
           </owl:complementOf>
         </rdf:Description>
      </owl:equivalentClass>
   </rdf:Description>   
</rdf:RDF>
 
_:a owl:complementOf first:A .
_:c owl:complementOf first:B .
_:e rdf:first _:c .
_:e rdf:rest rdf:nil .
_:g rdf:first _:a .
_:g rdf:rest _:e .
_:i owl:intersectionOf _:g .
_:k rdf:first first:B .
_:k rdf:rest rdf:nil .
_:m rdf:first first:A .
_:m rdf:rest _:k .
_:o owl:unionOf _:m .
_:q owl:complementOf _:o .
_:i owl:equivalentClass _:q .

DL Full Test d'inférence négative : 008
Description : (informatif) <equivalentClass/Manifest008#test>
Les propriétés d'annotation se rapportent à l'instance d'une classe. La propriété equivalentClass se rapporte à l'extension de classe.
Le format N3 est informatif.
Lite Prémisses : <equivalentClass/premises008> 
<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/equivalentClass/premises008#" 
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises008" >

   <owl:Class rdf:ID="c1">
     <owl:equivalentClass>
       <owl:Class rdf:ID="c2"/>
     </owl:equivalentClass>
     <first:annotate>description of c1</first:annotate>
   </owl:Class>

   <owl:AnnotationProperty rdf:ID="annotate" />

</rdf:RDF>
 
first:c1 rdf:type owl:Class .
first:c2 rdf:type owl:Class .
first:c1 owl:equivalentClass first:c2 .
first:c1 first:annotate "description of c1" .
first:annotate rdf:type owl:AnnotationProperty .
Lite Conclusions : <equivalentClass/nonconclusions008> 
<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/equivalentClass/premises008#"
 xml:base="http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008" >
   <owl:Class rdf:about="premises008#c2">
     <first:annotate>description of c1</first:annotate>
   </owl:Class>
   <owl:AnnotationProperty rdf:about="premises008#annotate" />

</rdf:RDF>
 
first:c2 rdf:type owl:Class .
first:c2 first:annotate "description of c1" .
first:annotate rdf:type owl:AnnotationProperty .

DL Full Document cohérent. 009
Description : (informatif) <equivalentClass/Manifest009#test>
Une application possible de l'axiome EquivalentClasses qui est relié mais sans chemin hamiltonien.
Le format N3 est informatif.
DL Cohérent : <equivalentClass/consistent009> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
 xml:base="http://www.w3.org/2002/03owlt/equivalentClass/consistent009" >
 
 <owl:Class rdf:nodeID="a">
   <owl:oneOf rdf:parseType="Collection">
      <owl:Thing rdf:ID="A"/>
   </owl:oneOf>
   <owl:equivalentClass>   
     <owl:Class rdf:nodeID="b">
       <owl:unionOf rdf:parseType="Collection">
          <owl:Class rdf:ID="B"/>
       </owl:unionOf>
     </owl:Class>
   </owl:equivalentClass>  
   <owl:equivalentClass>    
     <owl:Class rdf:nodeID="c">
       <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:ID="C"/>
       </owl:intersectionOf>
     </owl:Class>
   </owl:equivalentClass>  
   <owl:equivalentClass>    
     <owl:Class rdf:nodeID="d">
       <owl:complementOf>
          <owl:Class rdf:ID="D"/>
       </owl:complementOf>
     </owl:Class>
   </owl:equivalentClass>  

 </owl:Class>

</rdf:RDF>
 
_:a rdf:type owl:Class .
first:A rdf:type owl:Thing .
_:c rdf:first first:A .
_:c rdf:rest rdf:nil .
_:a owl:oneOf _:c .
_:e rdf:type owl:Class .
first:B rdf:type owl:Class .
_:g rdf:first first:B .
_:g rdf:rest rdf:nil .
_:e owl:unionOf _:g .
_:a owl:equivalentClass _:e .
_:i rdf:type owl:Class .
first:C rdf:type owl:Class .
_:k rdf:first first:C .
_:k rdf:rest rdf:nil .
_:i owl:intersectionOf _:k .
_:a owl:equivalentClass _:i .
_:m rdf:type owl:Class .
first:D rdf:type owl:Class .
_:m owl:complementOf first:D .
_:a owl:equivalentClass _:m .

7.1.21. owl:equivalentProperty

Lite Full Test d'inférence positive : 001
Description : (informatif) <equivalentProperty/Manifest001#test>
On peut déclarer la propriété hasLeader être de type owl:equivalentProperty pour hasHead.
Le format N3 est informatif.
Lite Prémisses : <equivalentProperty/premises001> 
<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/equivalentProperty/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/premises001" >
   <owl:ObjectProperty rdf:ID="hasHead">
      <owl:equivalentProperty>
         <owl:ObjectProperty rdf:ID="hasLeader"/>
      </owl:equivalentProperty>
   </owl:ObjectProperty>
   <owl:Thing rdf:ID="X">
     <first:hasLeader>
        <owl:Thing rdf:ID="Y"/>
     </first:hasLeader>
   </owl:Thing>
</rdf:RDF>
 
first:hasHead rdf:type owl:ObjectProperty .
first:hasLeader rdf:type owl:ObjectProperty .
first:hasHead owl:equivalentProperty first:hasLeader .
first:X rdf:type owl:Thing .
first:Y rdf:type owl:Thing .
first:X first:hasLeader first:Y .
Lite Conclusions : <equivalentProperty/conclusions001> 
<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/equivalentProperty/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/conclusions001" >
   <owl:Thing rdf:about="premises001#X">
     <first:hasHead>
        <owl:Thing rdf:about="premises001#Y"/>
     </first:hasHead>
   </owl:Thing>   
   <owl:ObjectProperty rdf:about="premises001#hasHead"/>
</rdf:RDF>
 
first:X rdf:type owl:Thing .
first:Y rdf:type owl:Thing .
first:X first:hasHead first:Y .
first:hasHead rdf:type owl:ObjectProperty .

Lite Full Test d'inférence positive : 002
Description : (informatif) <equivalentProperty/Manifest002#test>
Un moteur de raisonnement peut aussi déduire que hasLeader est une sous-propriété de hasHead et que hasHead est une sous-propriété de hasLeader.
Le format N3 est informatif.
Lite Prémisses : <equivalentProperty/premises002> 
<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/equivalentProperty/premises002#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/premises002" >
   <owl:ObjectProperty rdf:ID="hasHead">
      <owl:equivalentProperty>
         <owl:ObjectProperty rdf:ID="hasLeader"/>
      </owl:equivalentProperty>
   </owl:ObjectProperty>
</rdf:RDF>
 
first:hasHead rdf:type owl:ObjectProperty .
first:hasLeader rdf:type owl:ObjectProperty .
first:hasHead owl:equivalentProperty first:hasLeader .
Lite Conclusions : <equivalentProperty/conclusions002> 
<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/equivalentProperty/premises002#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/conclusions002" >
   <owl:ObjectProperty rdf:about="premises002#hasHead">
      <rdfs:subPropertyOf rdf:resource="premises002#hasLeader"/>
   </owl:ObjectProperty>
   <owl:ObjectProperty rdf:about="premises002#hasLeader">
      <rdfs:subPropertyOf rdf:resource="premises002#hasHead"/>
   </owl:ObjectProperty>
</rdf:RDF>
 
first:hasHead rdf:type owl:ObjectProperty .
first:hasHead rdfs:subPropertyOf first:hasLeader .
first:hasLeader rdf:type owl:ObjectProperty .
first:hasLeader rdfs:subPropertyOf first:hasHead .

Lite Full Test d'inférence positive : 003
Description : (informatif) <equivalentProperty/Manifest003#test>
L'inférence inverse du test 002 est également vérifiée.
Le format N3 est informatif.
Lite Prémisses : <equivalentProperty/premises003> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/premises003" >
   <owl:ObjectProperty rdf:about="conclusions003#hasHead">
      <rdfs:subPropertyOf rdf:resource="conclusions003#hasLeader"/>
   </owl:ObjectProperty>
   <owl:ObjectProperty rdf:about="conclusions003#hasLeader">
      <rdfs:subPropertyOf rdf:resource="conclusions003#hasHead"/>
   </owl:ObjectProperty>
</rdf:RDF>
 
second:hasHead rdf:type owl:ObjectProperty .
second:hasHead rdfs:subPropertyOf second:hasLeader .
second:hasLeader rdf:type owl:ObjectProperty .
second:hasLeader rdfs:subPropertyOf second:hasHead .
Lite Conclusions : <equivalentProperty/conclusions003> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/conclusions003" >
   <owl:ObjectProperty rdf:ID="hasHead">
      <owl:equivalentProperty>
         <owl:ObjectProperty rdf:ID="hasLeader"/>
      </owl:equivalentProperty>
   </owl:ObjectProperty>
</rdf:RDF>
 
second:hasHead rdf:type owl:ObjectProperty .
second:hasLeader rdf:type owl:ObjectProperty .
second:hasHead owl:equivalentProperty second:hasLeader .

DL Full Test d'inférence positive : 004
Description : (informatif) <equivalentProperty/Manifest004#test>
Si p et q ont la même extension de propriété, alors p equivalentProperty q.
Le format N3 est informatif.
DL Prémisses : <equivalentProperty/premises004> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/premises004" >
   <owl:ObjectProperty rdf:ID="p">
      <rdfs:domain rdf:resource="#d"/>
   </owl:ObjectProperty>
   <owl:ObjectProperty rdf:ID="q">
      <rdfs:domain rdf:resource="#d"/>
   </owl:ObjectProperty>
   <owl:FunctionalProperty rdf:about="#q"/>
   <owl:FunctionalProperty rdf:about="#p"/>
   <owl:Thing rdf:ID="v"/>
   <owl:Class rdf:ID="d">
     <owl:equivalentClass>
              <owl:Restriction>
                <owl:onProperty rdf:resource="#p"/>
                <owl:hasValue rdf:resource="#v"/>
              </owl:Restriction>
     </owl:equivalentClass>
     <owl:equivalentClass>
              <owl:Restriction>
                <owl:onProperty rdf:resource="#q"/>
                <owl:hasValue rdf:resource="#v"/>
              </owl:Restriction>
     </owl:equivalentClass>
   </owl:Class>
</rdf:RDF>
 
first:p rdf:type owl:ObjectProperty .
first:p rdfs:domain first:d .
first:q rdf:type owl:ObjectProperty .
first:q rdfs:domain first:d .
first:q rdf:type owl:FunctionalProperty .
first:p rdf:type owl:FunctionalProperty .
first:v rdf:type owl:Thing .
first:d rdf:type owl:Class .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:p .
_:a owl:hasValue first:v .
first:d owl:equivalentClass _:a .
_:c rdf:type owl:Restriction .
_:c owl:onProperty first:q .
_:c owl:hasValue first:v .
first:d owl:equivalentClass _:c .
Lite Conclusions : <equivalentProperty/conclusions004> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/conclusions004" >
   <owl:ObjectProperty rdf:about="premises004#p">
      <owl:equivalentProperty>
         <owl:ObjectProperty rdf:about="premises004#q"/>
      </owl:equivalentProperty>
   </owl:ObjectProperty>
</rdf:RDF>
 
first:p rdf:type owl:ObjectProperty .
first:q rdf:type owl:ObjectProperty .
first:p owl:equivalentProperty first:q .

Full Test d'inférence positive : 005
Description : (informatif) <equivalentProperty/Manifest005#test>
Si p et q ont la même extension de propriété, alors p equivalentProperty q.
Le format N3 est informatif.
Full Prémisses : <equivalentProperty/premises005> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/premises005" >
   <owl:FunctionalProperty rdf:about="#q">
      <rdfs:domain rdf:nodeID="d"/>
   </owl:FunctionalProperty>
   <owl:FunctionalProperty rdf:about="#p">
      <rdfs:domain rdf:nodeID="d"/>
   </owl:FunctionalProperty>
   <owl:Restriction rdf:nodeID="d">
     <owl:onProperty rdf:resource="#p"/>
     <owl:onProperty rdf:resource="#q"/>
     <owl:hasValue rdf:resource="#v"/>
   </owl:Restriction>
</rdf:RDF>
 
first:q rdf:type owl:FunctionalProperty .
first:q rdfs:domain _:a .
first:p rdf:type owl:FunctionalProperty .
first:p rdfs:domain _:a .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:p .
_:a owl:onProperty first:q .
_:a owl:hasValue first:v .
Full Conclusions : <equivalentProperty/conclusions005> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/conclusions005" >
   <rdf:Description rdf:about="premises005#p">
      <owl:equivalentProperty rdf:resource="premises005#q"/>
   </rdf:Description>
</rdf:RDF>
 
first:p owl:equivalentProperty first:q .

Full Test d'inférence positive : 006
Description : (informatif) <equivalentProperty/Manifest006#test>
On peut déclarer la propriété hasLeader être de type owl:equivalentProperty pour hasHead.
Le format N3 est informatif.
Full Prémisses : <equivalentProperty/premises006> 
<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/equivalentProperty/premises006#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/premises006" >
   <rdf:Description rdf:ID="hasHead">
      <owl:equivalentProperty>
         <rdf:Description rdf:ID="hasLeader"/>
      </owl:equivalentProperty>
   </rdf:Description>
   <rdf:Description rdf:ID="X">
     <first:hasLeader>
        <rdf:Description rdf:ID="Y"/>
     </first:hasLeader>
   </rdf:Description>
</rdf:RDF>
 
first:hasHead owl:equivalentProperty first:hasLeader .
first:X first:hasLeader first:Y .
Full Conclusions : <equivalentProperty/conclusions006> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:first="http://www.w3.org/2002/03owlt/equivalentProperty/premises006#"
    xml:base="http://www.w3.org/2002/03owlt/equivalentProperty/conclusions006" >
   <rdf:Description rdf:about="premises006#X">
     <first:hasHead rdf:resource="premises006#Y" />
   </rdf:Description>
</rdf:RDF>
 
first:X first:hasHead first:Y .

7.1.22. owl:imports

Full Test d'inférence d'importation : 001
Description : (informatif) <imports/Manifest001#test>
Si un document en importe un autre, alors il infère tout ce qui est inféré par la conjonction des deux documents.
Le format N3 est informatif.
Espaces de nommage : 
@prefix ont: <http://www.w3.org/2002/03owlt/imports/support001-A#> .
Full Prémisses : <imports/premises001> 
<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:ont='http://www.w3.org/2002/03owlt/imports/support001-A#'
    xml:base='http://www.w3.org/2002/03owlt/imports/premises001' >

    <rdf:Description rdf:about=''>
        <owl:imports 
     rdf:resource="http://www.w3.org/2002/03owlt/imports/support001-A"/>
    </rdf:Description>

    <ont:Man rdf:about='http://example.org/data#Socrates'/>

</rdf:RDF>
 
<imports/premises001> owl:imports <imports/support001-A> .
<http://example.org/data#Socrates> rdf:type ont:Man .
Lite Prémisses importées : <imports/support001-A> 
<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#'
    xml:base='http://www.w3.org/2002/03owlt/imports/support001-A' >

    <owl:Ontology rdf:about=''/>

    <owl:Class rdf:ID='Man'>
        <rdfs:subClassOf rdf:resource='#Mortal'/>
    </owl:Class>

    <owl:Class rdf:ID='Mortal'/>

</rdf:RDF>
 
<imports/support001-A> rdf:type owl:Ontology .
ont:Man rdf:type owl:Class .
ont:Man rdfs:subClassOf ont:Mortal .
ont:Mortal rdf:type owl:Class .
Full Conclusions : <imports/conclusions001> 
<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#'
    xml:base='http://www.w3.org/2002/03owlt/imports/conclusions001' >

    <rdf:Description rdf:about='http://example.org/data#Socrates'>
        <rdf:type rdf:resource='http://www.w3.org/2002/03owlt/imports/support001-A#Mortal'/>
    </rdf:Description>

</rdf:RDF>
 
<http://example.org/data#Socrates> rdf:type ont:Mortal .

Full(EC) Test d'inférence négative : 002
Description : (informatif) <imports/Manifest002#test>
Si un document de prémisses utilise un espace de nommage sans importer le document correspondant, alors les prémisses n'infèrent pas forcément tout ce qui est inféré dans la conjonction des deux documents.
Le format N3 est informatif.
Espaces de nommage : 
@prefix ont: <http://www.w3.org/2002/03owlt/imports/support002-A#> .
Full Prémisses : <imports/premises002> 
<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:ont='http://www.w3.org/2002/03owlt/imports/support002-A#'
    xml:base='http://www.w3.org/2002/03owlt/imports/premises002' >

    <ont:Man rdf:about='http://example.org/data#Socrates'/>

</rdf:RDF>
 
<http://example.org/data#Socrates> rdf:type ont:Man .
Lite Prémisses importées : <imports/support002-A> 
<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#'
    xml:base='http://www.w3.org/2002/03owlt/imports/support002-A' >

    <owl:Ontology rdf:about=''/>
    <owl:Class rdf:ID='Man'>
        <rdfs:subClassOf rdf:resource='#Mortal'/>
    </owl:Class>
    <owl:Class rdf:ID='Mortal'/>

</rdf:RDF>
 
<imports/support002-A> rdf:type owl:Ontology .
ont:Man rdf:type owl:Class .
ont:Man rdfs:subClassOf ont:Mortal .
ont:Mortal rdf:type owl:Class .
Full Conclusions : <imports/nonconclusions002> 
<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#'
    xml:base='http://www.w3.org/2002/03owlt/imports/nonconclusions002' >

    <rdf:Description rdf:about='http://example.org/data#Socrates'>
        <rdf:type rdf:resource='http://www.w3.org/2002/03owlt/imports/support002-A#Mortal'/>
    </rdf:Description>

</rdf:RDF>
 
<http://example.org/data#Socrates> rdf:type ont:Mortal .

Full Test d'inférence d'importation : 003
Description : (informatif) <imports/Manifest003#test>
Si un document en importe un autre qui en importe à son tour un troisième, alors il infère tout ce qui est inféré dans la conjonction des déclarations des trois documents. La propriété owl:imports est transitive.
Le format N3 est informatif.
Espaces de nommage : 
@prefix ont: <http://www.w3.org/2002/03owlt/imports/support003-A#> .
Full Prémisses : <imports/premises003> 
<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:ont='http://www.w3.org/2002/03owlt/imports/support003-A#'
    xml:base='http://www.w3.org/2002/03owlt/imports/premises003' >

    <rdf:Description rdf:about=''>
        <owl:imports rdf:resource='http://www.w3.org/2002/03owlt/imports/support003-A'/>
    </rdf:Description>

    <ont:Man rdf:about='http://example.org/data#Socrates'/>

</rdf:RDF>
 
<imports/premises003> owl:imports <imports/support003-A> .
<http://example.org/data#Socrates> rdf:type ont:Man .
Lite Prémisses importées : <imports/support003-A> 
<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#'
    xml:base='http://www.w3.org/2002/03owlt/imports/support003-A' >

    <owl:Ontology rdf:about=''>
        <owl:imports rdf:resource='http://www.w3.org/2002/03owlt/imports/support003-B'/>
    </owl:Ontology>

    <owl:Class rdf:ID='Man'>
        <rdfs:subClassOf rdf:resource='#Person'/>
    </owl:Class>

    <owl:Class rdf:ID='Person'/>

</rdf:RDF>
 
<imports/support003-A> rdf:type owl:Ontology .
<imports/support003-A> owl:imports <imports/support003-B> .
ont:Man rdf:type owl:Class .
ont:Man rdfs:subClassOf ont:Person .
ont:Person rdf:type owl:Class .
Lite Prémisses importées : <imports/support003-B> 
<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#'
    xml:base='http://www.w3.org/2002/03owlt/imports/support003-B' >

    <owl:Ontology rdf:about=''/>

    <owl:Class rdf:about='http://www.w3.org/2002/03owlt/imports/support003-A#Person'>
        <rdfs:subClassOf rdf:resource='#Mortal'/>
    </owl:Class>

    <owl:Class rdf:ID='Mortal'/>

</rdf:RDF>
 
<imports/support003-B> rdf:type owl:Ontology .
ont:Person rdf:type owl:Class .
ont:Person rdfs:subClassOf <imports/support003-B#Mortal> .
<imports/support003-B#Mortal> rdf:type owl:Class .
Full Conclusions : <imports/conclusions003> 
<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#'
    xml:base='http://www.w3.org/2002/03owlt/imports/conclusions003' >

    <rdf:Description rdf:about='http://example.org/data#Socrates'>
        <rdf:type rdf:resource='http://www.w3.org/2002/03owlt/imports/support003-B#Mortal'/>
    </rdf:Description>

</rdf:RDF>
 
<http://example.org/data#Socrates> rdf:type <imports/support003-B#Mortal> .

Full Test de niveau d'importation : 004
Description : (informatif) <imports/Manifest004#test>
L'importation de documents OWL Full peut changer le niveau des documents OWL Lite ou OWL DL.
Le format N3 est informatif.
Full Document importé : <imports/imports004> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xml:base="http://www.w3.org/2002/03owlt/imports/imports004" >
    <rdfs:Class rdf:ID="c" />
</rdf:RDF>
 
first:c rdf:type rdfs:Class .
Full Document principal : <imports/main004> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/imports/main004" >
    <owl:Ontology rdf:about="">
      <owl:imports rdf:resource="imports004" />
    </owl:Ontology>
</rdf:RDF>
 
<imports/main004> rdf:type owl:Ontology .
<imports/main004> owl:imports <imports/imports004> .

DL Test de niveau d'importation : 005
Description : (informatif) <imports/Manifest005#test>
Si un document OWL Lite importe un document OWL DL, alors il devient un document OWL DL.
Le format N3 est informatif.
DL Document importé : <imports/imports005> 
<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#"
    xml:base="http://www.w3.org/2002/03owlt/imports/imports005" >
    <owl:Ontology rdf:about=""/>
    <owl:Class rdf:ID="c">
      <owl:oneOf rdf:parseType="Collection">
        <owl:Thing rdf:ID="x"/>
      </owl:oneOf>
    </owl:Class>
</rdf:RDF>
 
<imports/imports005> rdf:type owl:Ontology .
first:c rdf:type owl:Class .
first:x rdf:type owl:Thing .
_:a rdf:first first:x .
_:a rdf:rest rdf:nil .
first:c owl:oneOf _:a .
DL Document principal : <imports/main005> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/imports/main005" >
    <owl:Ontology rdf:about="">
      <owl:imports rdf:resource="imports005" />
    </owl:Ontology>
</rdf:RDF>
 
<imports/main005> rdf:type owl:Ontology .
<imports/main005> owl:imports <imports/imports005> .

Lite Test de niveau d'importation : 006
Description : (informatif) <imports/Manifest006#test>
Les déclarations de types imposées par l'organisation en couches sémantiques peuvent être importées dans un fichier OWL Lite ou OWL DL.
Le format N3 est informatif.
Lite Document importé : <imports/imports006> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/imports/imports006" >
    <owl:Ontology rdf:about=""/>
    <owl:Class rdf:ID="c"/>
</rdf:RDF>
 
<imports/imports006> rdf:type owl:Ontology .
first:c rdf:type owl:Class .
Lite Document principal : <imports/main006> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/imports/imports006#"
    xml:base="http://www.w3.org/2002/03owlt/imports/main006" >
    <owl:Ontology rdf:about="">
      <owl:imports rdf:resource="imports006"/>
    </owl:Ontology>
    <first:c rdf:ID="x"/>
</rdf:RDF>
 
<imports/main006> rdf:type owl:Ontology .
<imports/main006> owl:imports <imports/imports006> .
second:x rdf:type first:c .

Lite Test de niveau d'importation : 007
Description : (informatif) <imports/Manifest007#test>
Les déclarations de types imposées par l'organisation en couches sémantiques peuvent être importées dans un fichier OWL Lite ou OWL DL.
Le format N3 est informatif.
Lite Document importé : <imports/imports007> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/imports/imports007" >
    <owl:Ontology rdf:about=""/>
    <owl:ObjectProperty rdf:ID="p"/>
</rdf:RDF>
 
<imports/imports007> rdf:type owl:Ontology .
first:p rdf:type owl:ObjectProperty .
Lite Document principal : <imports/main007> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/imports/imports007#"
    xml:base="http://www.w3.org/2002/03owlt/imports/main007" >
    <owl:Ontology rdf:about="">
      <owl:imports rdf:resource="imports007"/>
    </owl:Ontology>
    <owl:Thing>
      <first:p>
        <owl:Thing />
      </first:p>
    </owl:Thing>
</rdf:RDF>
 
<imports/main007> rdf:type owl:Ontology .
<imports/main007> owl:imports <imports/imports007> .
_:a rdf:type owl:Thing .
_:c rdf:type owl:Thing .
_:a first:p _:c .

Lite Test de niveau d'importation : 008
Description : (informatif) <imports/Manifest008#test>
Il est souvent possible d'importer un document RDFS ordinaire inchangé dans un document OWL Lite. Le document qui importe peut nécessiter des déclarations de types supplémentaires.
Le format N3 est informatif.
Full Document importé : <imports/imports008> 
<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/imports/imports008#"
    xmlns:second="http://www.w3.org/2002/03owlt/imports/main008#"
    xml:base="http://www.w3.org/2002/03owlt/imports/imports008" >
   <rdfs:Class rdf:ID="sub">
     <rdfs:subClassOf rdf:resource="#super"/>
   </rdfs:Class>
</rdf:RDF>
 
first:sub rdf:type rdfs:Class .
first:sub rdfs:subClassOf first:super .
Lite Document principal : <imports/main008> 
<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/imports/imports008#"
    xmlns:second="http://www.w3.org/2002/03owlt/imports/main008#"
    xml:base="http://www.w3.org/2002/03owlt/imports/main008" >
    <owl:Ontology rdf:about="">
      <owl:imports> 
         <owl:Ontology rdf:about="imports008"/>
      </owl:imports>
    </owl:Ontology>
    <owl:Class rdf:about="imports008#sub"/>
    <owl:Class rdf:about="imports008#super"/>
</rdf:RDF>
 
<imports/main008> rdf:type owl:Ontology .
<imports/imports008> rdf:type owl:Ontology .
<imports/main008> owl:imports <imports/imports008> .
first:sub rdf:type owl:Class .
first:super rdf:type owl:Class .

Full OWL décrit en langage OWL. 010
Description : (informatif) <imports/Manifest010#test>
Ce test définit le domaine et l'image de la propriété owl:imports.
Le format N3 est informatif.
Full Vrai : <imports/conclusions010> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xml:base="http://www.w3.org/2002/03owlt/imports/conclusions010" >
   <rdf:Property rdf:about="http://www.w3.org/2002/07/owl#imports">
      <rdfs:range rdf:resource="http://www.w3.org/2002/07/owl#Ontology"/>
      <rdfs:domain rdf:resource="http://www.w3.org/2002/07/owl#Ontology"/>
   </rdf:Property>

</rdf:RDF>
 
owl:imports rdf:type rdf:Property .
owl:imports rdfs:range owl:Ontology .
owl:imports rdfs:domain owl:Ontology .

Lite Test d'inférence d'importation : 011
Description : (informatif) <imports/Manifest011#test>
Une version OWL Lite du test imports-001.
Le format N3 est informatif.
Espaces de nommage : 
@prefix ont: <http://www.w3.org/2002/03owlt/imports/support011-A#> .
Lite Prémisses : <imports/premises011> 
<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:ont='http://www.w3.org/2002/03owlt/imports/support011-A#'
    xml:base='http://www.w3.org/2002/03owlt/imports/premises011' >

    <owl:Ontology rdf:about=''>
        <owl:imports 
     rdf:resource="http://www.w3.org/2002/03owlt/imports/support011-A"/>
    </owl:Ontology>

    <ont:Man rdf:about='http://example.org/data#Socrates'/>

</rdf:RDF>
 
<imports/premises011> rdf:type owl:Ontology .
<imports/premises011> owl:imports <imports/support011-A> .
<http://example.org/data#Socrates> rdf:type ont:Man .
Lite Prémisses importées : <imports/support011-A> 
<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#'
    xml:base='http://www.w3.org/2002/03owlt/imports/support011-A' >

    <owl:Ontology rdf:about=''/>

    <owl:Class rdf:ID='Man'>
        <rdfs:subClassOf rdf:resource='#Mortal'/>
    </owl:Class>

    <owl:Class rdf:ID='Mortal'/>

</rdf:RDF>
 
<imports/support011-A> rdf:type owl:Ontology .
ont:Man rdf:type owl:Class .
ont:Man rdfs:subClassOf ont:Mortal .
ont:Mortal rdf:type owl:Class .
Lite Conclusions : <imports/conclusions011> 
<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#'
    xml:base='http://www.w3.org/2002/03owlt/imports/conclusions011' >

    <rdf:Description rdf:about='http://example.org/data#Socrates'>
        <rdf:type>
           <owl:Class rdf:about='support011-A#Mortal'/>
        </rdf:type>
    </rdf:Description>

</rdf:RDF>
 
ont:Mortal rdf:type owl:Class .
<http://example.org/data#Socrates> rdf:type ont:Mortal .

Lite Full Document cohérent. 012
Description : (informatif) <imports/Manifest012#test>
Un test simple des boucles infinies dans le code du traitement des importations.
Le format N3 est informatif.
Lite Cohérent : <imports/consistent012> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/imports/consistent012" >
   <owl:Ontology rdf:about="http://example.org/">
     <owl:imports>
         <owl:Ontology rdf:about=""/>
     </owl:imports>
   </owl:Ontology>

</rdf:RDF>
 
<http://example.org/> rdf:type owl:Ontology .
<imports/consistent012> rdf:type owl:Ontology .
<http://example.org/> owl:imports <imports/consistent012> .

Full Test de niveau d'importation : 013
Description : (informatif) <imports/Manifest013#test>
Une ontologie importée doit avoir un type owl:Ontology dans OWL DL.
Le format N3 est informatif.
Lite Document importé : <imports/imports013> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/imports/imports013" >
   
   <owl:Class rdf:ID="c" />

</rdf:RDF>
 
first:c rdf:type owl:Class .
Full Document principal : <imports/main013> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/imports/main013" >

   <owl:Ontology>
     <owl:imports rdf:resource="imports013"/>
   </owl:Ontology>

</rdf:RDF>
 
_:a rdf:type owl:Ontology .
_:a owl:imports <imports/imports013> .

Full Test de niveau d'importation : 014
Description : (informatif) <imports/Manifest014#test>
Dans l'importation d'un fichier avec une déclaration xml:base, si on utilise une adresse URL différente dans un triplet owl:imports, alors cette adresse URL n'a pas besoin d'un type explicite.
Le format N3 est informatif.
Lite Document importé : <imports/imports014> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/imports/imports014" >
    <owl:Ontology rdf:about=""/>

</rdf:RDF>
 
<imports/imports014> rdf:type owl:Ontology .
Full Document principal : <imports/main014> 
<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/imports/imports014#"
    xmlns:second="http://www.w3.org/2002/03owlt/imports/main014#"
    xml:base="http://www.w3.org/2002/03owlt/imports/main014" >
  <owl:Ontology>  
     <owl:imports rdf:resource="imports014.rdf"/>
  </owl:Ontology>

</rdf:RDF>
 
_:a rdf:type owl:Ontology .
_:a owl:imports <imports/imports014.rdf> .

7.1.23. owl:intersectionOf

Full Test d'inférence positive : 001
Description : (informatif) <intersectionOf/Manifest001#test>
L'ordre des classes dans une structure intersectionOf n'est pas significatif.
Le format N3 est informatif.
Full Prémisses : <intersectionOf/premises001> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/intersectionOf/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/intersectionOf/premises001" >

    <rdf:Description rdf:about="premises001#B">
        <owl:intersectionOf rdf:parseType="Collection">
            <rdf:Description rdf:about="premises001#Student"/>
            <rdf:Description rdf:about="premises001#Employee"/>
        </owl:intersectionOf>
    </rdf:Description>

    <rdf:Description rdf:about="premises001#C">
        <owl:intersectionOf rdf:parseType="Collection">
            <rdf:Description rdf:about="premises001#Employee"/>
            <rdf:Description rdf:about="premises001#Student"/>
        </owl:intersectionOf>
    </rdf:Description>

    <first:B rdf:about="premises001#John"/>

</rdf:RDF>
 
_:a rdf:first first:Employee .
_:a rdf:rest rdf:nil .
_:c rdf:first first:Student .
_:c rdf:rest _:a .
first:B owl:intersectionOf _:c .
_:e rdf:first first:Student .
_:e rdf:rest rdf:nil .
_:g rdf:first first:Employee .
_:g rdf:rest _:e .
first:C owl:intersectionOf _:g .
first:John rdf:type first:B .
Full Conclusions : <intersectionOf/conclusions001> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:first="http://www.w3.org/2002/03owlt/intersectionOf/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/intersectionOf/conclusions001" >

    <first:C rdf:about="premises001#John"/>

</rdf:RDF>
 
first:John rdf:type first:C .

7.1.24. owl:inverseOf

Full Test d'inférence positive : 001
Description : (informatif) <inverseOf/Manifest001#test>
Si le couple (x,y) est une instance de P, alors le couple (y,x) est une instance de la propriété nommée.
Le format N3 est informatif.
Espaces de nommage : 
@prefix my: <http://example.net/myVocab#> .
@prefix your: <http://example.net/yourVocab#> .
@prefix eg: <http://example.net/vocab#> .
Full Prémisses : <inverseOf/premises001> 
<rdf:RDF 
    xmlns:my="http://example.net/myVocab#"
    xmlns:eg="http://example.net/vocab#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xml:base='http://www.w3.org/2002/03owlt/inverseOf/premises001'
    xmlns:your="http://example.net/yourVocab#">

    <rdf:Description rdf:about="http://example.net/myVocab#hasBrother">
        <owl:inverseOf rdf:resource="http://example.net/yourVocab#isBrotherOf"/>
    </rdf:Description>

    <rdf:Description rdf:about="http://example.net/vocab#joe">
        <my:hasBrother rdf:resource="http://example.net/vocab#bob"/>
    </rdf:Description>
</rdf:RDF>
 
my:hasBrother owl:inverseOf your:isBrotherOf .
eg:joe my:hasBrother eg:bob .
Full Conclusions : <inverseOf/conclusions001> 
<rdf:RDF 
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xml:base='http://www.w3.org/2002/03owlt/inverseOf/conclusions001'
    xmlns:your="http://example.net/yourVocab#">

    <rdf:Description rdf:about="http://example.net/vocab#bob">
        <your:isBrotherOf rdf:resource="http://example.net/vocab#joe"/>
    </rdf:Description>
</rdf:RDF>
 
eg:bob your:isBrotherOf eg:joe .

7.1.25. owl:maxCardinality

Full Document incohérent. 001
Description : (informatif) <maxCardinality/Manifest001#test>
Une propriété avec une cardinalité maximale deux ne peut pas avoir trois valeurs distinctes pour un nœud sujet.
Le format N3 est informatif.
Full Incohérent : <maxCardinality/inconsistent001> 
<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/maxCardinality/inconsistent001#"
    xml:base="http://www.w3.org/2002/03owlt/maxCardinality/inconsistent001" >

    <rdf:Description rdf:about="inconsistent001#sb1">
        <rdf:type rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Restriction"/>
            <owl:maxCardinality
              rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
             >2</owl:maxCardinality>
            <owl:onProperty rdf:resource="inconsistent001#prop"/>
        </rdf:type>
        <first:prop rdf:resource="inconsistent001#ob1"/>
        <first:prop rdf:resource="inconsistent001#ob2"/>
        <first:prop rdf:resource="inconsistent001#ob3"/>
    </rdf:Description>

    <rdf:Description rdf:about="inconsistent001#ob1">
        <owl:differentFrom rdf:resource="inconsistent001#ob2"/>
        <owl:differentFrom rdf:resource="inconsistent001#ob3"/>
    </rdf:Description>

    <rdf:Description rdf:about="inconsistent001#ob2">
        <owl:differentFrom rdf:resource="inconsistent001#ob3"/>
    </rdf:Description>

    <owl:ObjectProperty rdf:about="inconsistent001#prop"/>

</rdf:RDF>
 
_:a rdf:type owl:Restriction .
_:a owl:maxCardinality "2"^^xsd:nonNegativeInteger  .
_:a owl:onProperty first:prop .
first:sb1 rdf:type _:a .
first:sb1 first:prop first:ob1 .
first:sb1 first:prop first:ob2 .
first:sb1 first:prop first:ob3 .
first:ob1 owl:differentFrom first:ob2 .
first:ob1 owl:differentFrom first:ob3 .
first:ob2 owl:differentFrom first:ob3 .
first:prop rdf:type owl:ObjectProperty .

Full Document incohérent. 002
Description : (informatif) <maxCardinality/Manifest002#test>
Une propriété avec une cardinalité maximale deux ne peut pas avoir trois valeurs distinctes pour un nœud sujet. Dans cet exemple, l'une des trois valeurs est implicite.
Le format N3 est informatif.
Full Incohérent : <maxCardinality/inconsistent002> 
<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/maxCardinality/inconsistent002#"
    xml:base="http://www.w3.org/2002/03owlt/maxCardinality/inconsistent002" >

    <rdf:Description rdf:about="inconsistent002#sb1">
        <rdf:type rdf:parseType="Resource">
            <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Restriction"/>
            <owl:maxCardinality
              rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
             >2</owl:maxCardinality>
            <owl:onProperty rdf:resource="inconsistent002#prop"/>
        </rdf:type>
        <first:prop rdf:resource="inconsistent002#ob1"/>
        <first:prop rdf:resource="inconsistent002#ob2"/>
        <first:otherprop rdf:resource="inconsistent002#ob3"/>
    </rdf:Description>

    <rdf:Description rdf:about="inconsistent002#ob1">
        <owl:differentFrom rdf:resource="inconsistent002#ob2"/>
        <owl:differentFrom rdf:resource="inconsistent002#ob3"/>
    </rdf:Description>

    <rdf:Description rdf:about="inconsistent002#ob2">
        <owl:differentFrom rdf:resource="inconsistent002#ob3"/>
    </rdf:Description>

    <owl:ObjectProperty rdf:about="inconsistent002#prop"/>

    <rdf:Description rdf:about="inconsistent002#otherprop">
        <rdfs:subPropertyOf rdf:resource="inconsistent002#prop"/>
    </rdf:Description>

</rdf:RDF>
 
_:a rdf:type owl:Restriction .
_:a owl:maxCardinality "2"^^xsd:nonNegativeInteger  .
_:a owl:onProperty first:prop .
first:sb1 rdf:type _:a .
first:sb1 first:prop first:ob1 .
first:sb1 first:prop first:ob2 .
first:sb1 first:otherprop first:ob3 .
first:ob1 owl:differentFrom first:ob2 .
first:ob1 owl:differentFrom first:ob3 .
first:ob2 owl:differentFrom first:ob3 .
first:prop rdf:type owl:ObjectProperty .
first:otherprop rdfs:subPropertyOf first:prop .

7.1.26. owl:oneOf

Full(EC) Document cohérent. 001
Description : (informatif) <oneOf/Manifest001#test>
La propriété oneOf n'indique pas que les individus nommés sont distincts. Donc une interprétation cohérente de ce fichier est celle où tous les noms d'individu désignent le même individu.
Le format N3 est informatif.
Full Cohérent : <oneOf/consistent001> 
<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/oneOf/consistent001#"
    xml:base="http://www.w3.org/2002/03owlt/oneOf/consistent001" >
   <owl:Class>
      <owl:oneOf rdf:parseType="Collection">
         <rdf:Description rdf:ID="amy"/>
         <rdf:Description rdf:ID="bob"/>
         <rdf:Description rdf:ID="caroline"/>
      </owl:oneOf>
      <owl:equivalentClass>
           <owl:Class>
             <owl:oneOf rdf:parseType="Collection">
               <rdf:Description rdf:ID="yolanda"/>
               <rdf:Description rdf:ID="zebedee"/>
             </owl:oneOf>
           </owl:Class>
      </owl:equivalentClass>
   </owl:Class>

</rdf:RDF>
 
_:a rdf:type owl:Class .
_:c rdf:first first:caroline .
_:c rdf:rest rdf:nil .
_:e rdf:first first:bob .
_:e rdf:rest _:c .
_:g rdf:first first:amy .
_:g rdf:rest _:e .
_:a owl:oneOf _:g .
_:i rdf:type owl:Class .
_:k rdf:first first:zebedee .
_:k rdf:rest rdf:nil .
_:m rdf:first first:yolanda .
_:m rdf:rest _:k .
_:i owl:oneOf _:m .
_:a owl:equivalentClass _:i .

Full Test d'inférence positive : 002
Description : (informatif) <oneOf/Manifest002#test>
La propriété oneOf décrit une classe en énumérant ses individus.
Le format N3 est informatif.
Full Prémisses : <oneOf/premises002> 
<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/oneOf/premises002#"
    xmlns:second="http://www.w3.org/2002/03owlt/oneOf/conclusions002#"
    xml:base="http://www.w3.org/2002/03owlt/oneOf/premises002" >

    <rdf:Description rdf:about="premises002#TShirt">
        <owl:oneOf rdf:parseType="Collection">
            <rdf:Description rdf:about="premises002#small"/>
            <rdf:Description rdf:about="premises002#medium"/>
            <rdf:Description rdf:about="premises002#large"/>
        </owl:oneOf>
    </rdf:Description>

</rdf:RDF>
 
_:a rdf:first first:large .
_:a rdf:rest rdf:nil .
_:c rdf:first first:medium .
_:c rdf:rest _:a .
_:e rdf:first first:small .
_:e rdf:rest _:c .
first:TShirt owl:oneOf _:e .
Full Conclusions : <oneOf/conclusions002> 
<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/oneOf/premises002#"
    xmlns:second="http://www.w3.org/2002/03owlt/oneOf/conclusions002#"
    xml:base="http://www.w3.org/2002/03owlt/oneOf/conclusions002" >

    <first:TShirt rdf:about="premises002#small"/>

</rdf:RDF>
 
first:small rdf:type first:TShirt .

Full Test d'inférence positive : 003
Description : (informatif) <oneOf/Manifest003#test>
L'ordre des instances dans une structure owl:oneOf n'est pas significatif.
Le format N3 est informatif.
Full Prémisses : <oneOf/premises003> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/oneOf/premises003#"
    xml:base="http://www.w3.org/2002/03owlt/oneOf/premises003" >

    <rdf:Description rdf:about="premises003#T1">
        <owl:oneOf rdf:parseType="Collection">
            <rdf:Description rdf:about="premises003#small"/>
            <rdf:Description rdf:about="premises003#medium"/>
            <rdf:Description rdf:about="premises003#large"/>
        </owl:oneOf>
    </rdf:Description>

    <rdf:Description rdf:about="premises003#T2">
        <owl:oneOf rdf:parseType="Collection">
            <rdf:Description rdf:about="premises003#large"/>
            <rdf:Description rdf:about="premises003#medium"/>
            <rdf:Description rdf:about="premises003#small"/>
        </owl:oneOf>
    </rdf:Description>

    <first:T1 rdf:about="premises003#myT"/>

</rdf:RDF>
 
_:a rdf:first first:large .
_:a rdf:rest rdf:nil .
_:c rdf:first first:medium .
_:c rdf:rest _:a .
_:e rdf:first first:small .
_:e rdf:rest _:c .
first:T1 owl:oneOf _:e .
_:g rdf:first first:small .
_:g rdf:rest rdf:nil .
_:i rdf:first first:medium .
_:i rdf:rest _:g .
_:k rdf:first first:large .
_:k rdf:rest _:i .
first:T2 owl:oneOf _:k .
first:myT rdf:type first:T1 .
Full Conclusions : <oneOf/conclusions003> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:first="http://www.w3.org/2002/03owlt/oneOf/premises003#"
    xml:base="http://www.w3.org/2002/03owlt/oneOf/conclusions003" >

    <first:T2 rdf:about="premises003#myT"/>

</rdf:RDF>
 
first:myT rdf:type first:T2 .

DL Full Test d'inférence positive : 004
Description : (informatif) <oneOf/Manifest004#test>
Ce test illustre l'utilisation de la propriété dataRange dans OWL DL. Ce test combine certaines des caractéristiques les plus affreuses de XML, RDF et OWL.
Le format N3 est informatif.
DL Prémisses : <oneOf/premises004> 
<!DOCTYPE rdf:RDF [
   <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#">
   <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#">
]>
<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/oneOf/premises004#"
 xml:base="http://www.w3.org/2002/03owlt/oneOf/premises004" >
 <owl:DatatypeProperty rdf:ID="p">
  <rdfs:range>
   <owl:DataRange>
    <owl:oneOf>
     <rdf:List>
      <rdf:first rdf:datatype="&xsd;integer">1</rdf:first>
      <rdf:rest>
       <rdf:List>
        <rdf:first rdf:datatype="&xsd;integer">2</rdf:first>
        <rdf:rest>
         <rdf:List>
          <rdf:first rdf:datatype="&xsd;integer">3</rdf:first>
          <rdf:rest>
           <rdf:List>
            <rdf:first rdf:datatype="&xsd;integer">4</rdf:first>
            <rdf:rest rdf:resource="&rdf;nil"/>
           </rdf:List>
          </rdf:rest>
         </rdf:List>
        </rdf:rest>
       </rdf:List>
      </rdf:rest>
     </rdf:List>
    </owl:oneOf>
   </owl:DataRange>
  </rdfs:range>
  <rdfs:range>
   <owl:DataRange>
    <owl:oneOf>
     <rdf:List>
      <rdf:first rdf:datatype="&xsd;integer">4</rdf:first>
      <rdf:rest>
       <rdf:List>
        <rdf:first rdf:datatype="&xsd;integer">5</rdf:first>
        <rdf:rest>
         <rdf:List>
          <rdf:first rdf:datatype="&xsd;integer">6</rdf:first>
          <rdf:rest rdf:resource="&rdf;nil"/>
         </rdf:List>
        </rdf:rest>
       </rdf:List>
      </rdf:rest>
     </rdf:List>
    </owl:oneOf>
   </owl:DataRange>
  </rdfs:range>
 </owl:DatatypeProperty>
 <owl:Thing rdf:ID="i">
  <rdf:type>
   <owl:Restriction>
    <owl:onProperty rdf:resource="#p"/>
    <owl:minCardinality rdf:datatype="&xsd;int">1</owl:minCardinality>
   </owl:Restriction>
  </rdf:type>
 </owl:Thing>
</rdf:RDF>
 
first:p rdf:type owl:DatatypeProperty .
_:a rdf:type owl:DataRange .
_:c rdf:type rdf:List .
_:c rdf:first "1"^^xsd:integer  .
_:e rdf:type rdf:List .
_:e rdf:first "2"^^xsd:integer  .
_:g rdf:type rdf:List .
_:g rdf:first "3"^^xsd:integer  .
_:i rdf:type rdf:List .
_:i rdf:first "4"^^xsd:integer  .
_:i rdf:rest rdf:nil .
_:g rdf:rest _:i .
_:e rdf:rest _:g .
_:c rdf:rest _:e .
_:a owl:oneOf _:c .
first:p rdfs:range _:a .
_:k rdf:type owl:DataRange .
_:m rdf:type rdf:List .
_:m rdf:first "4"^^xsd:integer  .
_:o rdf:type rdf:List .
_:o rdf:first "5"^^xsd:integer  .
_:q rdf:type rdf:List .
_:q rdf:first "6"^^xsd:integer  .
_:q rdf:rest rdf:nil .
_:o rdf:rest _:q .
_:m rdf:rest _:o .
_:k owl:oneOf _:m .
first:p rdfs:range _:k .
first:i rdf:type owl:Thing .
_:s rdf:type owl:Restriction .
_:s owl:onProperty first:p .
_:s owl:minCardinality "1"^^xsd:int  .
first:i rdf:type _:s .
Lite Conclusions : <oneOf/conclusions004> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/oneOf/premises004#"
    xml:base="http://www.w3.org/2002/03owlt/oneOf/conclusions004" >
   <owl:DatatypeProperty rdf:about="premises004#p"/>
   <owl:Thing rdf:about="premises004#i">
     <first:p rdf:datatype=
"http://www.w3.org/2001/XMLSchema#integer">4</first:p>
   </owl:Thing>
</rdf:RDF>
 
first:p rdf:type owl:DatatypeProperty .
first:i rdf:type owl:Thing .
first:i first:p "4"^^xsd:integer  .

7.1.27. owl:sameAs

Full Test d'inférence positive : 001
Description : (informatif) <sameAs/Manifest001#test>
Les propriétés d'annotation se rapportent à une instance de classe. La propriété sameAs, dans OWL Full, se rapporte également à l'instance de classe.
Le format N3 est informatif.
Full Prémisses : <sameAs/premises001> 
<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/sameAs/premises001#"
  xml:base="http://www.w3.org/2002/03owlt/sameAs/premises001" 
   >

   <owl:Class rdf:ID="c1">
     <owl:sameAs>
       <owl:Class rdf:ID="c2"/>
     </owl:sameAs>
     <first:annotate>description of c1</first:annotate>
   </owl:Class>

   <owl:AnnotationProperty rdf:ID="annotate" />

</rdf:RDF>
 
first:c1 rdf:type owl:Class .
first:c2 rdf:type owl:Class .
first:c1 owl:sameAs first:c2 .
first:c1 first:annotate "description of c1" .
first:annotate rdf:type owl:AnnotationProperty .
Lite Conclusions : <sameAs/conclusions001> 
<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/sameAs/premises001#"
 xml:base="http://www.w3.org/2002/03owlt/sameAs/conclusions001" 
 >

   <owl:Class rdf:about="premises001#c2">
     <first:annotate>description of c1</first:annotate>
   </owl:Class>
   <owl:AnnotationProperty rdf:about="premises001#annotate" />

</rdf:RDF>
 
first:c2 rdf:type owl:Class .
first:c2 first:annotate "description of c1" .
first:annotate rdf:type owl:AnnotationProperty .

7.1.28. owl:someValuesFrom

Full Test d'inférence positive : 001
Description : (informatif) <someValuesFrom/Manifest001#test>
Un exemple simple.
Le format N3 est informatif.
Lite Prémisses : <someValuesFrom/premises001> 
<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/someValuesFrom/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/premises001" >
    <owl:Class rdf:ID="r">
      <rdfs:subClassOf>
        <owl:Restriction>
            <owl:onProperty rdf:resource="#p"/>
            <owl:someValuesFrom rdf:resource="#c"/>
        </owl:Restriction>
      </rdfs:subClassOf>
    </owl:Class>
    <owl:ObjectProperty rdf:ID="p"/>
    <owl:Class rdf:ID="c"/>
    <first:r rdf:ID="i"/>
</rdf:RDF>
 
first:r rdf:type owl:Class .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:p .
_:a owl:someValuesFrom first:c .
first:r rdfs:subClassOf _:a .
first:p rdf:type owl:ObjectProperty .
first:c rdf:type owl:Class .
first:i rdf:type first:r .
Full Conclusions : <someValuesFrom/conclusions001> 
<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/someValuesFrom/premises001#"
    xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/conclusions001" >
    <rdf:Description rdf:about="premises001#i">
        <first:p>
           <first:c />
         </first:p>
    </rdf:Description>

</rdf:RDF>
 
_:a rdf:type first:c .
first:i first:p _:a .

Full(EC) Test d'inférence négative : 002
Description : (informatif) <someValuesFrom/Manifest002#test>
Un exemple simple montrant de quelle façon la propriété owl:someValuesFrom diffère de la propriété owl:allValuesFrom.
Le format N3 est informatif.
Full Prémisses : <someValuesFrom/premises002> 
<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/someValuesFrom/premises002#"
    xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/premises002" >
    <owl:Class rdf:ID="r">
      <rdfs:subClassOf>
        <owl:Restriction>
            <owl:onProperty rdf:resource="#p"/>
            <owl:someValuesFrom rdf:resource="#c"/>
        </owl:Restriction>
      </rdfs:subClassOf>
    </owl:Class>
    <owl:ObjectProperty rdf:ID="p"/>
    <owl:Class rdf:ID="c"/>
    <first:r rdf:ID="i">
       <first:p rdf:resource="#o"/>
    </first:r>
</rdf:RDF>
 
first:r rdf:type owl:Class .
_:a rdf:type owl:Restriction .
_:a owl:onProperty first:p .
_:a owl:someValuesFrom first:c .
first:r rdfs:subClassOf _:a .
first:p rdf:type owl:ObjectProperty .
first:c rdf:type owl:Class .
first:i rdf:type first:r .
first:i first:p first:o .
Full Conclusions : <someValuesFrom/nonconclusions002> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises002#"
    xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/nonconclusions002" >
    <first:c rdf:about="premises001#o"/>

</rdf:RDF>
 
<someValuesFrom/premises001#o> rdf:type first:c .

Lite Full Test d'inférence positive : 003
Description : (informatif) <someValuesFrom/Manifest003#test>
Une boucle infinie simple que les développeurs doivent éviter.
Le format N3 est informatif.
Lite Prémisses : <someValuesFrom/premises003> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises003#"
    xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/premises003" >
   <owl:Class rdf:ID="person">
     <owl:equivalentClass>
       <owl:Restriction>
         <owl:onProperty>
            <owl:ObjectProperty rdf:ID="parent"/>
         </owl:onProperty>
         <owl:someValuesFrom rdf:resource="#person" />
       </owl:Restriction>
      </owl:equivalentClass>
    </owl:Class>
    <first:person rdf:ID="fred" />

</rdf:RDF>
 
first:person rdf:type owl:Class .
_:a rdf:type owl:Restriction .
first:parent rdf:type owl:ObjectProperty .
_:a owl:onProperty first:parent .
_:a owl:someValuesFrom first:person .
first:person owl:equivalentClass _:a .
first:fred rdf:type first:person .
Lite Conclusions : <someValuesFrom/conclusions003> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:first="http://www.w3.org/2002/03owlt/someValuesFrom/premises003#"
    xml:base="http://www.w3.org/2002/03owlt/someValuesFrom/conclusions003" >
   <owl:ObjectProperty rdf:about="premises003#parent"/>
   <owl:Thing rdf:about="premises003#fred">
     <first:parent>
       <owl:Thing>
         <first:parent>
            <owl:Thing/>
         </first:parent>
       </owl:Thing>
     </first:parent>
   </owl:Thing>
</rdf:RDF>
 
first:parent rdf:type owl:ObjectProperty .
first:fred rdf:type owl:Thing .
_:a rdf:type owl:Thing .
_:c rdf:type owl:Thing .
_:a first:parent _:c .
first:fred first:parent _:a .

7.1.29. owl:unionOf

Full Test d'inférence positive : 001
Description : (informatif) <unionOf/Manifest001#test>
Une union est une superclasse de ses parties.
Le format N3 est informatif.
Full Prémisses : <unionOf/premises001> 
<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/unionOf/premises001#"
    xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions001#"
    xml:base="http://www.w3.org/2002/03owlt/unionOf/premises001" >

    <rdf:Description rdf:about="premises001#A">
        <owl:unionOf rdf:parseType="Collection">
            <rdf:Description rdf:about="premises001#Human"/>
            <rdf:Description rdf:about="premises001#Animal"/>
        </owl:unionOf>
    </rdf:Description>

    <first:Human rdf:about="premises001#John"/>

</rdf:RDF>
 
_:a rdf:first first:Animal .
_:a rdf:rest rdf:nil .
_:c rdf:first first:Human .
_:c rdf:rest _:a .
first:A owl:unionOf _:c .
first:John rdf:type first:Human .
Full Conclusions : <unionOf/conclusions001> 
<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/unionOf/premises001#"
    xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions001#"
    xml:base="http://www.w3.org/2002/03owlt/unionOf/conclusions001" >

    <first:A rdf:about="premises001#John"/>

</rdf:RDF>
 
first:John rdf:type first:A .

Full Test d'inférence positive : 002
Description : (informatif) <unionOf/Manifest002#test>
Une union se comporte pratiquement comme l'union de la théorie des ensembles.
Le format N3 est informatif.
Full Prémisses : <unionOf/premises002> 
<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/unionOf/premises002#"
    xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions002#"
    xml:base="http://www.w3.org/2002/03owlt/unionOf/premises002" >

    <rdf:Description rdf:about="premises002#A">
        <owl:unionOf rdf:parseType="Collection">
            <rdf:Description rdf:about="premises002#Human"/>
            <rdf:Description rdf:about="premises002#Animal"/>
        </owl:unionOf>
    </rdf:Description>

    <rdf:Description rdf:about="premises002#B">
        <owl:unionOf rdf:parseType="Collection">
            <rdf:Description rdf:about="premises002#Animal"/>
            <rdf:Description rdf:about="premises002#Human"/>
            <rdf:Description rdf:about="premises002#Stone"/>
        </owl:unionOf>
    </rdf:Description>

    <first:A rdf:about="premises002#John"/>

</rdf:RDF>
 
_:a rdf:first first:Animal .
_:a rdf:rest rdf:nil .
_:c rdf:first first:Human .
_:c rdf:rest _:a .
first:A owl:unionOf _:c .
_:e rdf:first first:Stone .
_:e rdf:rest rdf:nil .
_:g rdf:first first:Human .
_:g rdf:rest _:e .
_:i rdf:first first:Animal .
_:i rdf:rest _:g .
first:B owl:unionOf _:i .
first:John rdf:type first:A .
Full Conclusions : <unionOf/conclusions002> 
<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/unionOf/premises002#"
    xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions002#"
    xml:base="http://www.w3.org/2002/03owlt/unionOf/conclusions002" >

    <first:B rdf:about="premises002#John"/>

</rdf:RDF>
 
first:John rdf:type first:B .

DL Full Test d'inférence positive : 003
Description : (informatif) <unionOf/Manifest003#test>
Les ensembles avec les extensions appropriées sont reliés par la propriété unionOf.
Le format N3 est informatif.
DL Prémisses : <unionOf/premises003> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/unionOf/premises003" >
   <owl:Class rdf:ID="A">
     <owl:oneOf rdf:parseType="Collection">
       <owl:Thing rdf:ID="a"/>
     </owl:oneOf>
   </owl:Class>
   <owl:Class rdf:ID="B">
     <owl:oneOf rdf:parseType="Collection">
       <owl:Thing rdf:ID="b"/>
     </owl:oneOf>
   </owl:Class>
   <owl:Class rdf:ID="A-and-B">
     <owl:oneOf rdf:parseType="Collection">
       <owl:Thing rdf:about="#a"/>
       <owl:Thing rdf:about="#b"/>
     </owl:oneOf>
   </owl:Class>

</rdf:RDF>
 
first:A rdf:type owl:Class .
first:a rdf:type owl:Thing .
_:a rdf:first first:a .
_:a rdf:rest rdf:nil .
first:A owl:oneOf _:a .
first:B rdf:type owl:Class .
first:b rdf:type owl:Thing .
_:c rdf:first first:b .
_:c rdf:rest rdf:nil .
first:B owl:oneOf _:c .
first:A-and-B rdf:type owl:Class .
first:a rdf:type owl:Thing .
first:b rdf:type owl:Thing .
_:e rdf:first first:b .
_:e rdf:rest rdf:nil .
_:g rdf:first first:a .
_:g rdf:rest _:e .
first:A-and-B owl:oneOf _:g .
DL Conclusions : <unionOf/conclusions003> 
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/unionOf/conclusions003" >
   

   <owl:Class rdf:about="premises003#A-and-B">
     <owl:unionOf rdf:parseType="Collection">
       <owl:Class rdf:about="premises003#A"/>
       <owl:Class rdf:about="premises003#B"/>
     </owl:unionOf>
   </owl:Class>


</rdf:RDF>
 
first:A-and-B rdf:type owl:Class .
first:A rdf:type owl:Class .
first:B rdf:type owl:Class .
_:a rdf:first first:B .
_:a rdf:rest rdf:nil .
_:c rdf:first first:A .
_:c rdf:rest _:a .
first:A-and-B owl:unionOf _:c .

DL Full Test d'inférence positive : 004
Description : (informatif) <unionOf/Manifest004#test>
Un symétrique du test 003.
Le format N3 est informatif.
DL Prémisses : <unionOf/premises004> 
<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/unionOf/premises004#"
    xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions004#"
    xml:base="http://www.w3.org/2002/03owlt/unionOf/premises004" >


   <owl:Class rdf:about="#A-and-B">
     <owl:unionOf rdf:parseType="Collection">
       <owl:Class rdf:about="#A"/>
       <owl:Class rdf:about="#B"/>
     </owl:unionOf>
   </owl:Class>

   <owl:Class rdf:ID="A">
     <owl:oneOf rdf:parseType="Collection">
       <owl:Thing rdf:ID="a"/>
     </owl:oneOf>
   </owl:Class>
   <owl:Class rdf:ID="B">
     <owl:oneOf rdf:parseType="Collection">
       <owl:Thing rdf:ID="b"/>
     </owl:oneOf>
   </owl:Class>

</rdf:RDF>
 
first:A-and-B rdf:type owl:Class .
first:A rdf:type owl:Class .
first:B rdf:type owl:Class .
_:a rdf:first first:B .
_:a rdf:rest rdf:nil .
_:c rdf:first first:A .
_:c rdf:rest _:a .
first:A-and-B owl:unionOf _:c .
first:A rdf:type owl:Class .
first:a rdf:type owl:Thing .
_:e rdf:first first:a .
_:e rdf:rest rdf:nil .
first:A owl:oneOf _:e .
first:B rdf:type owl:Class .
first:b rdf:type owl:Thing .
_:g rdf:first first:b .
_:g rdf:rest rdf:nil .
first:B owl:oneOf _:g .
DL Conclusions : <unionOf/conclusions004> 
<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/unionOf/premises004#"
    xmlns:second="http://www.w3.org/2002/03owlt/unionOf/conclusions004#"
    xml:base="http://www.w3.org/2002/03owlt/unionOf/conclusions004" >


   <owl:Class rdf:about="premises004#A-and-B">
     <owl:oneOf rdf:parseType="Collection">
       <owl:Thing rdf:about="premises004#a"/>
       <owl:Thing rdf:about="premises004#b"/>
     </owl:oneOf>
   </owl:Class>

</rdf:RDF>
 
first:A-and-B rdf:type owl:Class .
first:a rdf:type owl:Thing .
first:b rdf:type owl:Thing .
_:a rdf:first first:b .
_:a rdf:rest rdf:nil .
_:c rdf:first first:a .
_:c rdf:rest _:a .
first:A-and-B owl:oneOf _:c .

suivant  introduction  table des matières  index