title: OWL: How to get inheritance of property relations between two classes from those of superclasses?
body: <p>Let's say we have two classes named <code>People</code> and <code>Disease</code>. These classes are related by the Object Property <code>has</code>. </p>
  
  <pre><code>:People :has :Disease
  </code></pre>
  
  <p><code>People</code> has subclass (or individual) <code>John</code>, and <code>Disease</code> has subclass (or individual) <code>Cancer</code>.</p>
  
  <pre><code>:John a :People
  :Cancer a :Disease
  </code></pre>
  
  <p>How can we get the relationship between these subclasses by inference?</p>
  
  <pre><code>:John :has :Cancer
  </code></pre>