REMEDiAL - Razonamiento Automático, Ejecución de Modelos y Análisis de Datos a partir de Ontologías

El objetivo principal de este proyecto es proporcionar capacidades para ayudar a automatizar el proceso de desarrollo de software, basado en el uso de ontologías de dominio. Una ontología representa una definición formal de los conceptos, propiedades, restricciones e interrelaciones de las entidades que realmente existen en un dominio particular del discurso y de las acciones que se pueden realizar sobre ellas en este dominio. El contenido de la ontología se determina a partir del contenido de las fuentes o bases de datos subyacentes a través de asignaciones declarativas que definen los conceptos en la ontología de acuerdo con los datos contenidos en las fuentes.

Específicamente, pretendemos desarrollar técnicas y herramientas para razonar automáticamente desde la ontología, a fin de asegurar que la definición de la ontología describa adecuadamente los conceptos del dominio y poder transferir un cambio a nivel de datos en una modificación de la conocimiento ontológico; para la ejecución automática de modelos, para proporcionar capacidades de ejecución directa sin tener que desarrollar el sistema de software manualmente; o analizar los datos en las fuentes a partir del conocimiento definido en la ontología para extraer conclusiones y descubrir dependencias de comportamiento que son imposibles de determinar teniendo en cuenta solo los datos de origen.

Esta investigación se llevará a cabo en cuatro dominios de aplicación diferentes: modelado de procesos de negocios, políticas de ontología de seguridad, Internet de las cosas (IoT) y análisis de aprendizaje en educación.