Skip to content

Changes

Page history
Adding a sidebar authored by Wolfgang Schmid's avatar Wolfgang Schmid
Show whitespace changes
Inline Side-by-side
onto-debugger.md
View page @ b5373891
...@@ -54,7 +54,9 @@ These two axioms are to be understood as questions generated from the Ontology D ...@@ -54,7 +54,9 @@ These two axioms are to be understood as questions generated from the Ontology D
The expert now has to answer _at least one_ question. If the expert thinks this statement or axiom is true, he answers by clicking on the ![plus0](/uploads/53e6de21ab2264a301910e4e31cbc7e4/plus0.PNG) icon (__Entailed__). If he believes that this statement is false, he answers by clicking on the ![minus0](/uploads/10c449a582f342be1211599213c6480b/minus0.PNG) icon (__Not Entailed__). The expert now has to answer _at least one_ question. If the expert thinks this statement or axiom is true, he answers by clicking on the ![plus0](/uploads/53e6de21ab2264a301910e4e31cbc7e4/plus0.PNG) icon (__Entailed__). If he believes that this statement is false, he answers by clicking on the ![minus0](/uploads/10c449a582f342be1211599213c6480b/minus0.PNG) icon (__Not Entailed__).
In our example we answer both questions with __Entailed__. Acknowledging this decision by pressing __Commit__ list both axioms in the __Answers__ section as well as in the list of __Entailed Testcases__ in the view for Test Cases in the left section. ![SecondSessionStep](/uploads/a57df3b75ec7a4cc11b722294283f424/SecondSessionStep.PNG) In our example we answer both questions with __Entailed__. Acknowledging this decision by pressing __Commit__ list both axioms in the __Answers__ section as well as in the list of __Entailed Testcases__ in the view for Test Cases in the left section.
![SecondSessionStep](/uploads/a57df3b75ec7a4cc11b722294283f424/SecondSessionStep.PNG)
Since we still have no solution the next set of diagnoses and queries are calculated. If we continue answering the questions we should finally find a diagnosis corresponding to our test cases and which represents the possible fault in the ontology. Since we still have no solution the next set of diagnoses and queries are calculated. If we continue answering the questions we should finally find a diagnosis corresponding to our test cases and which represents the possible fault in the ontology.
......