protege.explanation-workbench.3.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.

The 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>

</plugin>