Content deleted Content added
m Fix/remove {{Expand}} + WP:CHECKWIKI error fixes + general fixes using AWB (7551) |
m clean up, References after punctuation per WP:REFPUNC and WP:PAIC using AWB (8748) |
||
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 (management)|Goals]], and [[Mediator pattern|Mediators]]
The WSML is based on the logical formalisms as [[Description Logics|Description Logic]], [[First-order logic|First-order Logic]] and [[Logic Programming]]
==Language variants of WSML==
|