OWL API Proof Extension owlapi-proof

Group	org.liveontologies
描述	Extension to the OWL API interfaces to represent and manipulate with proofs.
Packaging	bundle
Size	6.33 KB
文件	pom jar
网址	https://github.com/liveontologies/${project.artifactId}
发布时间	2017-10-13 19:31

dependencies

Group	Artifact	Version
${project.groupId}	puli	0.1.0
net.sourceforge.owlapi	owlapi-apibinding	4.2.6
net.sourceforge.owlapi	owlapi-api	4.2.6
net.sourceforge.owlapi	owlapi-impl	4.2.6
org.slf4j	slf4j-api	1.7.12
org.slf4j	slf4j-simple	1.7.12
junit	junit	4.11

developers

yevgeny	Yevgeny Kazakov	Institute of Artificial Intelligence, University of Ulm
pavel	Pavel Klinov	Institute of Artificial Intelligence, University of Ulm
petesko	Peter Skocovsky	Institute of Artificial Intelligence, University of Ulm

licenses

The Apache Software License, Version 2.0

http://www.apache.org/licenses/LICENSE-2.0.txt