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