[AUDIO EN BLANCO] Hola. Bienvenido a nuestro curso sobre la web semántica. Continuando con nuestro estudio sobre el Web Ontology Language o OWL, hoy veremos cómo podemos especificar restricciones sobre propiedades. Hemos visto ya dos tipos de restricciones sobre propiedades. Como pueden ver en la transparencia, tenemos la propiedad arrienda, y lo que sabemos es que los sujetos de esta propiedad tienen que ser de tipo persona, lo que especificábamos a través de de rdfs:domain y sabemos que los objetos de esta relación tienen que ser de tipo casa, lo que especificamos a través de rdfs:range. Vale decir, si decimos que Carlos arrienda a, lo que sabemos es que Carlos tiene que ser una persona y sabemos que a tiene que ser una casa. Pero OWL nos permite especificar restricciones más avanzadas sobre propiedades. Por ejemplo, podemos decir que una propiedad es la inversa de otra y podemos indicar que dos propiedades son disjuntas. Recuerden que OWL es un vocabulario RDF, por lo tanto necesitamos tener algunas URI que nos permitan expresar estas condiciones, en particular para decir o para decir que una propiedad es la inversa de otra, vamos a usar el URI owl:InverseOf y para decir que dos propiedades son disjuntas vamos a utilizar el URI owl:disjointProperty, recuerden que en este caso, owl es un prefijo que ya habíamos definido y que nos permite hablar del vocabulario owl. Veamos como un primer ejemplo la restricción inversa. Una restricción inversa nos permite indicar que una propiedad es la inversa de otra. En este ejemplo tenemos un grafo RDF. Como siempre comenzamos especificando los prefijos que vamos a leer en el grafo. En este caso tenemos prefijos que ya deben ser familiares para usted. Tenemos owl, que nos permite hablar de vocabulario owl, rdf el vocabulario rdf, rdfs porque todavía seguimos utilizando algunos de los componentes de rdfs y example.org que en este caso usamos como un prefijo para los distintos componentes que vamos a definir. En el primer triple de este grafo rdf especificamos que arrienda es de tipo owl object property. Estamos diciendo arrienda es una propiedad en OWL y que relaciona a clases. Es arrendado por también la definimos como owl object property, de nuevo es una propiedad y en el tercer triple decimos que es arrendado por es la inversa de arrienda. Para decir esto decimos es arrendado por owl:inverseOf:arrienda Entonces, como pueden ver en el ejemplo, lo que podemos hacer a partir de esta definición es inferir nuevos triples. En este caso, del hecho de que esArrendadoPor es la inversa de arrienda y del hecho de que Carlos arrienda casa1, lo que vamos a poder inferir utilizando los mecanismos de inferencia de owl es que casa1 es arrendado por Carlos. Esto lo pueden ver en la figura. Nuevamente, lo que estamos diciendo, ahí como ven en la figura es que Carlos arrienda a esta casa1 y lo que inferimos es que entonces, casa1 es arrendado por Carlos. Vale decir que es arrendado por es la propiedad inversa a la propiedad arrienda. Veamos ahora un ejemplo de propiedades disjuntas. Si dos propiedades p y q son disjuntas entonces no puede suceder que dos recursos a y b estén relacionados a través de ambas propiedades. Por ejemplo, en este ejemplo nuevamente tenemos cuatro prefijos y tenemos tres triples. En el primer triple decimos que arrienda es de tipo propiedad. En el segundo triple decimos que esDueñoDe también es de tipo object property, vale decir, relaciona clases y después decimos que esDueñoDe es una propiedad disjunta con la propiedad arrendar. Lo que decimos en este caso, utilizamos el triple que dice esDueñoDe:owl:disjointproperty:arrienda. ¿Qué es lo que vamos a poder inferir entonces utilizando el mecanismo de OWL? Vamos a poder inferir que no puede suceder que dos objetos a y b estén relacionados a través de las propiedades arrienda y esDueñoDe. Como puede ver usted aquí en la figura, si sabemos que Carlos es dueño de esta casa1, entonces sabemos que Carlos no arrienda la casa1. Es decir, podemos inferir que el triple Carlos: arrienda casa1 no es cierto. En términos de triple, lo podemos ver en la parte de arriba de la transparencia, lo que decimos es, nuevamente, esDueñoDe es una propiedad disjunta con arrienda y tenemos un segundo triple que nos dice Carlos es dueño de casa1. Entonces, usando el mecanismo de inferencia de owl, que es similar al mecanismo de inferencia de rdfs, podemos inferir que no es cierto el triple Carlos:arrienda:casa1. Como resumen, OWL ofrece restricciones o axiomas para propiedades. OWL permite especificar que una propiedad es la inversa de otra y OWL, además permite indicar que dos propiedades son disjuntas. Por ejemplo sabemos que la propiedad arrienda es la inversa de la propiedad esArrendadoPor y sabemos que la propiedad arrienda es disjunto con la propiedad esDueñoDe. Y estas restricciones nos permiten crear de una forma más precisa un modelo de datos. Podemos decir, de manera más precisa, cuales son las condiciones que satisfacen nuestras propiedades.
