Skip to main content

A Semantic-Based Web Service Composition Framework

  • Conference paper
Advances in Information Systems Development

There is widely recognized problem concerning WSDL-based descriptions of web-services that services are described syntactically not capturing enough meaning [Patil et al. 2004, Probst and Lutz 2004, Elenius et al. 2005]. In order to automate service discovery and composition several semantic heterogeneity problems should be solved.

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

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover 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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others


  • Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P (Eds) (2003) The Description Logic Handbook, Cambridge University Press

    Google Scholar 

  • Borgida A (1996) On the relative expressiveness of description logics and predicate logics, Artificial Intelligence, 82(1-2): 353-367.

    Article  MathSciNet  Google Scholar 

  • BPEL4WS, Available from:

  • Elenius D, Denker G, Martin D, et al (2005) The OWL-S Editor- A Development Tool for Semantic Web Services, Gomez-Perez, A., and Euzenat, J. (Eds) Proceedings of ESWC 2005, LNCS 3532, Springer-Verlag, pp 78-92.

    Google Scholar 

  • Green C (1969) Application of theorem-proving for problem solving. In Proceed-ings of 1st International Joint Conference on Artificial Intelligence, pp 219-239.

    Google Scholar 

  • Manna Z, Waldinger R (1980) A Deductive Approach to Program Synthesis, ACM Transactions on Programming, Languages, and Systems. 2: 90-121.

    Article  MATH  Google Scholar 

  • OWL, Web Ontology Language. Semantics and Abstract Syntax. W3W Working Draft 31 March 2003. Available from: OWL-S, Web Ontology Language for Web Services. Available from:

  • Patil A, Oundhakar S, Sheth A, Verma K (2004) METEOR-S Web service Anno-tation Framework, Proceedings of WWW Conference 2004, ACM, New York, pp 553-562.

    Google Scholar 

  • Ponnekanti SR, Fox A (2002) SWORD: A Developer Toolkit for Web Service Composition, Proceedings of Eleventh World Wide Web Conference (WWW2002, Web Engineering Track), Honolulu, Hawaii

    Google Scholar 

  • Probst F, Lutz M (2004) Giving Meaning to GI Web Services, J. Hu (Ed), Pro-ceedings of Second International Workshop on Web Services: Modeling, Ar-chitecture and Infrastructure, Porto, INSTICC Press, pp 23-35.

    Google Scholar 

  • Protégé 3.1.1, Protégé OWL Editor. Available from:

  • Rao J, Küngas P, Matskin M (2004) Logic-based Web Services Composition: from Service Description to Process Model, Proceedings of the 2004 IEEE In-ternational Conference on Web Services, ICWS'2004, San Diego, California, USA, July 6-9, 2004, IEEE Computer Society Press, pp 446-453. Rql, Rule-based systems for creation of web services. Available from:

  • Sirin E, Parsia B, Wu D, Hendler J, Nau D (2004) HTN planning for web service composition using SHOP2. Journal of Web Semantics, 1(4): 377-396.

    Google Scholar 

  • SOAP, Available from:

  • Tammet T (1995) Completeness of Resolution for Definite Answers. Journal of Logic and Computation 5(4): 449-471.

    Article  MATH  MathSciNet  Google Scholar 

  • Tammet T (1997) Gandalf. Journal of Automated Reasoning 18(2): 199-204.

    Article  Google Scholar 

  • Tammet T (2004a) Extended Logical Markup language (ELM) Model and Syntax Specification. Available from:

  • Tammet T (2004b) Extended Common Logic (ECL) Model and Syntax Specifica-tion. Available from:

  • Waldinger R (2001) Web Agents Cooperating Deductively, Rash, J.L. et al (Eds): Proceedings of FAABS 2000, LNAI 1871, Spriger-Verlag, pp 250-262.

    Google Scholar 

  • Waldinger R, Shrager J (2006) Deductive Discovery and Composition of Re-sources, Proceedings of RoW2006: Reasoning on the Web, Edinburgh, Scot-land

    Google Scholar 

  • WSDL, Available from:

  • WSDLS, WSDL-S: Adding semantics to WSDL - White paper. Available from:

  • WSMO, Web Service Modeling Ontology. Available from: X-Road, Data Exchange Layer X-Road. Available from:

Download references

Author information

Authors and Affiliations


Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Science+Business Media, LLC

About this paper

Cite this paper

Haav, H.M., Tammet, T., Kadarpik, V., Kindel, K., Kääramees, M. (2007). A Semantic-Based Web Service Composition Framework. In: Magyar, G., Knapp, G., Wojtkowski, W., Wojtkowski, W.G., Zupančič, J. (eds) Advances in Information Systems Development. Springer, Boston, MA.

Download citation

  • DOI:

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-0-387-70760-0

  • Online ISBN: 978-0-387-70761-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics