... | ... | @@ -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__).
|
|
|
|
|
|
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.
|
|
|
|
... | ... | |