Enabling Scalable Semantic Reasoning for Mobile Services

Abstract

With the emergence of high-end smart phones/PDAs there is a growing opportunity to enrich mobile/pervasive services with semantic reasoning. This article presents novel strategies for optimising semantic reasoning for realising semantic applications and services on mobile devices. We have developed the mTableaux algorithm which optimises the reasoning process to facilitate service selection. We present comparative experimental results which show that mTableaux improves the performance and scalability of semantic reasoning for mobile devices.

Semantic reasoning on mobile devices: Do Androids dream of efficient reasoners?

“…mTableau [13,49] is a modified version of Pellet 1.5 to work on mobile devices. The main idea is to introduce some novel optimization techniques, namely selective application of consistency rules, skipping disjunctions, and ranking of individuals and disjunctions leading to potential clashes.…”

“…A first possibility is developing new reasoners specifically designed for mobile devices. Examples of this alternative include mTableau [13],…”

“…As previously mentioned, using Pellet on mobile 1520 (J2ME) devices has been investigated [49,13]. The modification of Pellet reasoner included some new optimization techniques and was called mTableau.…”