Whelk is an OWL EL reasoner
RDF rule engine
Translation of OWL 2 RL axioms into Jena/Arachne rules
OWL diff library