title: Transitive and Inverse properties in Protege
body: <p>I have modeled the following object properties in my Ontology:</p>
  
  <pre><code>Harbor locatedIn some City
  City locatedIn some Country
  </code></pre>
  
  <p>I want the inferential engine to infer that a </p>
  
  <pre><code>Harbor locatedIn some Country
  </code></pre>
  
  <p>Moreover, I want him to infer that a </p>
  
  <pre><code>City hasHarbor(another object property) some Harbor
  </code></pre>
  
  <p>Thank you for your help.</p>