The Web Service Modeling Language WSML: An Overview

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.

[1]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[2]  Dieter Fensel,et al.  Ontologies: A silver bullet for knowledge management and electronic commerce , 2002 .

[3]  Riccardo Rosati,et al.  DL+log: Tight Integration of Description Logics and Disjunctive Datalog , 2006, KR.

[4]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[5]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[6]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[7]  Latest version: , 2005 .

[8]  Jos de Bruijn,et al.  A Realistic Architecture for the Semantic Web , 2005, RuleML.

[9]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[10]  M. Duerst,et al.  Internationalized Resource Identifiers (IRIs) Status of This Memo , 2005 .

[11]  A. Polleres,et al.  D16.1v0.2 The Web Service Modeling Language WSML , 2005 .

[12]  Ian Horrocks,et al.  OWL-Eu: Adding Customised Datatypes into OWL , 2005, ESWC.

[13]  Jos de Bruijn,et al.  Semantic Web Services: description requirements and current technologies , 2003 .

[14]  Dieter Fensel,et al.  Ontology-based Choreography and Orchestration of WSMO Services , 2005 .

[15]  Antonio Badia,et al.  Ontologies , 2001, Springer Berlin Heidelberg.

[16]  Ian Horrocks,et al.  OWL-Eu: Adding Customised Datatypes into OWL , 2005, ESWC.

[17]  Dieter Fensel,et al.  Automatic Location of Services , 2005, ESWC.

[18]  Jos de Bruijn,et al.  OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web , 2005, WWW '05.

[19]  Jos de Bruijn,et al.  Web Service Modeling Ontology , 2005, Appl. Ontology.

[20]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[21]  Arvind Malhotra,et al.  Xml schema part 2: datatypes , 1999 .

[22]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[23]  Guus Schreiber.  The Web is not well-formed , 2002 .

[24]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[25]  Dieter Fensel,et al.  A Conceptual Comparison of WSMO and OWL-S , 2004, ECOWS.

[26]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[27]  John W. Lloyd,et al.  Foundations of Logic Programming, 1st Edition , 1984 .

[28]  Dieter Fensel,et al.  The Web Service Modeling Framework WSMF , 2002, Electron. Commer. Res. Appl..

[29]  Martin J. Dürst,et al.  Internationalized Resource Identifiers (IRIs) , 2005, RFC.

[30]  Hans Tompits,et al.  Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..

[31]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .