MiRE4OWL: Mobile Rule Engine for OWL

Design and validation of a light-weight reasoning system to support remote health monitoring applications

“…Second, the existing systems proposed in (Ali and Kiefer, 2009;Gu et al, 2007;Kim et al, 2010;Tai et al 2011;Motik et al 2012) do not make their code accessible to be downloaded and tested on mobile devices for a comparative performance evaluation. Differently, Bossam (Jang and Sohn, 2004) makes its implementation freely available, but it supports only J2ME Connected Device Configuration, so resulting incompatible to be ported on a lot of mobile devices only compliant with CLDC 1.1 or Android-based.…”

“…In the following, only mobile reasoning systems (Ali and Kiefer, 2009;Gu et al, 2007;Kim et al, 2010;Lorecarra, 2009;Tai et al 2011;Motik et al 2012) expressly devised as rule-based, i.e. having if-then rules as their basic unit of computation, have been analyzed, since mostly suitable to deal with declarative and procedural knowledge.…”

“…However, the remaining candidates could be invalidated, and, thus, never fired, as a consequence of the execution of the previous rule, so implying a useless waste of memory and computational resources. MiRE4OWL (Kim et al, 2010) is a rule-entailment OWL reasoner developed in C þ þ according to a light-weight design to cope with the resource constraints of mobile devices and guarantee a semantic expressiveness by implementing a subset of the OWL semantics. The rule syntax provides expressive description mechanisms, by adopting different kinds of non-monotonic operators and quantifiers to support practical logic operations, as well as a procedure attachment mechanism for handling external information.…”

“…There are some semantic-enabled proposals supporting these two typologies of reasoning (Ali and Kiefer, 2009;Gu et al, 2007;Kim et al, 2010;Lorecarra, 2009;Jang and Sohn, 2004;Tai et al, 2011;Motik et al, 2012). Nonetheless, from a theoretical point of view, their performance on mobile devices and under a realistic RHM scenario is unlikely to achieve acceptable levels with reference to responsiveness and memory consumption, since strongly influenced by various factors, such as the reasoning algorithms used and the data scale.…”

A Personalized Navigation Guide Using a Social-Spatial Ontology

“…It also provides a query formalism in XML for handling a user query about the ontology. More details are available in [10]. Figure 2 shows our domain ontology for representing location information, relationship information between users, and relationship information between user and locations within a campus.…”