Ir al contenido

Documat


Razonamiento mereotopológico automatizado para la depuración de ontologías

  • Autores: Antonia María Chávez González Árbol académico
  • Directores de la Tesis: Joaquín Borrego Díaz (dir. tes.) Árbol académico
  • Lectura: En la Universidad de Sevilla ( España ) en 2005
  • Idioma: español
  • Tribunal Calificador de la Tesis: Luis María Laita de la Rica (presid.) Árbol académico, José Antonio Alonso Jiménez (secret.) Árbol académico, José Muñoz Pérez (voc.) Árbol académico, Luis de Ledesma Otamendi (voc.) Árbol académico, Inmaculada Pérez de Guzmán Molina (voc.) Árbol académico
  • Enlaces
    • Tesis en acceso abierto en: Idus
  • Resumen
    • 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


Fundación Dialnet

Mi Documat

Opciones de tesis

Opciones de compartir

Opciones de entorno