Protege Proof Justification

A plug-in for the Protégé Desktop ontology editor that provides a service for the Protege Justification Explanation plug-in. This service computes justifications from proofs using the Proof Utility Library PuLI.

For further information, see https://github.com/liveontologies/protege-proof-justification.

Prerequisites

Protege Proof Justification is tested to work with Protégé 5.5.0. It may work with other versions of Protégé.

Installation

To install, place all jar files inside the archive

protege-proof-justification-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

Development

To develop extensions to be used with this plug-in, use the following Maven dependency:

<dependency>
  <groupId>io.github.liveontologies</groupId>
  <artifactId>protege-proof-justification</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 using which proofs for entailments can be obtained.

See Plugin Anatomy for general information about developing Protégé plug-ins.

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://s01.oss.sonatype.org/content/repositories/snapshots</url>
    <snapshots>
      <enabled>true</enabled>
    </snapshots>
  </repository>
</repositories>

License

Protege Proof Justification 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).