protege.explanation-workbench.2.0.1.source-code.plugin.xml Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of explanation-workbench Show documentation

A plug-in that adds explanation facilities to the Protege Desktop ontology editor. Written by Matthew Horridge during his PhD at the University of Manchester.

There is a newer version: 3.0.1

Show newest version

<?xml version="1.0" ?>

<plugin>


    <extension id="explanationoverride" point="org.protege.editor.core.application.EditorKitHook">
        <class value="uk.ac.manchester.cs.owl.explanation.ExplanationEditorKitHook"/>
    </extension>

    <extension id="JustificationBasedExplanation"
               point="org.protege.editor.owl.explanation">
        <name value="Justification Based Explanation"/>
        <class value="uk.ac.manchester.cs.owl.explanation.JustificationBasedExplanationServiceImpl"/>
    </extension>


    <extension id="BlackBoxInconsistentOntologyExplanationGenerator"
               point="org.protege.editor.owl.inconsistentOntologyExplanation">
        <class value="uk.ac.manchester.cs.owl.explanation.InconsistentOntologyExplanationPluginImpl"/>
        <name value="Inconsistent Ontology Explanation"/>
    </extension>

    <!--<extension id="computeNonTrivialEntailments"-->
               <!--point="org.protege.editor.core.application.EditorKitMenuAction">-->
        <!--<name value="Compute non-trivial entailments..."/>-->
        <!--<class value="uk.ac.manchester.cs.owl.explanation.ui.ComputeNonTrivialEntailmentsAction"/>-->
        <!--<toolTip value="Computes non-trivial direct class subsumptions"/>-->
        <!--<path value="org.protege.editor.core.application.menu.Tools/SlotAA-G"/>-->
        <!--<editorKitId value="OWLEditorKit"/>-->
    <!--</extension>-->




</plugin>