| Name | Type | Package | Detail |
| BasicForwardRuleReasoner | Class | reasoner.rulesys | Detail |
| FBRuleReasoner | Class | reasoner.rulesys | Detail |
| GenericRuleReasoner | Class | reasoner.rulesys | Detail |
| LPBackwardRuleReasoner | Class | reasoner.rulesys | Detail |
| OWLFBRuleReasoner | Class | reasoner.rulesys | Detail |
| OWLMicroReasoner | Class | reasoner.rulesys | Detail |
| OWLMiniReasoner | Class | reasoner.rulesys | Detail |
| RDFSFBRuleReasoner | Class | reasoner.rulesys | Detail |
| RDFSForwardRuleReasoner | Class | reasoner.rulesys | Detail |
| RDFSRuleReasoner | Class | reasoner.rulesys | Detail |
| TransitiveReasoner | Class | reasoner.transitiveReasoner | Detail |
