owlproofs

September 9, 2014 · View on GitHub

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