Extension to the OWL API to request proofs of entailments from the reasoner
klinovp / owlproofs Goto Github PK
View Code? Open in Web Editor NEWExtension to the OWL API to request proofs of entailments from the reasoner
License: Apache License 2.0