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

Semantic Web services, Goals, and Mediators.^[1]

The WSML is based on the logical formalisms as

Language variants of WSML

WSML Core, defined as an intersection of the
Horn Logic
. Supports modeling classes, attributes, binary relations and instances.
WSML-DL, extension of the WSML Core, fully captures the
Description Logic
${\mathcal {SHIQ}}^{\mathcal {(D)}}$ .
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, a unification of the WSML-DL and WSML-Rule.

^ 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 Archived 2009-01-07 at the Wayback Machine
^ 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 Archived 2009-01-07 at the Wayback Machine