PC and Mobile Test for non-standard inferences

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)

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

Concept Abduction (CA) and Concept Contraction(CC)

The dataset consists of a 557 kB knowledge base with a set of 100 request/resource pairs with an average size of 4.2 kB, randomly generated starting from the ontology defined in (Ruta et al., 2011). For each request/resource pair the system checks for compatibility; in case, Concept Abduction is performed, otherwise Concept Contraction is run, followed by Concept Abduction with the compatible part of the request. Every task was repeated four times and the average turnaround time and memory usage of the last three runs was taken.