SUDOQU – Asegurando la calidad de los datos mediante ontologías

SUDOQU (enSUring Data with Ontological QUality) es un proyecto de investigación financiado por el Ministerio de Ciencia e innovación, el objetivo del cual es el desarrollo de técnicas para asegurar la calidad de los datos mediante el uso de ontologías.

Entre otros objetivos, en el proyecto SUDOQU se está desarrollando un razonador de lógica de primer orden, basado en sintaxis datalog, capaz de detectar si una fórmula lógica es finitamente satisfactible, o si por el contrario, es insatisfactible.

Este razonador se puede usar en diferentes contextos prácticos como:

• Generación automática de datos de prueba. Efectivamente, un desarrollador puede escribir una fórmula en el razonador que codifique los datos que necesita para hacer un test (e.g. “necesito un empleado que trabaje en al menos dos departamentos”) y el razonador es capaz de crear todas las instancias necesarias para satisfacer la fórmula y otras restricciones de negocio (e.g., claves primarias, claves foráneas, y otras reglas definibles en lógica de 1.º orden), asegurando así la calidad.
• Detección de reglas de negocio redundantes/contradictorias. Un desarrollador puede describir las reglas de negocio definidas por el usuario, y comprobar que no existen redundancias ni contradicciones con el razonador. De este modo, se pueden validar las reglas que definen la calidad de los datos.
• Razonamiento sobre OBDA. En un sistema OBDA (ontology-based data access), el usuario describe una ontología que completa los datos de una base de datos. El razonador, en este caso, se puede usar tanto para validar la ontología, como para completar los datos de la base de datos mediante el conocimiento ontológico.