Web Services Modeling Language

WSML or Web Service Modeling Language is a formal language that provides a syntax and semantics for the Web Service Modeling Ontology (WSMO).

In other words, the WSML provides means to formally describe the WSMO elements as Ontologies, Semantic Web services, Goals, and Mediators [J. de Bruijn, H. Lausen, A. Polleres, D. Fensel: WSML - a Language Framework for Semantic Web Service. W3C Workshop on Rule Languages for Interoperability, Washington USA, 27-28 April, 2005. http://dip.semanticweb.org/WSML-aLanguageFrameworkforSemanticWebServices.htm] .

The WSML is based on the logical formalisms as Description Logic, First-order Logic and Logic Programming [J. de Bruijn, H. Lausen, A. Polleres, D. Fensel: The WSML rule languages for the Semantic Web. W3C Workshop on Rule Languages for Interoperability, Washington USA, 27-28 April, 2005. http://dip.semanticweb.org/TheWSMLrulelanguagesfortheSemanticWeb.htm] .

Language variants of WSML

* "WSML Core", defined as an intersection of the Description Logic and Horn Logic. Supports modeling classes, attributes, binary relations and instances.
* "WSML-DL", extension of the WSML Core, fully captures the Description Logic.
* "WSML-Flight", extension of the WSML Core, provides features as meta-modeling, constraints and nonmonotonic negation.
* "WSML-Rule", extension of the WSML-Flight, provides Logic Programming capabilities.
* "WSML-Full", an unification of the WSML-DL and WSML-Rule.

References

ee also

* Ontology (computer science)
* Semantic Web
* Semantic Web Services
* Web Ontology Language (OWL), OWL-S, WSDL
* WSMO

External Links

* [http://www.wsmo.org/wsml/ WSML Home Web Site]
* [http://www.wsmo.org/wsml/wsml-syntax WSML syntax]
* [http://www.w3.org/Submission/WSML/ WSML submission in W3C]
* [http://www.wsmo.org/ WSMO Working Group Web Site]