Web Services Modeling Language

From Wikipedia, the free encyclopedia
This is the current revision of this page, as edited by imported>InternetArchiveBot at 13:30, 17 August 2023 (Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.9.5) (Whoop whoop pull up - 14633). The present address (URL) is a permanent link to this version.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Script error: No such module "For". 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.[1]

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

Language variants of WSML

Script error: No such module "Unsubst".

  • 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

<templatestyles src="Reflist/styles.css" />

  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 Script error: No such module "webarchive".
  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 Script error: No such module "webarchive".

Script error: No such module "Check for unknown parameters".

External links