4.0.0 owlapi-proof org.liveontologies 0.1.0 bundle OWL API Proof Extension Extension to the OWL API interfaces to represent and manipulate with proofs. https://github.com/liveontologies/${project.artifactId} scm:git:https://github.com/liveontologies/${project.artifactId}.git scm:git:git@github.com:liveontologies/${project.artifactId}.git https://github.com/liveontologies/${project.artifactId} HEAD The Apache Software License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0.txt repo Live Ontologies Project http://liveontologies.org 2014 yevgeny Yevgeny Kazakov yevgeny.kazakov@uni-ulm.de Institute of Artificial Intelligence, University of Ulm http://www.uni-ulm.de/en/in/ki.html developer 1 pavel Pavel Klinov pavel.klinov@uni-ulm.de Institute of Artificial Intelligence, University of Ulm http://www.uni-ulm.de/en/in/ki.html developer 1 petesko Peter Skocovsky peter.skocovsky@uni-ulm.de Institute of Artificial Intelligence, University of Ulm http://www.uni-ulm.de/en/in/ki.html developer 1 UTF-8 4.2.6 ${project.groupId}.owlapi.proof ${project.groupId} puli 0.1.0 net.sourceforge.owlapi owlapi-apibinding ${owlapi.version} provided net.sourceforge.owlapi owlapi-api ${owlapi.version} provided net.sourceforge.owlapi owlapi-impl ${owlapi.version} provided org.slf4j slf4j-api 1.7.12 provided org.slf4j slf4j-simple 1.7.12 test junit junit 4.11 test ossrh https://oss.sonatype.org/content/repositories/snapshots org.eclipse.m2e lifecycle-mapping 1.0.0 org.codehaus.mojo build-helper-maven-plugin [1.0,) timestamp-property true true org.apache.maven.plugins maven-compiler-plugin 3.0 1.6 1.6 org.codehaus.mojo animal-sniffer-maven-plugin 1.15 org.codehaus.mojo.signature java16 1.0 ensure-java-1.6-class-library test check org.apache.felix maven-bundle-plugin 3.0.1 true ${pluginId};singleton:=true ${project.organization.name} ${pluginId}.* bundle-manifest install manifest org.codehaus.mojo license-maven-plugin 1.9 false true java java first update-file-header update-project-license package apache_v2 src/main/java src/test/java org.codehaus.mojo build-helper-maven-plugin 1.11 set-current-year timestamp-property currentYear yyyy en,US maven-resources-plugin 2.7 filter-main-resources package copy-resources ${basedir} src/main/resources true README.txt org.sonatype.plugins nexus-staging-maven-plugin 1.6.7 true ossrh https://oss.sonatype.org/ true eclipse org.apache.felix maven-bundle-plugin true META-INF release org.apache.maven.plugins maven-source-plugin 3.0.1 attach-sources jar-no-fork org.apache.maven.plugins maven-javadoc-plugin 3.0.0-M1 attach-javadocs jar org.apache.maven.plugins maven-gpg-plugin 1.6 sign-artifacts verify sign