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.

[1]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[2]  Frank van Harmelen,et al.  Using Google distance to weight approximate ontology matches , 2007, WWW '07.

[3]  Valérie Issarny,et al.  EASY: Efficient semAntic Service discoverY in pervasive computing environments with QoS and context support , 2008, J. Syst. Softw..

[4]  Heiner Stuckenschmidt,et al.  Scalable Instance Retrieval for the Semantic Web by Approximation , 2005, WISE Workshops.

[5]  Heiner Stuckenschmidt,et al.  Partial Matchmaking for complex Product and Service Descriptions , 2008, Multikonferenz Wirtschaftsinformatik.

[6]  G. Gehlen,et al.  Mobile Web services for peer-to-peer applications , 2005, Second IEEE Consumer Communications and Networking Conference, 2005. CCNC. 2005.

[7]  Katia P. Sycara,et al.  Semantic Web Service Discovery in the OWL-S IDE , 2006, Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06).

[8]  Pascal Hitzler,et al.  Resolution-Based Approximate Reasoning for OWL DL , 2005, SEMWEB.

[9]  Santtu Toivonen,et al.  Mobile SOA: Service Orientation on Lightweight Mobile Devices , 2007, IEEE International Conference on Web Services (ICWS 2007).

[10]  Shonali Krishnaswamy,et al.  Optimised Semantic Reasoning for Pervasive Service Discovery , 2008, ICSOC.

[11]  Matthias Jarke,et al.  Mobile Web Service Provisioning , 2006, Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06).

[12]  Roy H. Campbell,et al.  A Middleware for Context-Aware Agents in Ubiquitous Computing Environments , 2003, Middleware.

[13]  Shonali Krishnaswamy,et al.  Pervasive service discovery: mTableaux mobile reasoning , 2008 .

[14]  Jim Waldo,et al.  The Jini Specification , 1999 .

[15]  Ian Horrocks,et al.  A Tableaux Decision Procedure for SHOIQ , 2005, IJCAI.

[16]  J. Noll,et al.  Integrating Mobile Devices into Semantic Services Environments , 2008, 2008 The Fourth International Conference on Wireless and Mobile Communications.

[17]  Thomas Kleemann.  Towards Mobile Reasoning , 2006, Description Logics.

[18]  Kyong-Ho Lee,et al.  A Light-weight Framework for Hosting Web Services on Mobile Devices , 2007, Fifth European Conference on Web Services (ECOWS'07).

[19]  Yiwei Cao,et al.  Mobile Web Services for Collaborative Learning , 2006, 2006 Fourth IEEE International Workshop on Wireless, Mobile and Ubiquitous Technology in Education (WMTE'06).