le="A forward chaining implementation for the OWL Horst entailment regime that works on OWL axioms.">ForwardRuleReasonerOWLHorst</a>
                      </li><li class="current-entities indented6">
                        <span class="separator"></span>
                        <a class="class" href="ForwardRuleReasonerRDFS.html" title="A forward chaining implementation for the RDFS entailment regime that works on OWL axioms."></a>
                        <a href="ForwardRuleReasonerRDFS.html" title="A for