@@ -13,7 +13,9 @@ These steps are necessary in order to run the plug-in:
...
@@ -13,7 +13,9 @@ These steps are necessary in order to run the plug-in:
* If your Protégé client is already running, then you have to restart the client to load the plug-In. You should now see a new menu entry called ```Debugger``` as shown here: 
* If your Protégé client is already running, then you have to restart the client to load the plug-In. You should now see a new menu entry called ```Debugger``` as shown here: 
# 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 shall help the user to find errors in [inconsistent and/or incoherent ontologies](http://ontogenesis.knowledgeblog.org/1329). To demonstrate the features of the Ontology Debugger and how to use it, let us load the consistent but incoherent *Koala ontology*. Select ```File->Open from URL... ``` and enter the URL http://protege.stanford.edu/ontologies/koala.owl or simply select the URL from the Bookmarks. For this sample debugging session please also choose the provided *Hermit Reasoner* in the ```Reasoner``` menu.
The Ontology Debugger shall support the user in the process of finding errors in [inconsistent and/or incoherent ontologies](http://ontogenesis.knowledgeblog.org/1329).
To demonstrate the features of the Ontology Debugger and how to use it, let us load the consistent but incoherent *Koala ontology*. Select ```File->Open from URL... ``` and enter the URL http://protege.stanford.edu/ontologies/koala.owl or simply select the URL from the Bookmarks. For this sample debugging session please also choose the provided *Hermit Reasoner* in the ```Reasoner``` menu.
