What is Web Services Modeling Language (WSML) and how does it relate to SEE?
Web Service Modeling Language (WSML) provides a formal syntax and semantics for the WSMO. WSML is based on different logical formalisms, namely Description Logics, First-Order Logic and Logic Programming, which are useful for the modeling of Semantic Web services. WSML consists of a number of variants based on these different logical formalisms, namely WSML-Core, WSML-DL, WSML-Rule and WSML-Full. These variants differ in their expressivity and syntax. Most complex capabilities are provided by WSML-Full which unifies the Description Logic and Logic Programming paradigms. All WSML variants are described in terms of a normative human-readable syntax. Besides the human-readable syntax an XML and an RDF syntax is provided for exchange between machines. Furthermore, mapping between WSML ontologies and OWL are also provided. In context of SEE, all aspects related to Semantic Web Services and their execution will be expressed in WSML. WSML allows specifying various properties using logical sta
