Mobile Crisp Rule Engines

We defined and realized an innovative crisp rule engine for mobile devices based on a forward chaining technique that uses a lazy evaluation strategy to reduce both space and time complexity of inference process with the goal of coping the resources constraints of mobile devices. The idea of lazy evaluation is to compute only one rule activation in each cycle based on the observation that only one rule is fired anyway.

By avoiding the computation of all possible rule activations, the worst-case space complexity can be reduced to a polynomial bound. Moreover, this procedure circumvents wasting computation resources for rule activations that are never fired. Our mobile rule engine supports high expressive formalisms (RDFS/OWL) to semantically describe domain entities and relations to be used in the production rules, offers ontology reasoning support by specifying a set of RDFS/OWL inference rules, and, finally, provides non-monotonic operators to update and retract assertions. It is completely developed in Java in accordance with the object-oriented paradigm and is executable on any mobile device with a compatible java virtual machine installed.

Publications

  • A. Minutolo, G. Sannino, M. Esposito, G. De Pietro, "A rule-based mHealth system for cardiac monitoring", in the 2010 IEEE EMBS Conference on Biomedical Engineering (IECBES 2010), Kuala Lumpur, Malaysia , November 30 - December 2, 2010, pp. 144 - 149.
  • A. Minutolo, M. Esposito, G. De Pietro. A Mobile Reasoning System for Supporting the Monitoring of Chronic Diseases". In the 2nd International ICST Conference on Wireless Mobile Communication and Healthcare MobiHealth 2011, 5-7 October 2011, Kos Island, Greece.
  • A. Minutolo, M. Esposito, G. De Pietro, A Lazy Evaluation Approach for Mobile Reasoning in DSSs. In IEEE International Symposium on Computational Intelligence and Informatics, November 21-22, 2011, Budapest, Hungary.