Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Gonzalez-Castillo, J., Trastour, D., Bartolini, C.: Description logics for matchmaking of services. In: KI 2001 Workshop on Applications of Description Logics (2001)
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)
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)
Keller, U., Lara, R., Polleres, A. (eds.): WSMO Web Service Discovery. Technical report, DERI (2004), http://www.wsmo.org/TR/d5/d5.1/v0.1/
Bundy, A.: Incidence Calculus. In: Encyclopedia of Artificial Intelligence, pp. 663–668 (1992)
Robertson, D.: F-X: A Formal Knowledge Management System. Technical report, University of Edinburgh (unpublished, 2001)
Haas, H., Brown, A.: Web Services Glossary (2004), http://www.w3.org/TR/ws-gloss/
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)
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)
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)
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)
Potter, S.: Broker description document. Technical report, University of Edinburgh (2003)
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)
Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer series in symbolic computation. Springer, New York (1987)
Finin, T., Labrou, Y., Mayfield, J.: KQML as a Agent Communication Language. Sofware Agents, J.M. Bredshaw. AAAI Press/MIT Press (1997)
Martín-Recuerda, F.: Dealing with Uncertainty in Semantic Web Services. MSc Thesis. University of Edinburgh (2003)
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)
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)
Klinov, P., Parsia, B., Mazlack, M.J.: Pronto - a non-monotonic probabilistic description logic reasoner. OWLED 2008 DC (2008), http://www.webont.org/owled/2008dc/index.html
Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics 5(2) (2007)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Martín-Recuerda, F., Robertson, D. (2008). Discovery and Uncertainty in Semantic Web Services. In: da Costa, P.C.G., et al. Uncertainty Reasoning for the Semantic Web I. URSW URSW URSW 2006 2007 2005. Lecture Notes in Computer Science(), vol 5327. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89765-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-89765-1_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89764-4
Online ISBN: 978-3-540-89765-1
eBook Packages: Computer ScienceComputer Science (R0)