Skip to main content
SpringerLink
Log in

Semantic Web Services Discovery Regarded as a Constraint Satisfaction Problem

  • Conference paper
Flexible Query Answering Systems (FQAS 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3055))

Included in the following conference series:

Abstract

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:A→ B? 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.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. Fensel, D., Bussler, C.: The Web Service Modeling Framework WSMF, http://www.cs.vu.nl/~dieter/wese/publications.html

  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. 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. 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. Casati, F., Shan, M.-C.: Dynamic and Adaptative Composition of eservices. Information Systems 26(3), 143–163 (2001)

    Article  MATH  Google Scholar 

  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. 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. Montanari, U.: Networks of constraints:fundamental properties and application to picture processing. Information Science 7, 95–132 (1974)

    Article  MathSciNet  Google Scholar 

  11. Sowa, J.F.: Conceptual structures-Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)

    MATH  Google Scholar 

  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. 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. 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, 98

    Google Scholar 

  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)

    Chapter  Google Scholar 

  16. Mugnier, M.L., Chein, M.: Conceptual graphs: fundamental notins. Revue d’Intelligence Artificielle 6 (1992)

    Google Scholar 

  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. Freuder, E.C.: Synthetizing constraint expressions. Communication of the ACM 21 (1978)

    Google Scholar 

  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. Wallace, R.J., Freuder, E.C.: Partial constraint satisfaction. Artificial Intelligence 58 (1992)

    Google Scholar 

  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)

    Article  Google Scholar 

  22. UDDI. The UDDI Technical White Paper, http://www.uddi.org/ (2003)

  23. ebXML Specifications, http://www.ebxml.org/ (2003)

  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. 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. 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. 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. 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 

Download references

Author information

Authors and Affiliations

  1. LIRIS (Lyon Research Center for Images and Intelligent Information Systems), Université Claude Bernard Lyon 1, 43 bd du 11 Novembre, 69100, Villeurbanne, France

    Salima Benbernou, Etienne Canaud & Simone Pimont

Authors
  1. Salima Benbernou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Etienne Canaud
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Simone Pimont
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Research group PLIS: Programming, Logic and Intelligent Systems, Department of Communication, Business and Information Technologies, Roskilde University, P.O. Box 260, DK-4000, Roskilde, Denmark

    Henning Christiansen

  2. LIRIS - UFR d’Informatique, Université Claude Bernard Lyon 1, 43, boulevard du 11 novembre 1918,, 69622, Villeurbanne, France

    Mohand-Saïd Hacid

  3. Department of Computer Science, Roskilde University, P.O. Box 260, DK-4000, Roskilde, Denmark

    Troels Andreasen

  4. Department of Computer Science and Engineering, Aalborg University Esbjerg, Niels Bohrs Vej 8Niels Bohrs Vej 8, 6700, Esbjerg, Denmark

    Henrik Legind Larsen

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Benbernou, S., Canaud, E., Pimont, S. (2004). Semantic Web Services Discovery Regarded as a Constraint Satisfaction Problem. In: Christiansen, H., Hacid, MS., Andreasen, T., Larsen, H.L. (eds) Flexible Query Answering Systems. FQAS 2004. Lecture Notes in Computer Science(), vol 3055. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25957-2_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25957-2_23

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22160-9

  • Online ISBN: 978-3-540-25957-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation