Next: About this document ...
Up: Evaluation Results
Previous: Entailment
Beginning: ORE 2012 Evaluation
Instance Retrieval
The evaluation results for non entailment evaluation are depicted in Table 21
![[*]](crossref.png)
.
Table 21:
Instance retrieval evaluation results
| |
FaCT++ |
HermiT |
jcel |
| ALT, ms |
7 |
18 |
6 |
| ART, ms |
1301 |
1583 |
180 |
| #tests |
9 |
9 |
1 |
| CORRECT |
9 |
9 |
1 |
| INCORRECT |
0 |
0 |
0 |
| NO-REF |
0 |
0 |
0 |
| EXCEPTION |
0 |
0 |
0 |
| TIMEOUT |
0 |
0 |
0 |