... | ... | @@ -6,11 +6,12 @@ This plug-in is still in development! Very probably you may experience faulty an |
|
|
# Installation
|
|
|
|
|
|
These steps are necessary in order to run the plug-in:
|
|
|
* Download the latest version of Protégé Desktop from [http://protege.stanford.edu/](http://protege.stanford.edu/) and follow the installation instructions. Note that the Debugger Plug-In is not compatible with Protégé version 4 and below.
|
|
|
* Download the latest version of Protégé Desktop from [http://protege.stanford.edu/](http://protege.stanford.edu/) and follow the installation instructions.
|
|
|
* Note that **the Debugger Plug-In is not compatible with Protégé version 4 and below**.
|
|
|
* Install the Ontology Debugger Plugin with Protégé's Update Function```File->Check for Plugins...``` and select *Ontology Debugger* ![installation_plugin](/uploads/19bb8181c61d7982936f275fe877d2b4/installation_plugin.png)
|
|
|
* **Alternatively** you can also download the [latest jar-file](http://isbi.aau.at/ontodebug/plugin) of the *Ontology Debugger* and copy the jar-File into the ```plugins``` subfolder of your Protégé 5 desktop client.
|
|
|
* If your Protégé client is already running, then you have to restart the client to load the plug-In.
|
|
|
* Once your Protégé client has restarted you will see an additional menu entry in ```Tools->Debug Ontology ...``` as shown here: ![debug_ontology_menuentry](/uploads/4d52afa2f4c3591f9e408cb193f85de5/debug_ontology_menuentry.png)*These three menu items in the Tools menu show that the Ontology Debugger is installed correctly*
|
|
|
* **As an alternative** you can also download the [latest jar-file](http://isbi.aau.at/ontodebug/plugin) of the *Ontology Debugger* and copy the jar-File into the ```plugins``` subfolder of your Protégé 5 desktop client.
|
|
|
* If your Protégé client is already running, you willhave to restart the client to load the plugin.
|
|
|
* After your Protégé client has restarted you will see an additional menu entry in ```Tools->Debug Ontology ...``` as shown here: ![debug_ontology_menuentry](/uploads/4d52afa2f4c3591f9e408cb193f85de5/debug_ontology_menuentry.png)*These three menu items in the Tools menu show that the Ontology Debugger is installed correctly*
|
|
|
|
|
|
# How to use the Ontology Debugger Plug-In in Protégé
|
|
|
The Ontology Debugger's main task is to ***support the user*** in the process of ***finding the faulty axioms*** in [inconsistent and/or incoherent ontologies](http://ontogenesis.knowledgeblog.org/1329).
|
... | ... | |