Ontology Satisfiability of OWL EL ontologies

Table 16 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 120 ms for all three reasoners. Table 17 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 18 ).

Table 16: Qualitative results for the ontology 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 17: Ontology satisfiability OWL EL: Loading and reasoning times

	FaCT++	HermiT	jcel
# tests	6	6	6
ALT, ms	116	71	77
ART, ms	43	60	115

Table 18: Ontology satisfiability OWL EL: Reasoning times for hard cases

Ontologies	FaCT++ (ms)	HermiT (ms)	jcel (ms)
emap	516	380	4,801
go-termdb	826	1,616	8,404