title: Reasoner infers wrong axioms in protege
body: <p>I built an ontology in protege which has the following axioms:</p>
  
  <pre><code>Platform hasLocation SpatialThing
  Sensor hasLocation Spatialthing
  </code></pre>
  
  <p>Lets say a platform and a sensor have the same location.
  Then the reasoner infers that the sensor is also of type Platform, and the platform is also of type sensor which is wrong. How do I change that?
  That happens with all the reasoners available.
  Visually:</p>
  
  <pre><code>hasLocation domain: Platform, Sensor
  hasLocation range: SpatialThing 
  
  &lt;SensorInstance&gt; owl:Class Sensor
  &lt;SensorInstance&gt; hasLocation &lt;SpatialThingInstance&gt;
  Reasoner infers:
  &lt;SensorInstance&gt; owl:Class Platform
  </code></pre>