Efficient mobile reasoning for pervasive discovery

ABSTRACT

Semantic service discovery architectures that operate in mobile environments must cope with the significant challenges of finding relevant services rapidly, while facing constrained computational resources. This paper presents our m-Tableaux algorithm for enabling cost-efficient and optimised semantic reasoning to support semantic service matching, on the device itself. We present a performance evaluation of the m-Tableaux optimisation strategies which clearly demonstrate its operational feasibility on a mobile device. We also present comparative evaluations with other semantic reasoners and establish the improved performance of our engine.

REFERENCES

• 1: Ken Arnold , Robert Scheifler , Jim Waldo , Bryan O'Sullivan , Ann Wollrath, Jini Specification, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
• 2: UPnP. Universal Plug and Play (UPnP). (2007), http://www.upnp.org
• 3: Doulkeridis C., Loutas N. and Vazirgiannis M. A System Architecture for Context-Aware Service Discovery. 2005.
• 4: Sonia Ben Mokhtar , Davy Preuveneers , Nikolaos Georgantas , Valérie Issarny , Yolande Berbers, EASY: Efficient semAntic Service discoverY in pervasive computing environments with QoS and context support, Journal of Systems and Software, v.81 n.5, p.785-808, May, 2008 [doi>10.1016/j.jss.2007.07.030]
• 5: Naveen Srinivasan , Massimo Paolucci , Katia Sycara, Semantic Web Service Discovery in the OWL-S IDE, Proceedings of the 39th Annual Hawaii International Conference on System Sciences, p.109.2, January 04-07, 2006 [doi>10.1109/HICSS.2006.431]
• 6: Cabral L., Domingue J., Galizia S., Gugliotta A., Tanasescu V., Pedrinaci C, et al. IRS-III: A Broker for Semantic Web Services based Applications. In proc. 5th International Semantic Web Conference (ISWC 2006), Athens, GA, USA, 2006.
• 7: Küster U., König-Ries B. and Klein M. Discovery and Mediation using DIANE Service Descriptions. In proc. Second Semantic Web Service Challenge 2006 Workshop, June 15--16, Budva, Montenegro, 2006.
• 8: FaCT++. (2008), http://owl.man.ac.uk/factplusplus/
• 9: RcerPro. (2008), http://www.racer-systems.com
• 10: KAON2. (2008), http://kaon2.semanticweb.org
• 11: Gu T., Kwok Z., Koh KK. and Pung HK. A Mobile Framework Supporting Ontology Processing and Reasoning. In proc. 2nd Workshop on Requirements and Solutions for Pervasive Software Infrastructure (RSPS) in conjunction with the 9th International Conference on Ubiquitous Computing (Ubicomp '07), September, Austria, 2007.
• 12: Kleemann T. Towards Mobile Reasoning. In proc. International Workshop on Description Logics (DL2006), May 30 - June 1, Windermere, Lake District, UK, 2006.
• 13: Pellet. (2003), http://www.mindswap.org/2003/pellet/
• 14: Horrocks I. and Sattler U. A Tableaux Decision Procedure for SHOIQ. In proc. 19th International Conference on Artificial Intelligence (IJCAI 2005), 2005.
• 15: Franz Baader , Diego Calvanese , Deborah L. McGuinness , Daniele Nardi , Peter F. Patel-Schneider, The description logic handbook: theory, implementation, and applications, Cambridge University Press, New York, NY, 2003
• 16: Luke Steller , Shonali Krishnaswamy, Optimised Semantic Reasoning for Pervasive Service Discovery, Proceedings of the 6th International Conference on Service-Oriented Computing, p.620-625, December 01-05, 2008, Sydney, Australia [doi>10.1007/978-3-540-89652-4_55]

INDEX TERMS

General Terms:
Algorithms, Experimentation, Languages, Performance, Theory

Keywords:
context-aware discovery, scalable semantic reasoning, service-oriented pervasive discovery architecture