OWL API Proof Extension 0.1.0

Extension to the OWL API interfaces to represent and manipulate with proofs.

License	The Apache Software License, Version 2.0
GroupId	org.liveontologies
ArtifactId	owlapi-proof
Version	0.1.0
Type	bundle
Description	OWL API Proof Extension Extension to the OWL API interfaces to represent and manipulate with proofs.
Project URL	https://github.com/liveontologies/owlapi-proof
Project Organization	Live Ontologies Project
Source Code Management	https://github.com/liveontologies/owlapi-proof

Download owlapi-proof 0.1.0

Filename	Size
owlapi-proof-0.1.0.pom
owlapi-proof-0.1.0.jar	6 KB
owlapi-proof-0.1.0-sources.jar	10 KB
owlapi-proof-0.1.0-javadoc.jar	29 KB

Dependencies

compile (1)

Group / Artifact	Type	Version
org.liveontologies : puli	jar	0.1.0

provided (4)

Group / Artifact	Type	Version
net.sourceforge.owlapi : owlapi-apibinding	jar	4.2.6
net.sourceforge.owlapi : owlapi-api	jar	4.2.6
net.sourceforge.owlapi : owlapi-impl	jar	4.2.6
org.slf4j : slf4j-api	jar	1.7.12

test (2)

Group / Artifact	Type	Version
org.slf4j : slf4j-simple	jar	1.7.12
junit : junit	jar	4.11

Project Modules

There are no modules declared in this project.