@@ -165,7 +165,7 @@ Acknowledging this decision by pressing __Submit__ causes the Ontology Debugger
Since the calculation may take some time - this heavily depends on the size and complexity of the ontology, on the preferred number of maximal ontology repairs, the selected reasoner and other influencing factors - a window pops up to inform the user about the progress of the calculation.
After the calculation has finished, the user is presented another Query and another set of possible repairs (see below).
After the calculation has finished, the user is presented a new query and a new set of possible repairs (see below).
The given answers are listed as __Entailed Testcases__ in the __Acquired Test Cases View__ in the mid section, since the user answered with *YES*. Negatively answered statements are listed as __Non Entailed Testcases__.
