... | ... | @@ -13,7 +13,7 @@ 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: ![menu](/uploads/e18d0faaa937e2ff179e729fb760d175/menu.PNG)
|
|
|
|
|
|
# How to use the Ontology Debugger Plug-In in Protégé
|
|
|
To demonstrate the features of our Debugger Plug-In and how to use it, let us load the *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 demo please also select the provided *Hermit Reasoner* in the ```Reasoner``` menu.
|
|
|
The Ontology Debugger shall help the user to find errors in [inconsistent and/or incoherent ontologies](http://ontogenesis.knowledgeblog.org/1343). 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 demo please also select the provided *Hermit Reasoner* in the ```Reasoner``` menu.
|
|
|
|
|
|
![koala](/uploads/3de58c1126cd7b4b641a131c28195ca7/koala.PNG)
|
|
|
|
... | ... | |