Ontology Satisfiability of OWL DL ontologies

Table 13 depicts the qualitative results for the ontology satisfiability of OWL DL ontologies, hence it only includes the outcomes for FaCT++ and HermiT. FaCT++ errors were datatypes related, while HermiT errors were Java heap space related.

Table 13: Ontology satisfiability evaluation results

	FaCT++	HermiTl
CORRECT	96	100
INCORRECT	0	0
NO-REF	0	0
EXCEPTION	6	2
TIMEOUT	0	0

93 test cases were completed in less than 10,000 ms. Table 14 shows the average loading and classification times for these ontologies. Both FaCT++ and HermiT provided similar results for these ontologies, however, there were two test cases where the reasoners had disparate behaviours (see Table 15 ).

Table 14: Ontology satisfiability OWL DL: Loading and reasoning times

	FaCT++	HermiT
# tests	93	93
ALT, ms	503.6	503
ART, ms	553.6	348

Table 15: Ontology satisfiability OWL DL: Reasoning times for hard cases

Ontologies	FaCT++ (ms)	HermiT (ms)
fma-lite	793,324	3,925
DLPOnts-Plans	68	11,722