@@ -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  icon (__Entailed__). If he believes that this statement is false, he answers by clicking on the  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  icon (__Entailed__). If he believes that this statement is false, he answers by clicking on the  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. 
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.
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.
