protege.0.5.0.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 elk-protege Show documentation

ELK plug-in for Protege ontology editor

The newest version!

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>
<plugin>

<extension id="elk.reasoner.factory" point="org.protege.editor.owl.inference_reasonerfactory">
	<name value="ELK ${project.version}"/>
	<class value="org.semanticweb.elk.protege.ProtegeReasonerFactory"/>
</extension>

<extension id="elk.reasoner.configuration" point="org.protege.editor.owl.inference_preferences">
	<label value="ELK"/>
	<class value="org.semanticweb.elk.protege.ui.ElkPreferencesPanel"/>
</extension>

<extension id="elk.proofs" point="org.liveontologies.protege.explanation.proof.service">
   <name value="ELK"/>
   <class value="org.semanticweb.elk.protege.proof.ElkProofService"/>
</extension>

<extension id="elk.proofs.preferences" point="org.liveontologies.protege.explanation.proof.preferences">
    <label value="ELK"/>
    <class value="org.semanticweb.elk.protege.ui.ElkProofPreferencesPanel"/>
</extension>

<extension id="elk.prover" point="org.liveontologies.protege.justification.proof.JustificationProofService">
   <name value="ELK OWL Proof Service"/>
   <class value="org.semanticweb.elk.protege.proof.ElkOwlJustificationProofService"/>
</extension>

<extension id="elk.prover" point="org.liveontologies.protege.justification.proof.JustificationProofService">
   <name value="ELK Internal Proof Service"/>
   <class value="org.semanticweb.elk.protege.proof.ElkInternalJustificationProofService"/>
</extension>

</plugin>