Content deleted Content added
Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.9.5) (Whoop whoop pull up - 14633 |
|||
Line 2:
'''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|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–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–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==
| |||