Optimised Semantic Reasoning for Pervasive Service Discovery

  • Luke Steller
  • Shonali Krishnaswamy
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5364)


A key challenge in delivering mobile services is to improve the relevance of discovered services, as mobile environments are very dynamic with rapid changes to user context. This paper presents m-Tableaux - an to optimised semantic reasoning approach to support pervasive service discovery which aims to efficiently leverage the computational resources available of mobile devices. We present performance evaluation of the m-Tableaux optimisation strategies which clearly demonstrate its operational feasibility on a mobile device.


  1. 1.
    Arnold, K., O’Sullivan, B., Scheifler, R.W., Waldo, J., Woolrath, A.: The Jini Specification. Addison-Wesley, Reading (1999)Google Scholar
  2. 2.
    UPnP. Universal Plug and Play (UPnP), [cited March 12, 2007] (2007),
  3. 3.
    Srinivasan, N., Paolucci, M., Sycara, K.: Semantic Web Service Discovery in the OWL-S IDE. In: 39th Hawaii International Conference on System Sciences, 2005, Hawaii (2005)Google Scholar
  4. 4.
    Küster, U., König-Ries, B., Klein, M.: Discovery and Mediation using DIANE Service Descriptions. In: Second Semantic Web Service Challenge 2006 Workshop, Budva, Montenegro, June 15-16 (2006)Google Scholar
  5. 5.
    FaCT++ [cited May 1, 2007] (2007),
  6. 6.
    RacerPro. [cited May 23, 2007] (2007),
  7. 7.
  8. 8.
    Horrocks, I., Sattler, U.: A Tableaux Decision Proceedure for SHOIQ. In: 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), Morgan Kaufmann, San Francisco (2005)Google Scholar
  9. 9.
    Kleemann, T.: Towards Mobile Reasoning. In: International Workshop on Description Logics (DL 2006), Windermere, Lake District, UK, May 30 - June 1 (2006)Google Scholar
  10. 10.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  11. 11.
    Steller, L., Krishnaswamy, S.: Pervasive Service Discovery: mTableaux Mobile Reasoning. In: International Conference on Semantic Systems (I-Semantics). Graz, Austria (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Luke Steller
    • 1
  • Shonali Krishnaswamy
    • 1
  1. 1.Faculty of Information TechnologyMonash UniversityMelbourneAustralia

Personalised recommendations