title: swrl rules to infer dataProperty values
body: <p>I'm trying to test a simple SWRL rule. There are three Classes in my ontology: LivingPlace which has two sub-classes RuralArea and City. LivingPlace is the domain of the dataProperty hasHospital which has  the range boolean.</p>
  
  <p>When I test the following rule with Pellet reasoner, the individual I created as a member of LivingPlace is also inferred as a member of RuralArea.</p>
  
  <blockquote>
    <p>LivingPlace(?lp), hasHospital(?lp, false) &rarr; RuralArea(?lp)</p>
  </blockquote>
  
  <p>However, what I really want to do is the reverse of this reasoning.</p>
  
  <blockquote>
    <p>RuralArea(?lp) &rarr; hasHospital(?lp, false)</p>
  </blockquote>
  
  <p>Whenever I create an individual of type RuralArea, I want Pellet to infer a hasHospital of false.  How can I do this?</p>