Content deleted Content added
→Language variants of WSML: specify DL variant |
m Fix/remove {{Expand}} + WP:CHECKWIKI error fixes + general fixes using AWB (7551) |
||
Line 1:
{{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,
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,
==Language variants of WSML==
* ''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 ⟶ 19:
* [[Web Ontology Language]] (OWL), [[OWL-S]], [[Web Services Description Language|WSDL]]
* [[WSMO]]
▲==References==
▲{{reflist}}
== External links ==
| |||