Cost efficient, adaptive reasoning strategies for pervasive service discovery

With the emergence of high-end smart phones/PDAs there is an emerging opportunity to enrich mobile/pervasive services with semantic reasoning. This paper presents novel strategies for optimising semantic reasoning for realising semantic applications and services on mobile devices. Our mTableaux algorithm optimises the reasoning process to facilitate service selection. Since even optimised reasoning may be too resource intensive to complete, depending on ontology size and resource availability, we also outline our adaptive reasoning strategy which reduces result accuracy when resources become low. We also evaluate the impact of our strategies on performance and accuracy and show that mTableaux significantly improves performance.