iv id="types" class="types members">
              <h3>Type Members</h3>
              <ol><li name="net.sansa_stack.inference.spark.forwardchaining.axioms.ForwardRuleReasonerOWLHorst" visbl="pub" class="indented0 " data-isabs="false" fullComment="yes" group="Ungrouped">
      <a id="ForwardRuleReasonerOWLHorstextendsTransitiveReasoner"></a><a id="ForwardRuleReasonerOWLHorst:ForwardRuleReasonerOWLHorst"></a>
      <span class="permalink">
      <a href="../../../../../../net/sansa_stack/inference/spark/forw