[AUDIO EN BLANCO] Hola, bienvenido a nuestro curso sobre la web semántica. Continuando con nuestro estudio sobre el uso de vocabularios con significado predefinido en RDF. Hoy vamos a ver algunas reglas de inferencia en RDF Schema o RDFS. Al igual que cuando hablamos de clase, las propiedades también pueden tener jerarquía. Por ejemplo, considere la siguiente figura. En esta figura podemos ver una propiedad es hermano de, que nos ayuda a especificar que cierta persona es hermano de otra persona, y también tenemos la propiedad es pariente de, y también nos permite especificar que una persona es pariente de otra persona. En este caso tenemos una jerarquía de propiedades, porque esperamos que si A es hermano de B, entonces A es pariente de B. En ese sentido, es pariente de, es más general. RDFS tiene un componente que nos permite indicar que una cierta propiedad es una subpropiedad de otra. Recuerde que RDFS es un vocabulario de RDF, que nos permite especificar reglas que tiene que satisfacer un cierto dominio. Y como es un vocabulario RDF cada uno de sus componentes es especificado por un URI. En este caso para especificar su propiedad, utilizamos el URI RDFS: subPropertyOf. Recuerden también que en este caso estamos usando un prefijo para simplificar la notación del URI, y este prefijo está representado por RDFS. Entonces, podemos decir en RDFS que la propiedad es hermano de, es una subpropiedad de la propiedad es pariente de, y para eso utilizamos el triple que hemos mostrado en la transparencia. Nótese que en este archivo primero estamos declarando el prefijo RDFS que vamos a estar utilizando en este video, y en el último triple de este archivo estamos declarando que es hermano de es subpropiedad de es pariente de, lo cual hacemos a través del triple que nos indica es hermano de, RDFS:subPropertyOf es pariente de. ¿Qué queremos hacer con estos triples? Bueno, queremos hacer razonamiento. O sea, a partir de los dos triples, de los dos triples que podemos ver a continuación, un triple que nos dice que Joaquín Phoenix es hermano de River Phoenix, y que es hermano de es una subpropiedad de es pariente de. Nos gustaría deducir de manera automática que Joaquín Phoenix es pariente de River Phoenix. Y esto es lo que podemos lograr a través de RDFS, el computador o las aplicaciones computacionales van a poder inferir de manera automática que Joaquín Phoenix es pariente de River Phoenix a partir de los dos triples que teníamos arriba. ¿Sí? Como habíamos visto en el video anterior, estas formas de razonamiento de RDFS se traducen en reglas de inferencia, en el caso particular del ejemplo que vimos en este video, la regla de inferencia se debe a la siguiente forma. Dice, a partir de los triples A, P, B, y P es una subpropiedad de Q, infiere al triple A, Q, B. Lo que estamos diciendo en este caso es, si el sujeto A está relacionado con el objeto B a través de la propiedad P, y sabemos que P es una subpropiedad de la propiedad Q, entonces podemos inferir que el sujeto A está relacionado con el objeto B a través de la propiedad Q. RDFS tiene otras reglas de inferencia que nos permiten deducir triples a partir de triples existentes. Las otras reglas de inferencia fundamentales en RDF son utilizadas para inferir nuevas relaciones de subclase utilizando jerarquías de clases. Inferir nuevas relaciones de propiedad utilizando jerarquías de propiedades. E inferir a qué clase pertenece un objeto utilizando el dominio o el rango de una propiedad. A continuación, vamos a ver estas distintas reglas. En primer lugar, veamos la regla de inferencia sobre jerarquías de clases. En este ejemplo tenemos tres clases, tenemos la clase de los jugadores de fútbol, la clase de los deportistas y la clase de las personas. Y lo que sabemos es que, si cada jugador de fútbol es un deportista y cada deportista es una persona. Lo que nos gustaría inferir entonces, es que cada jugador de fútbol es una persona. Gráficamente podemos representar esto de la siguiente forma, tenemos la clase de los jugadores de fútbol, que está contenida en la clase de los deportistas, y que a su vez la clase de los deportistas está contenido en la clase de las personas. Entonces, lo que nos gustaría deducir es que la clase de los jugadores de fútbol está contenido en la clase de las personas. Como mencionábamos anteriormente, esta forma de razonamiento RDFS se traduce en una regla de inferencia. En este caso la regla de inferencia se ve de la siguiente forma. Decimos si tenemos los triples A es subclase de B, y B es subclase de C, entonces se puede inferir el triple A es subclase de C. Recuerde que inferir significa que consideramos el triple A es subclase de C como parte de nuestro grafo RDF, y que una aplicación computacional va a deducir este triple de manera automática. Al igual que para las jerarquías de clases, tenemos una regla para las jerarquías de propiedades, que es muy similar, y que se ve de la siguiente forma. Dice a partir de los triples P es subpropiedad de Q, y Q es subpropiedad de R, infiere al triple P es subpropiedad de R. Lo que estamos diciendo en este caso entonces es que, si sabemos que la propiedad P es una subpropiedad de la propiedad Q, y sabemos que la propiedad Q es una subpropiedad de la propiedad R, entonces podemos deducir, y vamos a hacer esto de manera automática, que P es una subpropiedad de R. En tercer lugar tenemos una regla de inferencia para el dominio de una propiedad. Veamos un ejemplo sobre esto. En este caso tenemos la propiedad juega en, y tenemos que Messi juega en Barcelona. ¿Qué sabemos sobre esta propiedad? Sabemos que el dominio de esta propiedad es la clase jugador de fútbol. Lo que nos gustaría deducir entonces, es que Lionel Messi es un jugador de fútbol. Vale decir lo que queremos hacer formalmente es deducir un triple de la forma dbpedia:Lionel Messi es de tipo jugador de fútbol. ¿Cómo hacemos esto? Bueno, para hacer esto tenemos la siguiente regla de inferencia. Y esta regla de inferencia es la regla de inferencia que está relacionada con el dominio de una propiedad. Lo que tenemos en este caso es lo siguiente, si tenemos el triple A, P, B, y tenemos el triple P dominio C, entonces inferimos el triple A tipo C. Lo que estamos diciendo en otras palabras, es que si sabemos que el sujeto A está relacionado con el objeto B a través de la propiedad P, y sabemos que el dominio de P es la clase C, vale decir todos los sujetos que tenemos en esta relación tienen que ser de tipo C, bueno, lo que vamos a inferir entonces es que A es de tipo C. Bueno, esta forma de razonamiento se traduce en la siguiente regla de inferencia para el domino de una propiedad. Esta regla de inferencia nos dice, si tenemos el triple A P B, y tenemos que el triple P dominio C, entonces podemos inferir el triple A tipo C. Lo que estamos diciendo en este caso es, si el sujeto A está relacionado con el objeto B a través de la propiedad P y sabemos que el dominio de P es C, vale decir sabemos que todos los sujetos que estén relacionados a través de la propiedad P tienen que ser de tipo C, entonces lo que vamos a inferir es que A es de tipo C en este caso. Al igual que para el caso del dominio, tenemos una regla de inferencia para el rango de una propiedad que es muy similar. En este caso lo que decimos es lo siguiente, si sabemos que tenemos el triple A P B, y sabemos que el rango de P es D, entonces podemos deducir que B es de tipo D. En otras palabras, si tenemos que el sujeto A está relacionado con el objeto B a través de la propiedad P, y sabemos que el rango de la propiedad es B, entonces sabemos que los objetos que están relacionados a través de esta propiedad P, tienen que ser de tipo D. Entonces podemos inferir en este caso que B es de tipo D. En resumen, hemos visto en este video que RDFS tiene un componente que permite indicar que una propiedad es una subpropiedad de otra. Por ejemplo podemos indicar que es hermano de es una subpropiedad de es pariente de. RDFS tiene reglas de inferencia sobre jerarquías de clases y propiedades que nos permiten inferir nuevas jerarquías de clases a partir de las dadas y nuevas jerarquías de propiedades a partir de las dadas, y RDFS además tiene reglas de inferencia para el dominio y rango de una propiedad.
