... | @@ -24,7 +24,7 @@ These steps are necessary in order to run the plug-in: |
... | @@ -24,7 +24,7 @@ These steps are necessary in order to run the plug-in: |
|
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 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 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***.
|
|
- 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 dialog a ***Debugging Session***.
|
|
- Each axiom given in such a query can be read in the form of the question: ***Must this axiom be entailed by the desired ontology?*** or ***Is this axiom necessarily true in the domain that should be modeled by the ontology?***
|
|
- Each axiom given in such a query can be read in the form of the question: ***Must this axiom be entailed by the desired ontology?*** or ***Is this axiom necessarily true in the domain that should be modeled by the ontology?***
|
|
- The user responds with the answer _YES_ if she thinks that this axiom must hold for the ontology or _NO_ otherwise. It is also possible to leave an axiom unanswered.
|
|
- The user responds with the answer _YES_ if she thinks that this axiom must hold for the ontology or _NO_ otherwise. It is also possible to leave an axiom unanswered.
|
|
- Note that the ***axioms of a query*** can be either ***explicitly stated axioms in the faulty ontology*** or ***statements inferred from axioms in the ontology and the answers given for previous queries***.
|
|
- Note that the ***axioms of a query*** can be either ***explicitly stated axioms in the faulty ontology*** or ***statements inferred from axioms in the ontology and the answers given for previous queries***.
|
... | | ... | |