UNIVERSIDAD REY JUAN CARLOS

CURSO 2012-2013

INGENIERA DEL CONOCIMIENTO

Grado en Ingeniera del Software
Hoja de Problemas Tema 9
Ontologas y Web Semntica

Ejercicio 1:
Representar utilizando RDF Schema el siguiente conocimiento:
La capital de Espaa es Madrid.
Puede utilizar un grafo o la notacin Turtle. Defina las clases y propiedades que considere oportunas.
Todas las URIs creadas tendrn como base http://prueba2.curso2012/. Si lo desea puede utilizar los
siguientes prefijos y/o definir otros si es necesario.
@prefix p2: <http://prueba2.curso2012/>
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
Ejercicio 2:
Representar utilizando RDF Schema el siguiente conocimiento:
Picasso pint el Guernica.
Puede utilizar un grafo o la notacin Turtle. Defina las clases y propiedades que considere oportunas.
Todas las URIs creadas tendrn como base http://prueba2.curso2012/. Si lo desea puede utilizar los
siguientes prefijos y/o definir otros si es necesario.
@prefix p2: <http://prueba2.curso2012/>
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
Ejercicio 3:
Utilizando la herramienta Protege realizar los siguientes pasos:
1. Crear un proyecto nuevo
Seleccionar OWL / RDF Files
Despus OWL DL
2. Crear la clase Animal y las subclases Tigre, Vaca y Oveja
Tigre Animal
Vaca Animal
Oveja Animal
3. Crear las clase ProductoAnimal y las subclases Leche y Huevos

Pg. 1 / 3

UNIVERSIDAD REY JUAN CARLOS

CURSO 2012-2013

INGENIERA DEL CONOCIMIENTO

Grado en Ingeniera del Software
Hoja de Problemas Tema 9
Ontologas y Web Semntica

4. Definir la propiedad come con dominio Animal y rango Animal Planta

ProductoAnimal
El rango en Protege se hace aadiendo las tres clases al rango (en vez de la frmula)
Otra opcin: crear una clase Comida con esas tres subclases
5. Crear instancia de Tigre (p.e. t1) y Vaca (p.e. v1) e indicar que t1 come v1
6. Expresar: algo que come animales es carnvoro:
Carnvoro come.Animal
Se recomienda seleccionar la opcin OWL Preferences DLSintaxClassDisplay
para utilizar la notacin de lgicas de descripciones vista en clase
7. Expresar: un vegetariano es algo que no come animales
Vegetariano come.Animal (o (come.Animal) )
8. Expresar: Los tigres comen vacas
Tigre come.Vaca
9. INFERENCIA: clasificar la ontologa. Observar qu se deduce e intentar explicar porqu.
10. INFERENCIA: computar instancias. Observar qu se deduce e intentar explicar porqu.
11. Expresar: La vaca es animal vegetariano
Vaca Animal Vegetariano (o simplemente aadir Vaca Vegetariano)
12. Expresar: Las vacas locas son vacas que comen ovejas
VacaLoca Vaca come.Oveja
13. INFERENCIA: comprobar consistencia. Observar qu se deduce e intentar explicar porqu.
14. Quitar Vegetariano de Vaca (11). Volver a comprobar la consistencia y explicar.
15. Volver a dejar Vaca Animal Vegetariano y modificar Vegetariano (7):
Vegetariano come.Planta (en vez de Animal)
16. INFERENCIA: comprobar consistencia. Observar qu se deduce e intentar explicar porqu.
17. Aadir que Animal es disjunto de Planta.
Animal Planta
Esto se puede hacer aadiendo el axioma o aadiendo la clase en disjoints
18. INFERENCIA: comprobar consistencia. Observar qu se deduce e intentar explicar porqu.

Pg. 2 / 3

UNIVERSIDAD REY JUAN CARLOS

CURSO 2012-2013

INGENIERA DEL CONOCIMIENTO

Grado en Ingeniera del Software
Hoja de Problemas Tema 9
Ontologas y Web Semntica

Ejercicio 4:
1. Introducir en Protege el ejemplo de la familia del ejercicio 1 del tema Lgica de
Descripciones
2. Clasificar la taxonoma. Observar el resultado.
3. Introducir algunas instancias
4. Obtener instancias inferidas (type)
5. Introducir inconsistencias, por ejemplo:
Hombre y NO Hombre
Despus de tener instancias, decir que hombre tiene al menos un hijo
6. Realizar consultas SPARQL

Ejercicio 5:
Dado el siguiente fragmento de la mitologa griega:
Edipo mat a su padre, se cas con su madre Yocasta, y tuvo hijos con ella, entre ellos Polinices.
Polinices tuvo hijos, entre ellos Tersandro.
a) Representar ese conocimiento en LD ALC (se sugiere una clase Mito y predicado tieneHijo)
b) Aadir que Edipo es parricida y Tersandro no lo es (por ejemplo usar clase Parricida)
Se quiere saber si Yocasta tiene un hijo parricida que a su vez tenga un hijo que no sea parricida
c) Plantear la pregunta en LD ALC
d) cul sera la respuesta si la informacin se guarda en Base de Datos (mundo cerrado)?
e) cul sera la respuesta si se utiliza LD?
Introducir ese conocimiento en Protege y comprobar la solucin.

Pg. 3 / 3