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.
gollark: And *another* Lua quirk more particular to CC is a heavy emphasis on event-driven I/O via coroutines.
gollark: The FS layer is actually fine, probably, apart from insufficiently flexible filesystem virtualization; the issue is that since this is really easy, many other potatOS features interact this way.
gollark: I *also* had to patch over a bunch of debug stuff to make sure that unprivileged code can't read environments out of those too.
gollark: And can thus do actual IO when permitted.
gollark: They were defined in the out of sandbox environment, so quirkiness means that they get the unmodified global scope to see.

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.