owlproofs

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

GitHub

0 stars
3 watching
0 forks
Language: Java
last commit: almost 10 years ago
Linked from 1 awesome list


Backlinks from these awesome lists: