Skip to main content

Table 1 Reasoner classification times table

From: Logical Gene Ontology Annotations (GOAL): exploring gene ontology annotations with OWL

Reasoner classification times
Reasoner t1 (ms) t2 (ms) t3 (ms) Mean time (ms)
ELK 2806 2611 2729 2715
CB 31292 31261 33988 32180
Pellet 40519 40801 41009 40776
HermiT 61461 62855 62677 62331
  1. Reasoning times (milliseconds) for the three OWL automated reasoners used to classify the GOAL ontology.