@@ -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.
* 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: 
* Once your Protégé client has restarted you will see an additional menu entry in ```Tools->Debug Ontology ...```as shown here: 
# 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).
