Una lógica de descripciones en un nivel meta-ontológico para la gestión de sistemas de información globales

Résumé

Esta tesis presenta los fundamentos para implantar un nivel semántico por encima de las ontologías contempladas por el sistema OBSERVER, en el que las ontologías cumplen un papel central de descripción semánticamente rica de contenido de las fuentes de datos y de interfaz de acceso a la información por parte del usuario, Ese nivel, que denominamos meta-ontológico, permite describir los elementos de las ontologías, las correspondencias entre términos y vistas relacionales y las relaciones intercontológicas. Definimos una ontología en ese metanivel para poner a disposición de los administradores del sistema toda esa meta-información del sistema. Además en el nivel meta-ontológico definimos clases de preguntas de usuario que permiten desarrollar una técnica complementaria de procesamiento de preguntas. La base para implantar el nivel meta-ontológico es la lógica de descripciones SL(D)+VL(D) que definimos a tal efecto. Formalizamos su semántica y definimos un cálculo consistente y completo para los procesos de razonamiento en la lógica.