... | ... | @@ -28,9 +28,9 @@ The Ontology Debugger's main task is to ***support the user*** in the process o |
|
|
- 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***.
|
|
|
- The answers given by the user are then taken into account in the process of narrowing down the set of faulty axiom sets (we also call such faulty axiom sets ***Possible Ontology Repairs*** or _diagnoses_).
|
|
|
- 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.
|
|
|
- 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 must 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.
|
|
|
|
|
|
# Tutorial
|
|
|
|
... | ... | |