Discovery and Uncertainty in Semantic Web Services

  • Francisco Martín-Recuerda
  • Dave Robertson
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5327)


Although Semantic Web service discovery has been extensively studied in the literature ([1], [2], [3] and [4]), we are far from achieving an effective, complete and automated discovery process. Using the Incidence Calculus [5], a truth-functional probabilistic calculus, and a lightweight brokering mechanism [6], this article explores the suitability of integrating probabilistic reasoning in Semantic Web services environments. We show how the combination of relaxation of the matching process and evaluation of Web service capabilities based on previous performances of Web service providers enables new possibilities in service discovery.


Web services Semantic Web services discovery broker F-X capability probability Incidence Calculus 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Gonzalez-Castillo, J., Trastour, D., Bartolini, C.: Description logics for matchmaking of services. In: KI 2001 Workshop on Applications of Description Logics (2001)Google Scholar
  2. 2.
    Li, L., Horrocks, I.: A Software Framework for Matchmaking Based on Semantic Web Technology. In: Proceedings of the Twelfth International World Wide Web Conference (WWW 2003), Budapest, Hungary (2003)Google Scholar
  3. 3.
    Paolucci, M., Kawamura, T., Payne, T., Sycara, K.: Semantic Matching of Web Service Capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 333–347. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  4. 4.
    Keller, U., Lara, R., Polleres, A. (eds.): WSMO Web Service Discovery. Technical report, DERI (2004),
  5. 5.
    Bundy, A.: Incidence Calculus. In: Encyclopedia of Artificial Intelligence, pp. 663–668 (1992)Google Scholar
  6. 6.
    Robertson, D.: F-X: A Formal Knowledge Management System. Technical report, University of Edinburgh (unpublished, 2001)Google Scholar
  7. 7.
    Haas, H., Brown, A.: Web Services Glossary (2004),
  8. 8.
    Sycara, K., Widoff, S., Klusch, M., Lu, J.: LARKS: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace. Autonomous Agents and Multi-Agent Systems, 173–203 (2002)Google Scholar
  9. 9.
    Decker, K., Sycara, K.: Middle-Agents for the Internet. In: Proceedings of the 15th International Joint Conference on Artificial Intelligence ICJCAI 1997, Nagoya, Japan (1997)Google Scholar
  10. 10.
    Fensel, D., Benjamins, V.R., Motta, E., Wielinga, B.J.: UPML: A Framework for Knowledge System Reuse. In: Proceedings of the 16th International Joint Conference on AI (IJCAI 1999), pp. 16–23 (1999)Google Scholar
  11. 11.
    Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logics. In: Proceedings of the Twelfth International World Wide Web Conference (WWW 2003), pp. 48–57 (2003)Google Scholar
  12. 12.
    Potter, S.: Broker description document. Technical report, University of Edinburgh (2003)Google Scholar
  13. 13.
    Robertson, D., Silva, F., Vasconcelos, W., de Melo, A.: A lightweight capability communication mechanism. In: Logananthara, R., Palm, G., Ali, M. (eds.) IEA/AIE 2000. LNCS, vol. 1821, pp. 660–670. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  14. 14.
    Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer series in symbolic computation. Springer, New York (1987)CrossRefzbMATHGoogle Scholar
  15. 15.
    Finin, T., Labrou, Y., Mayfield, J.: KQML as a Agent Communication Language. Sofware Agents, J.M. Bredshaw. AAAI Press/MIT Press (1997)Google Scholar
  16. 16.
    Martín-Recuerda, F.: Dealing with Uncertainty in Semantic Web Services. MSc Thesis. University of Edinburgh (2003)Google Scholar
  17. 17.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  18. 18.
    Lukasiewicz, T., Giugno, R.: P-SHOQ (Dn): A Probabilistic Extension of SHOQ(Dn) for Probabilistic Ontologies in the Semantic Web. Technical Report Nr. 1843-02-06, Institut für Informations systeme, Technische Universität Wien (2002)Google Scholar
  19. 19.
    Klinov, P., Parsia, B., Mazlack, M.J.: Pronto - a non-monotonic probabilistic description logic reasoner. OWLED 2008 DC (2008),
  20. 20.
    Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics 5(2) (2007)Google Scholar
  21. 21.
    Lambert, D., Robertson, D.: Matchmaking and Brokering Multi-Party Interactions Using Historical Performance Data. In: Proceedings of fourth International Joint Conference on Autonomous Agents and Multi Agent Systems, Utrecht (2005)Google Scholar
  22. 22.
    Robertson, D.: A Lightweight Method for Coordination of Agent oriented Web Services. In: Proceedings of the 2004 AAAI Spring Symposium on Semantic Web Services, California, USA (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Francisco Martín-Recuerda
    • 1
  • Dave Robertson
    • 2
  1. 1.Information Management Group (IMG)University of ManchesterManchesterUK
  2. 2.School of Informatics, Centre for Intelligent Systems and their applications, Informatics ForumUniversity of EdinburghEdinburghScotland, UK

Personalised recommendations