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]
El WSML se basa en formalismos lógicos como lógica descriptiva , lógica de primer orden y programación lógica . [2]
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 .
- 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.
Véase también
Referencias
- ^ 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.
Enlaces externos
- Sitio web de inicio de WSML
- Sintaxis WSML
- Presentación de WSML en W3C
- Sitio web del grupo de trabajo de la WSMO
