... | ... | @@ -111,7 +111,7 @@ Next to the set of Acquired Test Cases you have the **Original Test Cases** show |
|
|
While the Aquired Test Cases lists the answers the user has given the Original Test Cases list manually added axioms that the user wants to be entailed or not entailed in the intended ontology.
|
|
|
![image](/uploads/944a1007a47741af7ebc0c92d1f4de26/image.png)
|
|
|
|
|
|
* The Original Test Cases lists handcrafted entailed and non-entailed test cases*
|
|
|
*The Original Test Cases lists handcrafted entailed and non-entailed test cases*
|
|
|
|
|
|
#### Queries View
|
|
|
|
... | ... | |