OWL API Proof Extension

License	License The Apache Software License, Version 2.0
GroupId	GroupId org.liveontologies
ArtifactId	ArtifactId owlapi-proof
Last Version	Last Version 0.1.0
Release Date	Release Date Oct 13, 2017
Type	Type bundle
Description	Description OWL API Proof Extension Extension to the OWL API interfaces to represent and manipulate with proofs.
Project URL	Project URL https://github.com/liveontologies/owlapi-proof
Project Organization	Project Organization Live Ontologies Project
Source Code Management	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
Browse

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

Versions

Version
0.1.0 Oct 13, 2017