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.