OWL API Proof Extension

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
Last Version	0.1.0
Release Date	Oct 13, 2017
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

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.

Versions

Version
0.1.0 Oct 13, 2017