4.0.0 dev.ikm.puli puli-parent 0.4.0 owlapi-proof OWL API Proof Extension Extension to the OWL API interfaces to represent and manipulate with proofs. The Apache Software License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0.txt repo dev.ikm.owlapi owlapi-api dev.ikm.jpms jsr305 ${project.groupId} puli ${project.version}