... | ... | @@ -37,6 +37,8 @@ Select ```File->Open from URL... ``` ,enter the URL http://protege.stanford.edu/ |
|
|
The process of formulating queries and finding the faulty axioms the Ontology Debugger requires the usage of a reasoner.
|
|
|
You have to select a reasoner such as HermiT, Pellet, FaCT++ or ELK to be able to start a debugging session. For our tutorial let us choose the already installed *Hermit Reasoner* in the ```Reasoner``` menu. ![reasoner](/uploads/654ee6fdd1959cc9f947945776142d1b/reasoner.PNG)*The Ontology Debugger requires a reasoner. For our tutorial we choose HermiT.*
|
|
|
|
|
|
Please note that reasoners use different techniques to reason over ontologies. Therefore one reasoner may perform better than others on a specific ontology and worse on another ontology.
|
|
|
|
|
|
### Step 3: Open the Ontology Debugger Tab
|
|
|
|
|
|
Once you have loaded the *Koala ontology*, you can open the *Ontology Debugger Tab* by selecting ```Tools->Debug Ontology...``` in the menu. You can also open the tab by selecting ```Window->Tabs->Debugger```. The initial layout of the *Ontology Debugger* should look similar to this screenshot:
|
... | ... | |