... | ... | @@ -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
|
|
|
|
|
|
[1]: http://www.cs.man.ac.uk/~sazonauv/SazonauThesis.pdf |
|
|
\ No newline at end of file |
|
|
[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 |
|
|
\ No newline at end of file |