Skip to main content
SpringerLink
Log in

Resolution and Constraint Propagation for Semantic Web Services Discovery

  • Published:
Distributed and Parallel Databases Aims and scope Submit manuscript

Abstract

The purpose of semantic web services discovery is to use semantic knowledge to find services that can be composed to form an admissible answer to a query. In this paper we consider the advantage of adopting a knowledge-based approach to web services discovery. Services are described by means of terminological axioms and constrained clauses. We apply a specific resolution and a constraint propagation mechanism to evaluate queries over services.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. S. Abiteboul, O. Benjelloun, and T. Milo. Positive active XML, PODS’2004, Paris, France, June 2004.

  2. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, The Description Logic Handbook, Cambridge University Press, 2003.

  3. B. Benatallah, M.-S. Hacid, C. Rey, and F. Toumani, “Towards semantic reasoning for web services discovery,” in Proceedings of the International Semantic Web Conference (ISWC’03), Springer Verlag: Sanibel Island, Florida, USA, Oct 2003.

  4. B. Bentallah, M.-S. Hacid, C. Rey, and F. Toumani, “Semantic reasoning for web services discovery,” in WWW 2003 Workshop on E-Services and the Semantic Web (ESSW’03), Budapest, HUNGARY, 2003.

  5. A. Bernstein and M. Klein, “Discovering services: Towards high precision service retrieval,” in CaiSE Workshop on Web Services, e-Business, and the Semantic Web: Foundations, Models, Architecture, Engineering and Applications, Toronto, May 2002.

  6. M. Buchheit, F.M. Donini, and A. Schaerf, “Decidable reasoning in terminological knowledge representation systems,” Journal of Artificial Intelligence Research, vol. 1, pp. 109–138, 1993.

    Google Scholar 

  7. H.-J. Burckert, “A resolution principle for clauses with constraints,” in Proceedings of 10th International Conference on Automated Deduction, Springer LNAI 449, pp. 178–192, 1990.

  8. F. Casati and Shan Ming-Chien, “Dynamic and adaptative composition of e-services,” Information Systems, vol. 26, no. 3, pp. 143–163, 2001.

    Article  Google Scholar 

  9. D. Chakraborty, F. Perich, S. Avancha, and A. Joshi, “DReggie: Semantic service discovery for m-commerce applications. in Workshop on Reliable and Secure Applications in Mobile Environment, 20th Symposium on Reliable Distributed Systems, June 2001, pp. 28–31.

  10. DAML-S Home Page. http://www.daml.org/services/, 2003.

  11. DAML-S : http://www.daml.org/services.

  12. F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf, “AL-log: Integrating datalog and description logics,” Journal of Intelligent Information Systems, vol. 10, no. 3, pp. 227–252, 1998.

    Article  Google Scholar 

  13. ebXML Home Page. http://www.ebxml.org/, 2003.

  14. D. Fensel and C. Bussler, “The web service modeling Framework WSMF,” http://www.cs.vu.nl/~dieter/wese/publications.html.

  15. D. Fensel, C. Bussler, and A. Maedche, “Semantic web enabled web services,” in Proceedings of the International Semantic Web Conference, Sardinia, Italy, June 2002, pp. 1–2.

  16. D. Florescu, A. Grnhagen, and D. Kossmann, “Xl: A platform for web services,” in Conference on Innovative Data Systems Research (CIDR), Asilomar, CA, USA, January 2003.

  17. I. Horrocks, P.F. Patel-Schneider, H. Boley, and S. Tabet, “OWL rules language,” Draft version, Technical Report, 29 October, 2003.

  18. A. Levy and M.-C. Rousset, “CARIN: A representation language combining horn rules and description logics,” in 12th European Conference on Articial Intelligence, Budapest, Hungary, August, 1996.

  19. L. Li and I. Horrocks, “A software framework for matchmaking based on semantic web technology,” in Proceedings of the Twelefth International Conference on World Wide Web, ACM Press, 2003.

  20. F. Leymann, Web Service Flow Language (WSFL 1.0), May 2001.

  21. D. Martin, M. Paolucci, S. McIlraith, M. Burstein, D. McDermott, D. McGuinness, B. Parsia, T. Payne, M. Sabou, M. Solanki, N. Srinivasan, and K. Sycara, “Bringing Semantics to Web Services: The OWL-S approach,” in First International Workshop on Semantic Web Services and Web Process Composition, San Diego, USA, July 6–9.

  22. S. McIlraith, T.C. Son, and H. Zeng, “Semantic web services,” IEEE Intelligent Systems. Special Issue on Semantic Web, vol. 16, no. 2, pp. 46–53, 2001.

    Google Scholar 

  23. S. Narayanan and S. McIlraith, “Simulation, verification and automated composition of web services,” in Eleventh International World Wide Web Conference, Honolulu, HAWAII, USA, May 2002.

  24. T. Di Noia, E. Di Sciascio, F. Donini, and M. Mongiello, “A system for Principled Matchmaking in an Electronic Marketplace,” in Proceedings of the Twelefth International Conference on World Wide Web, ACM Press, 2003.

  25. M. Paolucci, Kawamura Takahiro, and T.R. Payne, K. Sycara, “Semantic matching of Web Services Capabilities,” in Proceedings of the International Semantic Web Conference (ISWC’02), Springer Verlag: Sardegna, Italy, June 2002.

  26. RosettaNet Home Page. http://www.rosettanet.org, 2003.

  27. M. Schmidt-Schauss and G. Smolka, “Attributive Concept Descriptions with Complements,” Artificial Intelligence, vol. 48, no. 1, pp. 1–26, 1991.

    Article  Google Scholar 

  28. M.K. Smith, C. Welty, D.L. and McGuinness, OWL Web Ontology Language Guide. W3C Recommendation, 10 February 2004. Available at http://www.w3c.org/TR/owl-guide/.

  29. SOAP Home Page. http://www.w3.org/tr/soap/, 2003.

  30. S. Thatte. XLANG: Web Services for Business Process Design, 2001.

  31. The DAML Services Coalition, “DAML-S: Web Service Description for the Semantic Web,” in The First International Semantic Web Conference (ISWC), June 2002, pp. 348–363.

  32. The VLDB Journal, “Special Issue on E-services,” The VLDB Journal, vol. 10, no. 1, 2001.

  33. UDDI Home Page. http://www.uddi.org/, 2003.

  34. WS Architecture. http://www.W3c.org/TR/ws-arch/, 2004.

  35. WSDL Home Page. http://www.w3.org/tr/wsdl/, 2003.

  36. V. Wuwongse, C. Anutariya, K. Akama, and E. Nantajeewarawat, “Xml declarative description (xdd): A language for the semantic web,” IEEE Intelligent Systems, vol. 16, no. 3, pp. 54–65, 2001.

    Article  Google Scholar 

  37. W3C Web Services Choreography Working Group. http://www.w3.org/2002/ws/chor/, 2003.

  38. XL Home Page. http://xl.in.tum.de/, 2003.

Download references

Author information

Authors and Affiliations

  1. LIRIS - Université Claude Bernard Lyon 1, 43, boulevard du 11 Novembre 1918, 69622, Villeurbanne, France

    Salima Benbernou & Mohand-Said Hacid

Authors
  1. Salima Benbernou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mohand-Said Hacid
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Salima Benbernou.

Additional information

Recommended by: Athman Bouguettaya and Boualem Benatallah

Rights and permissions

Reprints and permissions

About this article

Cite this article

Benbernou, S., Hacid, MS. Resolution and Constraint Propagation for Semantic Web Services Discovery. Distrib Parallel Databases 18, 65–81 (2005). https://doi.org/10.1007/s10619-005-1074-8

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10619-005-1074-8

Keywords

Search

Navigation