Extension to the OWL API interfaces to represent and manipulate with
proofs.
Compile Dependencies (3)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Apache 2.0
| | dev.ikm.jpms » jsr305 | 3.0.2-r6 | 3.0.2-r7 |
Apache 2.0
| | dev.ikm.owlapi » owlapi-api | 4.7.1 | 4.8.7 |
Apache 2.0
| | dev.ikm.puli
»
puli A library for manipulating with proofs based on inference rules. | 0.4.0 | 0.6.0 |