Table 7.
Results for the user submitted ontologies
| Reasoner | VFB-EPNT | VFB-KB | VFB-NCT |
|---|---|---|---|
| Consistency | |||
| Chainsaw | 12.82 | Timeout | 12.71 |
| FaCT++ | 10.20 | Timeout | 10.27 |
| HermiT | 11.11 | Timeout | 12.00 |
| HermiT-OA4 | 10.43 | Error | 9.83 |
| Jfact | 121.92 | Timeout | 120.33 |
| Konclude | 3.73 | 3.81 | 3.93 |
| MORe | Error | Error | Error |
| Pellet-OA4 | 9.06 | Error | 8.86 |
| Racer | 134.28 (wrong) | 741.89 (wrong) | 129.21 (wrong) |
| TrOWL | 10.49 | Error | 9.10 |
| Classification | |||
| Chainsaw | Error | Error | Error |
| FaCT++ | 10.24 | Timeout | 9.93 |
| HermiT | 9.59 | Timeout | 9.19 |
| HermiT-OA4 | 9.93 | 9.10 (wrong) | 9.95 |
| Jfact | 121.71 | 9.22 (wrong) | 121.38 |
| Konclude | 3.87 | 24.45 | 3.40 |
| MORe | Error | Error | Error |
| Pellet-OA4 | Error | Error | Error |
| Racer | 132.82 (wrong) | 768.53 (wrong) | 132.41 (wrong) |
| TrOWL | 8.93 | Error | 9.46 |
| Realisation | |||
| Chainsaw | Error | Error | Error |
| FaCT++ | 10.19 | Timeout | 10.04 |
| HermiT | 9.37 | Timeout | 10.07 |
| HermiT-OA4 | 9.40 | Error | 9.77 |
| Jfact | 121.42 | Timeout | 124.17 |
| Konclude | 3.92 | 4.24 | 3.93 |
| PAGOdA | Error | Timeout | Error |
| Pellet-OA4 | Error | 8.76 | Error |
| Racer | 160.64 (wrong) | 812.88 (wrong) | 134.55 (wrong) |
| TrOWL | 8.89 | Error | 8.78 |
Italics indicate a failed attempt, either timeout, thrown error, or wrong (results)