Semantic Web Services Discovery Regarded as a Constraint Satisfaction Problem

  • Salima Benbernou
  • Etienne Canaud
  • Simone Pimont
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3055)


The web services discovery is a fundamental problem in semantic web services. The problem is to find services that can be combined to form an admissible answer to a query. At the same time, constraint satisfaction is recognized as a fundamental problem in artificial intelligence. In this paper, we will investigate the connection between both problems. We will show that they are the same problem despite their very different formulation. The reason is that they can be recast as the following fundamental algebraic problem: given two relational structures A and B, is there a homomorphism h:AB? In our approach, the proposed homomorphism is a labelled graph homomorphism. The latter is based on simple conceptual graph which is considered as the kernel of most knowledge representation formalism built upon Sowa’s model. Reasoning in this model can be expressed by a graph homomorphism.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    McIlraith, S., Son, T.C., Zeng, H.: Semantic Web Services. IEEE Intelligent Systems. Special Issue on Semantic Web 16(2), 46–53 (2001)Google Scholar
  2. 2.
    Fensel, D., Bussler, C., Maedche, A.: Semantic Web Enabled Web Services. In: Proceedings of the International Semantic Web Conference, Sardinia, Italy, June 2002, pp. 1–2 (2002)Google Scholar
  3. 3.
    Fensel, D., Bussler, C.: The Web Service Modeling Framework WSMF,
  4. 4.
    Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Eleventh International World Wide Web Conference, Honolulu, HAWAII, USA (May 2002)Google Scholar
  5. 5.
    Chakraborty, D., Perich, F., Avancha, S., Joshi, A.: 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 (2001)Google Scholar
  6. 6.
    Bernstein, A., Klein, M.: 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)Google Scholar
  7. 7.
    Casati, F., Shan, M.-C.: Dynamic and Adaptative Composition of eservices. Information Systems 26(3), 143–163 (2001)MATHCrossRefGoogle Scholar
  8. 8.
    The DAML Services Coalition. DAML-S:Web Service Description for the Semantic Web. In: The First International Semantic Web Conference (ISWC), pp. 348– 363 (June 2002) Google Scholar
  9. 9.
    Berardi, D., De Giacomo, G., Lenzerini, M., Macella, M.: Automatic composition of e-services that export their behavior. In: ICSOC 2003 1st International conference on Service Oriented Computing, Trento, Italy (2003)Google Scholar
  10. 10.
    Montanari, U.: Networks of constraints:fundamental properties and application to picture processing. Information Science 7, 95–132 (1974)CrossRefMathSciNetGoogle Scholar
  11. 11.
    Sowa, J.F.: Conceptual structures-Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)MATHGoogle Scholar
  12. 12.
    Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: Reasoning in Description Logics. In: Foundation of Knowledge Representation, Cambrige University Press, Cambrige (1995)Google Scholar
  13. 13.
    Kolaitis, P., Vardi, M.Y.: Constraint satisfaction, bounded treewidth, and finite variable logics. In: CP 2002 8th International conference on Principles and Practice of Constraint Progarmming, Ithaca, USA (September 2002)Google Scholar
  14. 14.
    Baader, F., Molitor, R., Tobies, S.: On the relation between conceptual graphs and description logics. Technical Report 98-11, AAchen University of technology Research group for Theoritcal Computer Science, 98Google Scholar
  15. 15.
    Mugnier, M.L.: Knowledge representation and reasoning based on graph homomorphism. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS (LNAI), vol. 1867, pp. 172–192. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  16. 16.
    Mugnier, M.L., Chein, M.: Conceptual graphs: fundamental notins. Revue d’Intelligence Artificielle 6 (1992)Google Scholar
  17. 17.
    Brissac, O., Liquiere, M.: A class of conceptual graphs with polynomial iso-projection. In: ICCS International Conference on Conceptual Structure. LNCS (LNAI), Springer, Heidelberg (1994)Google Scholar
  18. 18.
    Freuder, E.C.: Synthetizing constraint expressions. Communication of the ACM 21 (1978)Google Scholar
  19. 19.
    Bistarelli, S., Codognet, P., Georget, Y., Rossi, F.: Approximation of local consistency of soft constraint. In: PADL 2000 Practical Aspects of Declarative Language, Boston, USA (January 2000)Google Scholar
  20. 20.
    Wallace, R.J., Freuder, E.C.: Partial constraint satisfaction. Artificial Intelligence 58 (1992)Google Scholar
  21. 21.
    Curbera, F., Duftler, M., Khalaf, R., Nagy, W., Mukhi, N., Weerawarana, S.: Unraveling the web services web: an introduction to SOAP, WSDL, and UDDI. IEEE Internet Computing 6(2), 86–93 (2002)CrossRefGoogle Scholar
  22. 22.
    UDDI. The UDDI Technical White Paper, (2003)
  23. 23.
    ebXML Specifications, (2003)
  24. 24.
    Trastour, D., Bartolini, C., Gonzalez-Castillo, J.: A semantic web approach to service description for matchmaking of services. In: Proceedings of the International Semantic Web Working Symposium, SWWS (2001)Google Scholar
  25. 25.
    Paolucci, M., Sycara, K., Kawamura, T.: Delivering semantic web services. Technical Report CMU-RI-TR-02-32, Robotics Institute, Carnegie Mellon University (May 2003)Google Scholar
  26. 26.
    Paolucci, M., Kawamura, T., Payne, T., Sycara, K.: Importing the semantic web in uddi. In: E-Services and the Semantic Web Workshop (2002)Google Scholar
  27. 27.
    Bentallah, B., Hacid, M.S., Rey, C., Toumani, F.: Constraint propagation for web services discovery. In: WWW 2003 Workshop on E-Services and the Semantic Web (ESSW 2003), Budapest, Hungary (2003)Google Scholar
  28. 28.
    Benbernou, S., Canaud, E., Hacid, M.S., Toumani, F.: Resolution and constraint propagation for web services discovery. In: RIDE 2004 14th IEEE International Workshop on Research Issues on Data Engineering,Web services for e-Commerces and e-Goverment, Boston, USA (March 2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Salima Benbernou
    • 1
  • Etienne Canaud
    • 1
  • Simone Pimont
    • 1
  1. 1.LIRIS (Lyon Research Center for Images and Intelligent Information Systems)Université Claude Bernard Lyon 1VilleurbanneFrance

Personalised recommendations