title: OWL: inverse of a property
body: <p>Let's say we have four properties : </p>
  
  <pre><code>ObjectProperty: superProp1 
         InverseOf: superProp3   
  
  ObjectProperty: prop1  
        InverseOf: prop2       
        SubPropertyOf:superProp1   
  
  ObjectProperty: prop2  
        InverseOf: prop1   
  
  ObjectProperty: superProp3 
  </code></pre>
  
  <p>Pellet deduces that <code>prop2</code> is a subproperty of <code>superProp3</code>.<br>
  I can't understand this result.</p>