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).

For the Greensboro News/Talk radio station WSML, see WSJS.

In other words, the WSML provides means to formally describe the WSMO elements as Ontologies, Semantic Web services, Goals, and Mediators.[1]

The WSML is based on the logical formalisms as Description Logic, First-order Logic and Logic Programming.[2]

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, a unification of the WSML-DL and WSML-Rule.

See also

References
  1. 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
  2. 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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.