Web Services Modeling Language: Difference between revisions

Revision as of 15:53, 13 December 2010

Latest revision as of 02:16, 12 August 2025

(5 intermediate revisions by 4 users not shown)

Line 1:

{{Expand|date=August 2008}}

{{for|the Greensboro News/Talk radio station WSML |WSJS}}

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

In other words, the WSML provides means to formally describe the WSMO elements as [[Ontologies]], [[Semantic Web Services|Semantic Web services]], [[Goal (management)|Goals]], and [[Mediator pattern|Mediators]] .<ref>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-2827–28 April, 2005. http://dip.semanticweb.org/WSML-aLanguageFrameworkforSemanticWebServices.htm {{Webarchive|url=https://web.archive.org/web/20090107015918/http://dip.semanticweb.org/WSML-aLanguageFrameworkforSemanticWebServices.htm |date=2009-01-07 }}</ref>.

The WSML is based on the logical formalisms as [[Description Logics|Description Logic]], [[First-order logic|First-order Logic]] and [[Logic Programming]] .<ref>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-2827–28 April, 2005. http://dip.semanticweb.org/TheWSMLrulelanguagesfortheSemanticWeb.htm {{Webarchive|url=https://web.archive.org/web/20090107090152/http://dip.semanticweb.org/TheWSMLrulelanguagesfortheSemanticWeb.htm |date=2009-01-07 }}</ref>.

==Language variants of WSML==

{{unreferenced|section|date=July 2023}}

* ''WSML Core'', defined as an intersection of the [[Description Logics|Description Logic]] and [[Horn logic|Horn Logic]]. Supports modeling classes, attributes, binary relations and instances.

* ''WSML-DL'', extension of the WSML Core, fully captures the [[Description Logic]] <math>\mathcal{SHIQ}^\mathcal{(D)}</math>.

* ''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.

==References==

{{reflist}}

==See also==

Line 23 ⟶ 20:

* [[Web Ontology Language]] (OWL), [[OWL-S]], [[Web Services Description Language|WSDL]]

* [[WSMO]]

==References==

{{reflist}}

== External links ==

* [http://www.wsmo.org/wsml/ WSML Home Web Site] {{Webarchive|url=https://web.archive.org/web/20070502084604/http://www.wsmo.org/wsml/ |date=2007-05-02 }}

* [http://www.wsmo.org/wsml/wsml-syntax WSML syntax]

* [http://www.w3.org/Submission/WSML/ WSML submission in W3C]