http://debianws.lexgopc.com/wiki143/index.php?action=history&feed=atom&title=Web_Services_Modeling_LanguageWeb Services Modeling Language - Revision history2026-05-05T22:52:04ZRevision history for this page on the wikiMediaWiki 1.43.1http://debianws.lexgopc.com/wiki143/index.php?title=Web_Services_Modeling_Language&diff=7152921&oldid=previmported>InternetArchiveBot: Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.9.5) (Whoop whoop pull up - 146332023-08-17T13:30:22Z<p>Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.9.5) (<a href="/wiki143/index.php?title=User:Whoop_whoop_pull_up&action=edit&redlink=1" class="new" title="User:Whoop whoop pull up (page does not exist)">Whoop whoop pull up</a> - 14633</p>
<p><b>New page</b></p><div>{{for|the Greensboro News/Talk radio station WSML |WSJS}}<br />
'''WSML''' or '''Web Service Modeling Language''' is a [[formal language]] that provides a [[syntax]] and [[semantics]] for the [[WSMO|Web Service Modeling Ontology (WSMO)]].<br />
<br />
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> <br />
<br />
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><br />
<br />
==Language variants of WSML==<br />
{{unreferenced|section|date=July 2023}}<br />
* ''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.<br />
* ''WSML-DL'', extension of the WSML Core, fully captures the [[Description Logic]] <math>\mathcal{SHIQ}^\mathcal{(D)}</math>.<br />
* ''WSML-Flight'', extension of the WSML Core, provides features as meta-modeling, constraints and nonmonotonic negation.<br />
* ''WSML-Rule'', extension of the WSML-Flight, provides [[Logic Programming]] capabilities.<br />
* ''WSML-Full'', a unification of the WSML-DL and WSML-Rule.<br />
<br />
==See also==<br />
* [[Ontology (computer science)]]<br />
* [[Semantic Web]]<br />
* [[Semantic Web Services]]<br />
* [[Web Ontology Language]] (OWL), [[OWL-S]], [[Web Services Description Language|WSDL]]<br />
* [[WSMO]]<br />
<br />
==References==<br />
{{reflist}}<br />
<br />
== External links ==<br />
* [http://www.wsmo.org/wsml/ WSML Home Web Site]<br />
* [http://www.wsmo.org/wsml/wsml-syntax WSML syntax]<br />
* [http://www.w3.org/Submission/WSML/ WSML submission in W3C]<br />
* [http://www.wsmo.org/ WSMO Working Group Web Site]<br />
<br />
[[Category:Web services]]<br />
[[Category:Semantic Web]]</div>imported>InternetArchiveBot