jar

org.liveontologies : protege-proof-explanation

Maven & Gradle

Oct 12, 2017
1 usages

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.

Table Of Contents

Latest Version

Download org.liveontologies : protege-proof-explanation JAR file - Latest Versions:

All Versions

Download org.liveontologies : protege-proof-explanation 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-explanation-0.1.0.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

org.liveontologies.protege.explanation.proof.editing

├─ org.liveontologies.protege.explanation.proof.editing.ManchesterOWLSyntaxParserPatched.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.editing.OWLAxiomChecker.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.editing.OWLAxiomEditor.class - [JAR]

org.liveontologies.protege.explanation.proof.preferences

├─ org.liveontologies.protege.explanation.proof.preferences.ProofBasedExplPrefs.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.preferences.ProofBasedExplanationPreferencesGeneralPanel.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.preferences.ProofPrefPanel.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.preferences.ProofPreferencesPanelPlugin.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.preferences.ProofPreferencesPanelPluginLoader.class - [JAR]

org.liveontologies.protege.explanation.proof.list

├─ org.liveontologies.protege.explanation.proof.list.AbstractProofFrameListRow.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.list.ConclusionSection.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.list.InferenceRow.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.list.InferenceSection.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.list.MoreInferencesButton.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.list.MoreInferencesRow.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.list.NavButton.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.list.ProofFrame.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.list.ProofFrameList.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.list.ProofFrameListRenderer.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.list.ProofFrameListRow.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.list.ProofRoot.class - [JAR]

org.liveontologies.protege.explanation.proof

├─ org.liveontologies.protege.explanation.proof.ImportsClosureManager.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.ImportsClosureRecord.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.KeyEventManager.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.OWLRenderer.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.ProofBasedExplanationResult.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.ProofBasedExplanationService.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.ProofBasedInconsistencyExplanationPlugin.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.ProofManager.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.ProofServiceManager.class - [JAR]

org.liveontologies.protege.explanation.proof.service

├─ org.liveontologies.protege.explanation.proof.service.ProofPlugin.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.service.ProofPluginLoader.class - [JAR]

├─ org.liveontologies.protege.explanation.proof.service.ProofService.class - [JAR]

Advertisement

Dependencies from Group

Discover Dependencies

Dec 14, 2018
1 usages
Dec 14, 2018
1 usages
Mar 09, 2022
2 usages
Mar 09, 2022
2 usages
Mar 09, 2022
2 usages
Feb 07, 2023
2 usages
211 stars
Feb 07, 2023
2 usages
211 stars
Dec 22, 2017
7 usages
212 stars
Apr 06, 2021
2 usages
5 stars
Dec 17, 2020
1 usages