Ontology verification based on lexico-syntactic patterns

• Autores: Alba Fernández Izquierdo
• Directores de la Tesis: Raul Garcia Castro (dir. tes.) , Javier Bajo Pérez (codir. tes.)
• Lectura: En la Universidad Politécnica de Madrid ( España ) en 2021
• Idioma: español
• Tribunal Calificador de la Tesis: Asunción Gómez Pérez (presid.) , Elena Montiel Ponsoda (secret.) , Maxime Lefrançois (voc.) , Mariano Fernández López (voc.) , José Manuel Molina López (voc.)
• Enlaces
  • Tesis en acceso abierto en: Archivo Digital UPM
• Resumen

  • La verificación de ontologías es la actividad que compara una ontología con sus requisitos ontológicos, asegurando que se ha desarrollado correctamente de acuerdo con la especificación de requisitos ontológicos correspondiente. La verificación de ontologías permite asegurar que lo que se espera que esté definido en la ontología esté realmente definido en la ontología. Por ello, es una actividad crucial que debe llevarse a cabo en cualquier proceso de desarrollo ontológico. La verificación manual de ontologías puede ser una tarea tediosa y repetitiva, por lo que la ejecución automática de pruebas facilita esta actividad. Además, la colaboración tanto de desarrolladores ontológicos como de expertos de dominio y usuarios durante el proceso de verificación puede proporcionar información útil para evitar malentendidos y falta de información. Por ello, esta tesis propone un método para la verificación de ontologías. Este método incluye la definición de las actividades que deben llevarse a cabo, así como la definición de un lenguaje controlado para facilitar el diseño de las pruebas. Para dar soporte a este proceso, esta tesis presenta una herramienta online para ejecutar pruebas en una o más ontologías. Al mismo tiempo, para integrar los resultados de la verificación en el desarrollo ontológico, esta tesis propone un conjunto de métricas extraídas de los artefactos involucrados en el proceso de verificación, es decir, los requisitos, las pruebas y la implementación de la ontología. Estas métricas permiten extraer información relacionada con el desarrollo ontológico y pueden ser utilizadas para tomar decisiones a nivel de gestión. Finalmente, con el objetivo de garantizar la interoperabilidad y calidad en la descripción de un dominio, esta tesis describe un método de pruebas de conformidad, derivado del método de verificación, el cual analiza las similitudes y diferencias entre una ontología y un estándar basándose en los requisitos del estándar.