Changes

Page history
Some minor improvements in the documentation authored by Patrick Rodler's avatar Patrick Rodler
Show whitespace changes
Inline Side-by-side
onto-debugger.md
View page @ bc955972
...@@ -11,7 +11,7 @@ These steps are necessary in order to run the plug-in: ...@@ -11,7 +11,7 @@ These steps are necessary in order to run the plug-in:
* **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. * **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. * 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 ...``` like shown here: ![debug_ontology_menuentry](/uploads/bee8628627ac19886a99ffa6cc7d8b55/debug_ontology_menuentry.PNG) * 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/bee8628627ac19886a99ffa6cc7d8b55/debug_ontology_menuentry.PNG)
# 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).
... ...
......