Mobile Test Mini-ME Reasoner 1.0.0

Mobile Platform Specification:

  • Device: Samsung i9000 Galaxy S
  • OS: Android OS, v2.3.3 (Gingerbread)
  • Processor: ARM Cortex A8, 1GHz CPU Speed
  • Internal Memory: 8 GB
  • RAM Memory: 512 MB
  • ROM Memory: 2 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).