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, WSML proporciona medios para describir formalmente los elementos de WSMO como Ontologías , Servicios de Web Semántica , Metas y Mediadores . [1]
El WSML se basa en los formalismos lógicos como Descripción Lógica , Lógica de primer orden y Programación lógica . [2]
Variantes de lenguaje de WSML
- WSML Core , 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 , extensión de WSML Core, captura completamente la lógica de descripción .
- WSML-Flight , extensión de WSML Core, proporciona características como metamodelado, restricciones y negación no monotónica.
- 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.
Ver también
Referencias
- ^ J. de Bruijn, H. Lausen, A. Polleres, D. Fensel: WSML: un marco de lenguaje para servicios web semánticos. Taller del W3C sobre lenguajes de reglas para la interoperabilidad, Washington, EE. UU., 27-28 de abril de 2005. http://dip.semanticweb.org/WSML-aLanguageFrameworkforSemanticWebServices.htm
- ^ 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-28 de abril de 2005. http://dip.semanticweb.org/TheWSMLrulelanguagesfortheSemanticWeb.htm