Changes

Page history
fixed wrong ontology url for camera ontology authored by Wolfgang Schmid's avatar Wolfgang Schmid
Hide whitespace changes
Inline Side-by-side
onto-debugger.md
View page @ 3641de99
...@@ -6,11 +6,12 @@ This plug-in is still in development! Very probably you may experience faulty an ...@@ -6,11 +6,12 @@ This plug-in is still in development! Very probably you may experience faulty an
# Installation # Installation
These steps are necessary in order to run the plug-in: 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) * 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. * **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, then you have to restart the client to load the plug-In. * If your Protégé client is already running, you willhave to restart the client to load the plugin.
* 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* * 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é # 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). 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).
... ...
......