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 realizing semantic applications and services on mobile devices. We have developed the mTableaux algorithm which optimizes 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.