4.0.0 protege-proof-explanation org.liveontologies 0.1.0 bundle Protege Proof-Based Explanation This is a plug-in that adds proof-based explanation facilities to the Protege Desktop ontology editor. It registers as an extension to the Protege explanation services and defines an extension point using which OWL proofs can be provided by other Protege plug-ins. The main functionality of this plug-in is displaying, navigating, and updating those proofs in the user interface. 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 saa Alexander Stupnikov saarus72@gmail.com Tyumen State University, Russia developer 5 UTF-8 5.0.0 4.2.5 ${project.groupId}.protege.explanation.proof ${pluginId}.service ${pluginId}.preferences ${project.artifactId}-${project.version} ${parsedVersion.majorVersion}.${parsedVersion.minorVersion}.${parsedVersion.incrementalVersion} https://raw.githubusercontent.com/liveontologies/protege-proof-explanation/release ossrh https://oss.sonatype.org/content/repositories/snapshots true false edu.stanford.protege protege-editor-core ${protege.version} edu.stanford.protege protege-editor-owl ${protege.version} net.sourceforge.owlapi owlapi-osgidistribution ${owlapi.version} ${project.groupId} puli 0.1.0 com.google.guava guava 18.0 org.slf4j slf4j-api 1.7.12 com.google.code.findbugs jsr305 2.0.3 provided org.eclipse.equinox org.eclipse.equinox.registry 3.5.101 org.apache.servicemix.bundles org.apache.servicemix.bundles.javax-inject 1_2 junit junit 4.12 test ossrh https://oss.sonatype.org/content/repositories/snapshots ${basedir}/src/main/resources plugin.xml true org.eclipse.m2e lifecycle-mapping 1.0.0 org.codehaus.mojo build-helper-maven-plugin [1.0,) timestamp-property parse-version true true org.apache.maven.plugins maven-compiler-plugin 3.0 1.8 1.8 org.apache.felix maven-bundle-plugin 3.0.1 true ${pluginId};singleton:=true ${project.organization.name} ${extensionId},${extensionPreferencesId} ${update.url}/p5.update.properties 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-osgi-versions parse-version set-current-year timestamp-property currentYear yyyy en,US set-build-date timestamp-property package buildDate yyyy-MM-dd en,US maven-resources-plugin 2.7 filter-main-resources package copy-resources ${basedir} src/main/resources true p5.update.properties README.txt filter-changes-xml package copy-resources ${project.build.directory} ${basedir}/src/changes true changes.xml org.apache.maven.plugins maven-changes-plugin 2.12 ${basedir}/target/changes.xml templates ${project.build.directory} ${project.organization.name} team check-changes verify changes-check generate-changes-file package announcement-generate Changes.txt generate-protege-version-info package announcement-generate p5.version-info.txt ${basedir} generate-email-announcement package announcement-generate announcement.txt maven-assembly-plugin plugin-zip package single false ${basedir}/src/assembly/plugin-zip.xml org.apache.maven.plugins maven-dependency-plugin analyze analyze-only false org.sonatype.plugins nexus-staging-maven-plugin 1.6.7 true ossrh https://oss.sonatype.org/ true eclipse maven-resources-plugin 2.7 copy-plugin-xml-for-eclipse validate copy-resources ${basedir} src/main/resources plugin.xml true 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 package sign