owlproofs
Extension to the OWL API to request proofs of entailments from the reasoner
0 stars
3 watching
0 forks
Language: Java
last commit: almost 10 years ago
Linked from 1 awesome list
Extension to the OWL API to request proofs of entailments from the reasoner