owlproofs
Extension to the OWL API to request proofs of entailments from the reasoner
Extension to the OWL API to request proofs of entailments from the reasoner
Extension to the OWL API to request proofs of entailments from the reasoner
Extension to the OWL API to request proofs of entailments from the reasoner
Apache License 2.0