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 las ontologías de dominio. Una ontología representa una definición formal de los conceptos, propiedades, restricciones e interrelaciones de entidades que existen realmente en un determinado dominio del discurso y de las acciones que se pueden realizar en este ámbito. El contenido de la ontología se determina a partir del contenido de las fuentes o bases de datos subyacentes a través de mapas declarativos que definen los conceptos de la ontología según los datos contenidos en las fuentes.

Concretamente, tenemos la intención de desarrollar técnicas y herramientas para razonar automáticamente desde la ontología, para garantizar que la definición de la ontología describa adecuadamente los conceptos del dominio y pueda transferir un cambio al nivel de datos en una modificación del 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 de las fuentes del conocimiento definido a la ontología para extraer conclusiones y descubrir dependencias conductuales que no se pueden determinar teniendo en cuenta solo los datos de origen.

Esta investigación se llevará a cabo en cuatro dominios de aplicación diferentes: modelización de procesos de negocio, políticas de ontología de seguridad, Internet of Things (Yate) y análisis de aprendizaje en educación.