Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
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), http://www.w3.org/Submission/2004/SUBM-OWL-S-20041122/
Biron, P.V., Malhotra, A. (eds.): XML Schema Part 2: Datatypes (2004), http://www.w3.org/TR/xmlschema-2/
Brickley, D., Guha, R.V.: RDF vocabulary description language 1.0: RDF schema. Recommendation, W3C (February 10, 2004), http://www.w3.org/TR/rdf-schema/
de Bruijn, J. (ed.): The Web Service Modeling Language WSML, WSMO Final Draft D16.v0.21 (2005), http://www.wsmo.org/TR/d16/d16.1/v0.21/
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)
Dean, M., Schreiber, G. (eds.): OWL Web Ontology Language Reference, W3C Recommendation (February 10, 2004)
Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: Proc. KR 2004 (2004)
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)
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), http://www.w3.org/Submission/SWRL/
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)
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)
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. JACM 42(4), 741–843 (1995)
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)
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), http://www.wsmo.org/TR/d4/d4.1/v0.1/
Malhotra, A., Melon, J., Walsh, N.: Xquery 1.0 and xpath 2.0 functions and operators. Candidate Recommendation, W3C (2005), http://www.w3.org/TR/xpath-functions/
McIlraith, S., Son, T.C., Zeng, H.: Semantic web services. IEEE Intelligent Systems, Special Issue on the Semantic Web 16(2), 46–53 (2001)
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)
Rosati, R.: \(\mathcal{DL}+log\): Tight integration of description logics and disjunctive datalog. In: Proc. KR 2006 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Bruijn, J., Lausen, H., Polleres, A., Fensel, D. (2006). The Web Service Modeling Language WSML: An Overview. In: Sure, Y., Domingue, J. (eds) The Semantic Web: Research and Applications. ESWC 2006. Lecture Notes in Computer Science, vol 4011. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11762256_43
Download citation
DOI: https://doi.org/10.1007/11762256_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34544-2
Online ISBN: 978-3-540-34545-9
eBook Packages: Computer ScienceComputer Science (R0)