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