Awesome

owlproofs

Extension to the OWL API to request proofs of entailments from the reasoner