lass="result"> extends <a href="TransitiveReasoner.html" class="extype" name="net.sansa_stack.inference.spark.forwardchaining.axioms.TransitiveReasoner">TransitiveReasoner</a></span>
      </span>
      
      <p class="shortcomment cmt">A forward chaining implementation for the OWL Horst entailment regime that works
on OWL axioms.</p><div class="fullcomment"><div class="comment cmt"><p>A forward chaining implementation for the OWL Horst entailment regime that works
on OWL axioms.</p><p>Rule names refer to 