Class Satisfiability of OWL EL ontologies

Table 10 depicts the qualitative results for the class satisfiability of OWL EL ontologies, hence the table includes the outcomes not only for FaCT++ and HermiT but also for jcel. 6 out of 8 test cases were completed in less than 130 ms for all three reasoners. Table 11 shows the average loading and classification times for these ontologies. However, there were two test cases where the reasoners needed considerably more time to complete the task, specially jcel (see Table 12 ).

Table 10: Qualitative results for the class satisfiability of OWL EL ontologies

	FaCT++	HermiT	jcel
CORRECT	8	8	8
INCORRECT	0	0	0
NO-REF	0	0	0
EXCEPTION	0	0	0
TIMEOUT	0	0	0

Table 11: Class satisfiability OWL EL: Loading and reasoning times

	FaCT++	HermiT	jcel
# tests	6	6	6
ALT, ms	98	79	72
ART, ms	36	65	125

Table 12: Class satisfiability OWL EL: Reasoning times for hard cases

Ontologies	FaCT++ (ms)	HermiT (ms)	jcel (ms)
emap	532	424	5,307
go-termdb	832	639	8,284