PC Test Mini-ME Reasoner 1.0.0

PC Platform Specification:

  • OS: Microsoft Windows 7 Professional (64-bit)
  • Processor: Intel(R) Core(TM) i7 CPU 860 @ 2.80GHz (4 CPU / 8 Thread)
  • RAM Memory: 8 GB DDR3-SDRAM (1333 MHz)
  • Hard Disk: 1 TB SATA (7200 rpm)
  • Java Virtual Machine: Java 7 SE Runtime Environment (build 1.7.0 03-b05)

Ontology Classification

The dataset consists of a set of OWL ontologies. For ontologies that were classified correctly, the Outcome column reports the total time of load and classification. Otherwise, the type of failure is specified as follows:

Parsing Error Unsupported Language Constructors Out of Memory Timout Exception


Class Satisfiability

The dataset consists of a set of OWL ontologies, and for each ontology one or more class URIs. Tests were executed only for ontologies classified correctly in the previous test. For successful tests, turnaround time is reported.



Ontology Satisfiability

The dataset consists of a set of OWL ontologies. For successful tests, turnaround time is reported. Outcomes of all reasoners are the same, except for values in red. In those cases, ontologies include an unsatisfiable class (GO 0075043) with no instances. Since Mini-ME checks ontology satisfiability regardless of the ABox, the ontology is considered unsatisfiable by Mini-ME but satisfiable by the other reasoners.



Memory Test for Ontology Classification

The dataset consists of a set of OWL ontologies. Used memory peak during ontology classification is measured by means of MemoryPoolMXBean interface.