ProtegeReasonerPlugin - Revision history

https://protegewiki.stanford.edu/index.php?action=history&feed=atom&title=ProtegeReasonerPlugin ProtegeReasonerPlugin - Revision history 2026-05-21T11:03:06Z Revision history for this page on the wiki MediaWiki 1.27.7 https://protegewiki.stanford.edu/index.php?title=ProtegeReasonerPlugin&diff=2260&oldid=prev JenniferVendetti at 23:06, May 27, 2008 2008-05-27T23:06:11Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='en'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 23:06, May 27, 2008</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l89" >Line 89:</td> <td colspan="2" class="diff-lineno">Line 89:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://smi-protege.stanford.edu/repos/protege/protege-pellet-reasoner/trunk/src/edu/stanford/smi/protegex/owl/inference/pellet/ProtegePelletOWLAPIReasoner.java the Pellet accessed through OWL-API reasoner]</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://smi-protege.stanford.edu/repos/protege/protege-pellet-reasoner/trunk/src/edu/stanford/smi/protegex/owl/inference/pellet/ProtegePelletOWLAPIReasoner.java the Pellet accessed through OWL-API reasoner]</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Category:Protege <del class="diffchange diffchange-inline">Developer Documentation]]</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Category:Protege <ins class="diffchange diffchange-inline">developer documentation</ins>]]</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[Category:Protege 3 Documentation]]</del></div></td><td colspan="2"> </td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">[[Category:Protege-OWL Documentation</del>]]</div></td><td colspan="2"> </td></tr> </table>

JenniferVendetti https://protegewiki.stanford.edu/index.php?title=ProtegeReasonerPlugin&diff=2213&oldid=prev JenniferVendetti: categorizing page 2008-05-22T23:36:08Z

<p>categorizing page</p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='en'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 23:36, May 22, 2008</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l88" >Line 88:</td> <td colspan="2" class="diff-lineno">Line 88:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://smi-protege.stanford.edu/repos/protege/protege-pellet-reasoner/trunk/src/edu/stanford/smi/protegex/owl/inference/pellet/ProtegePelletJenaReasoner.java the Pellet accessed through Jena reasoner]</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://smi-protege.stanford.edu/repos/protege/protege-pellet-reasoner/trunk/src/edu/stanford/smi/protegex/owl/inference/pellet/ProtegePelletJenaReasoner.java the Pellet accessed through Jena reasoner]</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://smi-protege.stanford.edu/repos/protege/protege-pellet-reasoner/trunk/src/edu/stanford/smi/protegex/owl/inference/pellet/ProtegePelletOWLAPIReasoner.java the Pellet accessed through OWL-API reasoner]</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://smi-protege.stanford.edu/repos/protege/protege-pellet-reasoner/trunk/src/edu/stanford/smi/protegex/owl/inference/pellet/ProtegePelletOWLAPIReasoner.java the Pellet accessed through OWL-API reasoner]</div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Category:Protege Developer Documentation]]</ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Category:Protege 3 Documentation]]</ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Category:Protege-OWL Documentation]]</ins></div></td></tr> </table>

JenniferVendetti https://protegewiki.stanford.edu/index.php?title=ProtegeReasonerPlugin&diff=1036&oldid=prev TaniaTudorache at 22:42, November 17, 2007 2007-11-17T22:42:31Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='en'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 22:42, November 17, 2007</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l82" >Line 82:</td> <td colspan="2" class="diff-lineno">Line 82:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>The interface methods of <code>ProtegeReasoner</code> that you have to implement are well documented and it should be clear what to do.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>The interface methods of <code>ProtegeReasoner</code> that you have to implement are well documented and it should be clear what to do.</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>It is also a good idea to look at the existing reasoner plugin implementations from the SVN repository:  </div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>It is also a good idea to look at the existing reasoner plugin implementations from the <ins class="diffchange diffchange-inline">[http://smi-protege.stanford.edu/repos/protege/ Protege </ins>SVN repository<ins class="diffchange diffchange-inline">]</ins>:  </div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://smi-protege.stanford.edu/repos/protege/owl/trunk/src/edu/stanford/smi/protegex/owl/inference/dig/DefaultProtegeDIGReasoner.java the default DIG reasoner]</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://smi-protege.stanford.edu/repos/protege/owl/trunk/src/edu/stanford/smi/protegex/owl/inference/dig/DefaultProtegeDIGReasoner.java the default DIG reasoner]</div></td></tr> </table>

TaniaTudorache https://protegewiki.stanford.edu/index.php?title=ProtegeReasonerPlugin&diff=1035&oldid=prev TaniaTudorache: New page: <div style="background:#F0E6CA; border:1px solid #AE5B08; padding:10px 15px 10px 20px; margin:2em 0 0 0;"> <span class="orangeBoxTitle">Implementing a Protege-OWL Reasoner Plugin </span><b... 2007-11-17T22:21:38Z

