Lenguaje de modelado de servicios web

WSML o Web Service Modeling Language es un lenguaje formal que proporciona una sintaxis y semántica para la Ontología de Modelado de Servicios Web (WSMO) .

En otras palabras, el WSML proporciona medios para describir formalmente los elementos WSMO como Ontologías , Servicios Web Semánticos , Objetivos y Mediadores . ^[1]

Variantes lingüísticas de WSML

Núcleo de WSML , definido como una intersección de la lógica de descripción y la lógica de Horn . Admite clases de modelado, atributos, relaciones binarias e instancias.
WSML-DL , una extensión del núcleo WSML, captura completamente la lógica de descripción . ${\mathcal {SHIQ}}^{\mathcal {(D)}}$
WSML-Flight , una extensión del núcleo WSML, proporciona funciones como metamodelado, restricciones y negación no monótona.
WSML-Rule , extensión de WSML-Flight, proporciona capacidades de programación lógica .
WSML-Full , una unificación de WSML-DL y WSML-Rule.

^ J. de Bruijn, H. Lausen, A. Polleres, D. Fensel: WSML - a Language Framework for Semantic Web Service. Taller del W3C sobre lenguajes de reglas para la interoperabilidad, Washington, EE. UU., 27 y 28 de abril de 2005. http://dip.semanticweb.org/WSML-aLanguageFrameworkforSemanticWebServices.htm Archivado el 7 de enero de 2009 en Wayback Machine.
^ J. de Bruijn, H. Lausen, A. Polleres, D. Fensel: Los lenguajes de reglas WSML para la Web semántica. Taller del W3C sobre lenguajes de reglas para la interoperabilidad, Washington, EE. UU., 27 y 28 de abril de 2005. http://dip.semanticweb.org/TheWSMLrulelanguagesfortheSemanticWeb.htm Archivado el 7 de enero de 2009 en Wayback Machine.