@@ -21,7 +21,7 @@ These steps are necessary in order to run the plug-in:
<br><br>
# About the Ontology Debugger Plug-In for 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).
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)[1].
- The process of finding the faulty axioms in the ontology that are responsible for the inconsistency/incoherency is done by ***interacting with the user***.
- The interaction with the user takes place in the way of ***iteratively stating questions*** (or queries) to the user in the form of axioms - we call this interaction a ***Debugging Session***.
...
...
@@ -63,7 +63,7 @@ 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 or is throwing exceptions and errors (for more details about reasoners performance prediction see [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 [2]).
### Step 3: Open the Ontology Debugger Tab
...
...
@@ -307,5 +307,9 @@ These default preferences were used for this tutorial.
**enrich and optimize query**: _yes_
<br><br>
# Citations
[1] Uli Sattler,Robert Stevens,Phillip Lord (2013) (I can’t get no) satisfiability. Ontogenesis. http://ontogenesis.knowledgeblog.org/1329
[2] V. Sazonau "Performance Prediction of OWL Reasoners" Master's thesis, The University of Manchester PDF, http://www.cs.man.ac.uk/~sazonauv/SazonauThesis.pdf
