Service Modeling Language [SEP] based on
Service Modeling Language
Service Modeling Language (SML) and Service Modeling Language Interchange Format (SML-IF) are a pair of XML-based specifications created by leading information technology companies that define a set of XML instance document extensions for expressing links between elements, a set of XML Schema extensions for constraining those links, and a way to associate Schematron rules with global element declarations, global complex type definitions, and/or model documents. The SML specification defines model concepts, and the SML-IF specification describes a packaging format for
Web Services Modeling Language
WSML or Web Service Modeling Language is a formal language that provides a syntax and semantics for the Web Service Modeling Ontology (WSMO).
In other words, the WSML provides means to formally describe the WSMO elements as Ontologies, Semantic Web services, Goals, and Mediators. 
The WSML is based on the logical formalisms as Description Logic, First-order Logic and Logic Programming.
Language variants of WSML.
- "WSML Core", defined as an intersection of the Description Logic