@@ -63,17 +63,17 @@ For our tutorial let us choose the already installed *Hermit Reasoner* in the ``
*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. Sometimes it might be helpful to select a different reasoner if the debugging is too time consuming [1].
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. Sometimes it might be helpful to select a different reasoner if the debugging is too time consuming or is throwing exceptions and errors (for more details about reasoners performance prediction see [1]).
### 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:
Once you 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:
*The Ontology Debugger Tab after the Koala ontology has been opened*
**Note:** if you do not see this layout or if you see errors then the layout has changed with a new version of the debugger. Please select ```Window->Reset selected tab to default state``` in such a case to display the current layout.
**Note:** if you do not see this layout or if you see errors then the layout has changed with a new version of the debugger. Please select ```Window->Reset selected tab to default state``` in such a case to display the default layout.
