... | ... | @@ -32,10 +32,11 @@ The Ontology Debugger's main task is to ***support the user*** in the process o |
|
|
- As long as there is more than one possible ontology repair, the Ontology Debugger is repeating the dialog and states further queries to the user.
|
|
|
- Once there is only one repair set of faulty axioms that explain the incoherency/inconsistency, the interaction is finished and no more questions are generated.
|
|
|
- Note that once a possible ontology repair set of faulty axioms (or diagnosis) is found this means that ***every axiom*** in this set is responsible for the inconsistency/incoherency in the ontology.
|
|
|
- **Remark**: The user of the Ontology Debugger is ***not*** required to analyze
|
|
|
1. which entailments (or statements) do or do not hold or why certain entailments (or statements) do or do not hold ***in the faulty input ontology*** or
|
|
|
2. ***why exactly the input ontology is faulty***.
|
|
|
- The user is just assumed to answer questions about what should be true or not true ***in the intended ontology or domain model***, respectively. Given the answers, the Ontology Debugger will return what must be repaired in the faulty input ontology.
|
|
|
- **Remark**:
|
|
|
- The user of the Ontology Debugger is ***not*** required to analyze
|
|
|
1. which entailments (or statements) do or do not hold or why certain entailments (or statements) do or do not hold ***in the faulty input ontology*** or
|
|
|
2. ***why exactly the input ontology is faulty***.
|
|
|
- The user is just assumed to answer questions about what should be true or not true ***in the intended ontology or domain model***, respectively. Given the answers, the Ontology Debugger will return what must be repaired in the faulty input ontology.
|
|
|
|
|
|
<br><br>
|
|
|
# Tutorial
|
... | ... | |