http://www.w3c.es/Presentaciones/2006/0214-InteroperabilidadBPMS-MA/ <Persona> <Nombre>José Manuel Alonso</Nombre> <Dirección> Oficina W3C España, Parque Científico-Tecnológico </Dirección> <Ciudad>Gijón</Ciudad> <CodigoPostal>33203</CodigoPostal> <Pais>España</Pais> <Tel tipo="oficina">+34 984390616</Tel> <Fax>+34 984390612</Fax> <Email>jalonso@w3.org</Email> <Notas>Responsable</Notas> </Persona> Estas descripciones tienen por objeto la automatización de servicios Web relacionados con tareas tales como descubrimiento, la mediación y la invocación. Razonamiento basado en descripciones pueden ser utilizados para lograr la automatización. 1 wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight" 2 3 namespace {_"http://www.example.org/Family#", 4 dc _"http://purl.org/dc/elements/1.1#"} 5 6 ontology Family 7 concept Human 8 hasParent inverseOf(hasChild) ofType Human 9 hasChild ofType Human 10 hasAgeInYears ofType (0 1) _integer 11 12 axiom DefinitionTeenager 13 nonFunctionalProperties 14 dc#source hasValue _"http://dictionary.reference.com/search?q=teenager" 15 endNonFunctionalProperties 16 definedBy 17 forall {?teen,?age} ( 18 ?teen memberOf Teenager impliedBy 19 ?teen[hasAgeInYears hasValue ?age] memberOf Human and 20 ?age >= 13 and ?age =< 19). WSML capas WSML El marco permite una serie de variantes con diferente expresividad. Todas las variantes y su interrelación se muestra en la Figura 1. Extensión que significa que cada válida la especificación de una variante ampliada también es válida una especificación de la nueva variante. Además, todas las consecuencias deducirse de un "menor" WSML variante son también válidas las consecuencias de la ampliación de la variante. La estratificación se define por las restricciones sintácticas de la lengua. Figura 1: Variantes WSML WSML núcleo se corresponde con la intersección de la descripción lógica y el Cuerno de lógica [Grosof et al., 2003] (sin función y sin símbolos de la igualdad), ampliado con el dato de apoyo, a fin de ser útiles en aplicaciones prácticas. WSML-Core es plenamente compatible con un subconjunto de otros espacios arbolados. WSML-DL-amplía WSML básico a un expresivo Descripción lógica, a saber, SHIQ, cubriendo así la parte de OWL que es aplicable de manera eficiente. WSML vuelo se extiende WSML núcleo en la dirección de la Lógica de programación. WSML de vuelo-posee un rico conjunto de primitivas de modelado de diferentes aspectos de atributos, tales como el valor y la integridad limitaciones. Además, WSML vuelo incorpora una norma de la lengua, al mismo tiempo que permiten una intervención eficaz decidable razonamiento. Más precisamente, WSML vuelo Datalog permite a cualquier Estado, ampliado con la desigualdad y (localmente) estratificado negación. -Artículo WSML extiende WSML vuelo a una verdadera lógica de lenguaje de programación, permitiendo función de los símbolos y las normas inseguras. WSML-Full unifica todas las variantes bajo WSML común de primer orden con paraguas no monotónica extensiones que permiten la captura no monotónica negación de WSML-Regla. WSML y la Web WSML hace uso extensivo de los estándares Web. Por ejemplo, se utiliza IRIS para identificar las entidades, como se ilustra en el Listado 1. El Extensible Markup Language (XML) es un lenguaje de marcas para el intercambio de datos estructurados. WSML adopta el uso de nombres de XML y la de datos de XML Schema. Además, WSML especifica una sintaxis XML para el intercambio de interoperabilidad en la Web. El Marco de Descripción de Recursos (RDF) define una triple estructura de datos para la meta de descripción de datos en la Web y el esquema de RDF se describe cómo utilizar RDF para describir vocabularios. WSML reutiliza y amplía el vocabulario RDF esquema para permitir que los RDF (S)-basada en herramientas para entender las partes de una WSML pliego de condiciones. WSML espectador pone restricciones sobre el tipo de triples permitió a continuación, OWL DL no. Por expresiones lógicas que la reutilización WSML / serialización XML, ya que la codificación de un complejo de construcciones en triples resultados en muchos triples y complicada tramitación. La Web de ontología Idioma (OWL) no es reutilizado directamente como base para nuestro idioma, dado que el objetivo de una estricta semántica computacional capas y propiedades beneficiosas. En lugar de ello, proporcionar a las asignaciones de fragmentos de otros espacios arbolados que tienen propiedades deseables de cómputo. En concreto, existen bi-direccional asignaciones para WSML-Core y WSML-DL y OWL de.