Web Services Modeling Language: Difference between revisions

Revision as of 12:35, 9 September 2008

Revision as of 05:30, 11 November 2008

Line 3:

'''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_ServicesSemantic Web Services|Semantic Web services]], [[Goal_Goal (management)|Goals]], and [[Mediator_patternMediator 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-28 April, 2005. http://dip.semanticweb.org/WSML-aLanguageFrameworkforSemanticWebServices.htm</ref>.

The WSML is based on the logical formalisms as [[Description_LogicsDescription Logics|Description Logic]], [[First-order_logicorder 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-28 April, 2005. http://dip.semanticweb.org/TheWSMLrulelanguagesfortheSemanticWeb.htm</ref>.

==Language variants of WSML==

* ''WSML Core'', defined as an intersection of the [[Description_LogicsDescription Logics|Description Logic]] and [[Horn_logicHorn logic|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.

Line 24:

* [[WSMO]]

== External Linkslinks ==

* [http://www.wsmo.org/wsml/ WSML Home Web Site]

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