Tesis doctoral de Chávez González Antonia María
La memoria se enmarca dentro del campo de la verificación de bases de conocimiento asociadas a ontologías, en concreto, de la aplicación del razonamiento espacial cualitativo a la limpieza de ontologías de manera asistida por sistemas de razonamiento automático (sra); todo ello en el contexto de la web semántica. las tareas de creación y administración de ontologías son complejas, hecho que se agrava si añadimos la necesidad de evaluar y optimizar la calidad del conocimiento representando por las mismas. En esta memoria se propone como solución a este problema un proceso de depuración de ontologías basado en la aplicación del razonamiento espacial cualitativo como soporte formal para el tratamiento mereotopológico de la representación espacial de las ontologías, concretamente, el cálculo de conexión de regiones (rcc). Se desarrollan cada uno de los pasos del proceso diseñado, haciendo uso de sra, certificando de este modo que los resultados obtenidos no hacen uso de propiedades espaciales intuitivas que, aún siendo válidas, pueden no ser demostrables en la teoría objeto de estudio. Además se realiza un análisis pormenorizado de los resultados obtenidos en cada uno de los pasos del procesos y del nivel de generalizada de las soluciones propuestas, destacando los siguientes aspectos: * se automatiza el razonamiento espacial cualitativo mediante sra, estudiándose las extensiones del cálculo rcc y proporcionando un método de inserción ontológica que permite trabajar con ontologías mediante sus representaciones espaciales. * por otro lado, se dota a las mismas de una semántica formal que valide las transformaciones de las ontologías. De esta manera, se hace posible la traducción de una ontología a una representación espacial, el razonamiento con las herramientas del cálculo espacial para su reparación. * por último, se presenta la traducción de los efectos de esas transformaciones espaciales, dando lugar a u
Datos académicos de la tesis doctoral «Razonamiento mereotopológico automatizado para la depuración de ontologías«
- Título de la tesis: Razonamiento mereotopológico automatizado para la depuración de ontologías
- Autor: Chávez González Antonia María
- Universidad: Sevilla
- Fecha de lectura de la tesis: 20/06/2005
Dirección y tribunal
- Director de la tesis
- Joaquin Borrego Díaz
- Tribunal
- Presidente del tribunal: Luis María Laita de la rica
- inmaculada Perez de guzman molina (vocal)
- José Muñoz pérez (vocal)
- Luis Ledesma otamendi (vocal)