The Web Service Modeling Language WSML: An Overview

  • Jos de Bruijn
  • Holger Lausen
  • Axel Polleres
  • Dieter Fensel
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4011)


The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeling Ontology WSMO which is based on well-known logical formalisms, specifying one coherent language framework for the semantic description of Web Services, starting from the intersection of Datalog and the Description Logic \({\mathcal SHIQ}\). This core language is extended in the directions of Description Logics and Logic Programming in a principled manner with strict layering. WSML distinguishes between conceptual and logical modeling in order to support users who are not familiar with formal logic, while not restricting the expressive power of the language for the expert user. IRIs play a central role in WSML as identifiers. Furthermore, WSML defines XML and RDF serializations for inter-operation over the Semantic Web.


Logic Program Description Logic Integrity Constraint Shopping Cart Logical Syntax 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDemott, D., McIlraith, S., Narayanana, S., Paolucci, M., Parsia, B., Payne, T., Sirin, E., Srinivasan, N., Sycara, K.: OWL-S: Semantic markup for web services. Member Submission 22, W3C (November 2004),
  2. 2.
    Biron, P.V., Malhotra, A. (eds.): XML Schema Part 2: Datatypes (2004),
  3. 3.
    Brickley, D., Guha, R.V.: RDF vocabulary description language 1.0: RDF schema. Recommendation, W3C (February 10, 2004),
  4. 4.
    de Bruijn, J. (ed.): The Web Service Modeling Language WSML, WSMO Final Draft D16.v0.21 (2005),
  5. 5.
    de Bruijn, J., Polleres, A., Lara, R., Fensel, D.: OWL DL vs. OWL Flight: Conceptual modeling and reasoning on the semantic web. In: Proc. WWW 2005, Chiba, Japan (2005)Google Scholar
  6. 6.
    Dean, M., Schreiber, G. (eds.): OWL Web Ontology Language Reference, W3C Recommendation (February 10, 2004)Google Scholar
  7. 7.
    Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: Proc. KR 2004 (2004)Google Scholar
  8. 8.
    Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proc. WWW 2003, Budapest, Hungary (2003)Google Scholar
  9. 9.
    Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and RuleML. Member submission, May 21, 2004. W3C (2004),
  10. 10.
    Keller, U., Lara, R., Lausen, H., Polleres, A., Fensel, D.: Automatic location of services. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 1–16. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  11. 11.
    Kifer, M., de Bruijn, J., Boley, H., Fensel, D.: A realistic architecture for the semantic web. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 17–29. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  12. 12.
    Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. JACM 42(4), 741–843 (1995)CrossRefMathSciNetzbMATHGoogle Scholar
  13. 13.
    Lara, R., Lausen, H., Arroyo, S., de Bruijn, J., Fensel, D.: Semantic web services: description requirements and current technologies. In: Semantic Web Services for Enterprise Application Integration and e-Commerce workshop (SWSEE 2003), in conjunction with ICEC 2003, Pittsburgh, PA, USA (2003)Google Scholar
  14. 14.
    Lara, R., Polleres, A., Lausen, H., Roman, D., de Bruijn, J., Fensel, D.: A conceptual comparison between WSMO and OWL-S. Final draft D4.1v0.1, WSMO (2004),
  15. 15.
    Malhotra, A., Melon, J., Walsh, N.: Xquery 1.0 and xpath 2.0 functions and operators. Candidate Recommendation, W3C (2005),
  16. 16.
    McIlraith, S., Son, T.C., Zeng, H.: Semantic web services. IEEE Intelligent Systems, Special Issue on the Semantic Web 16(2), 46–53 (2001)Google Scholar
  17. 17.
    Roman, D., Keller, U., Lausen, H., Jos de Bruijn, R.L., Stollberg, M., Polleres, A., Feier, C., Bussler, C., Fensel, D.: Web service modeling ontology. Applied Ontology 1(1), 77–106 (2005)Google Scholar
  18. 18.
    Rosati, R.: \(\mathcal{DL}+log\): Tight integration of description logics and disjunctive datalog. In: Proc. KR 2006 (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jos de Bruijn
    • 1
  • Holger Lausen
    • 1
  • Axel Polleres
    • 1
    • 2
  • Dieter Fensel
    • 1
  1. 1.Digital Enterprise Research Institute (DERI) Galway, Ireland and InnsbruckAustria
  2. 2.Universidad Rey Juan CarlosMadridSpain

Personalised recommendations