<p>New page: <div style="background:#F0E6CA; border:1px solid #AE5B08; padding:10px 15px 10px 20px; margin:2em 0 0 0;"> <span class="orangeBoxTitle">Implementing a Protege-OWL Reasoner Plugin </span><b...</p> <p><b>New page</b></p><div><div style="background:#F0E6CA; border:1px solid #AE5B08; padding:10px 15px 10px 20px; margin:2em 0 0 0;"><br /> <span class="orangeBoxTitle">Implementing a Protege-OWL Reasoner Plugin </span><br /><br /><br /> <br /> A new plugin type, the '''Reasoner Plugin''', is available in Protege starting with version 3.4 beta 120 (from 2007/11/17). This page describes how you can implement your own reasoner plugin that will allow you to integrate another reasoner into Protege.<br /> <br /> </div><br /><br /><br /> <br /> __TOC__<br /> <br /> == Introduction ==<br /> <br /> Starting with '''Protege 3.4 beta 120''' (from 2007/11/17), the reasoner plugin will allow you to integrate other reasoners into Protege. The plugin reasoner will be accessible through the Protege user interface in the <i>Reasoning</i> menu. For example, you will be able to select in the <i>Reasoning</i> menu, your own reasoner and then all the reasoner related actions (e.g. "Classify taxonomy", "Compute inferred types" , etc.) will be run using your reasoner.<br /> <br /> In the same way, the reasoner will be accessible through the reasoning API that is documented [[ProtegeReasonerAPI|here]].<br /> <br /> All the reasoners that are distributed with the Protege installation and that are available in the <i>Reasoning</i> menu are also reasoner plugins.<br /> <br /> <br /> == Implement the ProtegeReasoner interface ==<br /> <br /> To create a new reasoner plugin, you will have to implement the [http://protege.stanford.edu/download/prerelease_javadoc_owl/edu/stanford/smi/protegex/owl/inference/reasoner/ProtegeReasoner.html ProtegeReasoner] interface.<br /> <br /> To make your life easier, you can start by subclassing the [http://protege.stanford.edu/download/prerelease_javadoc_owl/edu/stanford/smi/protegex/owl/inference/reasoner/AbstractProtegeReasoner.html AbstractProtegeReasoner] that already takes care of the synchronization between the OWL model and the reasoner in case that the OWL model has changed. It uses listeners for OWL model events (e.g. class deleted, created, etc.) and informs the reasoner that at the next request a full synchronization is necessary. It does not support currently an incremental approach to synchronization.<br /> <br /> <br /> '''TIP''': In case you implement a DIG reasoner, you may subclass the <code>DefaultProtegeDIGReasoner</code>, or if you want to use a Jena reasoner, you can subclass the <code>DefaultJenaReasoner</code> available in the <tt>protege-pellet.jar</tt> from the <tt>edu.stanford.smi.protegex.owl.inference.pellet</tt> plugin folder. (Yes, we should move the Jena reasoner to its own jar..)<br /> <br /> <br /> You should also implement the method:<br /> <br /> <pre><br /> public static String getReasonerName()<br /> </pre><br /> <br /> and return a nice name for your reasoner that will be shown in the <i>Reasoning</i> menu.<br /> <br /> <br /> It is also recommended that you implement the method:<br /> <br /> <pre><br /> public static isSuitable(Project prj, Collection errors)<br /> </pre><br /> <br /> in case your reasoner cannot handle certain types of Protege-OWL models. For example if your reasoner does not work with OWL databases, then <code>isSuitable</code> should return <tt>false</tt> for this case. Then, the plugin will not show up in the <i>Reasoning</i> menu for OWL database projects.<br /> <br /> <br /> == The trick to make it work ==<br /> <br /> Due to some limitation in the current implementation of the plugin architecure of Protege, you will have to make a trick to make Protege recognize your plugin: You will have to create an empty project plugin and package it in the same jar with the reasoner plugin implementation. (We'll try to fix this in the future).<br /> <br /> The implementation of the Project plugin can look like:<br /> <br /> <pre><br /> import edu.stanford.smi.protege.plugin.ProjectPluginAdapter;<br /> <br /> public class EmptyProjectPlugin extends ProjectPluginAdapter {<br /> <br /> }<br /> </pre><br /> <br /> <br /> == The manifest file ==<br /> <br /> In the manifest file containing your implementation of a reasoner plugin, please include the following entry, so that Protege can recognize your plugin:<br /> <br /> <pre><br /> Name: myPackage.MyReasonerPlugin.class<br /> ReasonerPlugin: True<br /> <br /> Name: myPackage.EmptyProjectPlugin.class<br /> Project-Plugin: True<br /> </pre><br /> <br /> Replace the <tt>myPackage.MyReasonerPlugin</tt> with the full Java path to the class that implements the <code>ProtegeReasoner</code> interface. The same for the project plugin.<br /> <br /> <br /> '''TIP''': In case this is the last line in your manifest file, then add an extra empty line.<br /> <br /> <br /> == Other tips ==<br /> <br /> The interface methods of <code>ProtegeReasoner</code> that you have to implement are well documented and it should be clear what to do.<br /> <br /> It is also a good idea to look at the existing reasoner plugin implementations from the SVN repository: <br /> <br /> * [http://smi-protege.stanford.edu/repos/protege/owl/trunk/src/edu/stanford/smi/protegex/owl/inference/dig/DefaultProtegeDIGReasoner.java the default DIG reasoner]<br /> * [http://smi-protege.stanford.edu/repos/protege/protege-pellet-reasoner/trunk/src/edu/stanford/smi/protegex/owl/inference/jena/DefaultJenaReasoner.java the Jena reasoner]<br /> * [http://smi-protege.stanford.edu/repos/protege/protege-pellet-reasoner/trunk/src/edu/stanford/smi/protegex/owl/inference/pellet/ProtegePelletJenaReasoner.java the Pellet accessed through Jena reasoner]<br /> * [http://smi-protege.stanford.edu/repos/protege/protege-pellet-reasoner/trunk/src/edu/stanford/smi/protegex/owl/inference/pellet/ProtegePelletOWLAPIReasoner.java the Pellet accessed through OWL-API reasoner]</div>

TaniaTudorache