Mobile Test Mini-ME Reasoner 2.0.0

Mobile Platform Specification:

  • Device: Samsung Galaxy Nexus GT-I9250
  • OS: Android OS, v4.2.2 (Jelly Bean)
  • Processor: ARM Cortex A9, 1.2 GHz CPU Speed
  • Internal Memory: 16 GB
  • RAM Memory: 1 GB
  • ROM Memory: 16 GB

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.



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 the Dalvik Debug Monitor Server (DDMS).