A plug-in for the Protégé Desktop ontology editor that adds an explanation service for displaying minimal subset of axioms (justifications) for entailments. Compared to the explanation-workbench plug-in bundled with Protégé, this plug-in can use custom services for computing justifications.
For further information, see https://github.com/liveontologies/protege-justification-explanation.
Protege Justification Explanation is tested to work with Protégé 5.5.0. It may work with other versions of Protégé.
To install, place all jar files inside the archive
protege-justification-explanation-0.1.1-SNAPSHOT.zip
into the plugins folder of the Protege installation.
The plug-in supports Protege Auto Update feature which can be used for upgrading to newer versions according to the instructions here:
http://protegewiki.stanford.edu/wiki/EnablePluginAutoUpdate
To develop extensions to be used with this plugin, use the following Maven dependency:
<dependency>
<groupId>org.liveontologies</groupId>
<artifactId>protege-justification-explanation</artifactId>
<version>0.1.0</version>
</dependency>
Each extension should be a plug-in that implements the new
extension points specified in
src/main/resources/plugin.xml.
See Plugin Anatomy for general information about developing Protégé plugins.
To use snapshots versions of this library (if not compiled from sources), please add
the Sonatype OSSRH snapshot repository either to your pom.xml or settings.xml:
<repositories>
<repository>
<id>ossrh-snapshots</id>
<url>https://oss.sonatype.org/content/repositories/snapshots</url>
<snapshots>
<enabled>true</enabled>
</snapshots>
</repository>
</repositories>
Protege Justification Explanation is Copyright (c) 2016 - 2024 Live Ontologies Project
All sources of this project are available under the terms of the
Apache License 2.0
(see the file LICENSE.txt).