Resumen de Razonamiento mereotopológico automatizado para la depuración de ontologías
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
