jar

io.github.liveontologies : protege-proof-justification

Maven & Gradle

May 24, 2024

Protege Proof Justification · A plug-in for the [Protégé Desktop](https://protege.stanford.edu) ontology editor that provides a service for the [Protege Justification Explanation](https://github.com/liveontologies/protege-justification-explanation) plug-in. This service computes justifications from proofs using the [Proof Utility Library PuLI](https://github.com/liveontologies/puli).

Table Of Contents

Latest Version

Download io.github.liveontologies : protege-proof-justification JAR file - Latest Versions:

All Versions

Download io.github.liveontologies : protege-proof-justification JAR file - All Versions:

Version Vulnerabilities Size Updated
0.1.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window protege-proof-justification-0.1.0.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

io.github.liveontologies.protege.justification.proof.preferences

├─ io.github.liveontologies.protege.justification.proof.preferences.ProofJustificationPreferencesGeneralPanel.class - [JAR]

├─ io.github.liveontologies.protege.justification.proof.preferences.ProofPrefPanel.class - [JAR]

├─ io.github.liveontologies.protege.justification.proof.preferences.ProofPreferencesPanelPlugin.class - [JAR]

├─ io.github.liveontologies.protege.justification.proof.preferences.ProofPreferencesPanelPluginLoader.class - [JAR]

io.github.liveontologies.protege.justification.proof.service

├─ io.github.liveontologies.protege.justification.proof.service.JustificationProofPluginLoader.class - [JAR]

├─ io.github.liveontologies.protege.justification.proof.service.JustificationProofService.class - [JAR]

├─ io.github.liveontologies.protege.justification.proof.service.ProofPlugin.class - [JAR]

io.github.liveontologies.protege.justification.proof

├─ io.github.liveontologies.protege.justification.proof.JustificationProofManager.class - [JAR]

├─ io.github.liveontologies.protege.justification.proof.JustificationProofServiceManager.class - [JAR]

├─ io.github.liveontologies.protege.justification.proof.JustificationProofServiceSelectionPanel.class - [JAR]

├─ io.github.liveontologies.protege.justification.proof.JustifiedProof.class - [JAR]

├─ io.github.liveontologies.protege.justification.proof.ProofBasedJustificationComputationService.class - [JAR]

├─ io.github.liveontologies.protege.justification.proof.ProofJustificationComputation.class - [JAR]

├─ io.github.liveontologies.protege.justification.proof.ProofJustificationComputationManager.class - [JAR]