Web Service Modeling Language
From semanticweb.org
The Web Service Modeling Language (WSML) is a concrete formal language that is based on the WSMO conceptual model and thus is a language within which descriptions of WSMO Ontologies, Web Services, Goals and Mediators can be written. WSML is also a language framework made up of a different language variants incorporating both Description Logics and Logic Programming such that both can be used for describing Web services. WSMO description sin the WSML formalism can be created using the Web Service Modeling Toolkit.
