next up previous
Next: Class satisfiability Up: Classification Previous: Classification of OWL EL Beginning: ORE 2012 Evaluation

Classification results for WSReasoner

As already mentioned, WSReasoner was evaluated locally by the authors. Table 6 [*] represents the results provided by the authors in their ORE workshop paper. The columns OWL DL and OWL EL refer to the results for the evaluated datasets, while DL-ALCHOI and EL-ALCHOI refer to the ontologies in these datasets, respectively. As shown in Table 6 [*], all the ontologies have been correctly classified by WSReasoner. WSReasoner only fails to classify correctly 5 of the OWL DL ontologies. As with FaCT++ and HermiT, gazetteer ontology causes a out-of-memory exception with WSReasoner due to the restricted allocated memory.


Table 6: Classification outcomes for WSReasoner
DL-ALCHOI OWL DL EL-ALCHOI OWL EL
ALT (ms) 105 323 320 454
ART (ms) 632 1263 277 503
# tests 34 107 6 7
CORRECT 18 47 5 6
INCORRECT 0 5 0 0
NO-REF 16 54 1 1
EXCEPTION 0 1 0 0
TIMEOUT 0 0 0 0


next up previous
Next: Class satisfiability Up: Classification Previous: Classification of OWL EL