Resumen: Estudiamos el problema de ajustar ontologías y restricciones a ejemplos positivos y negativos que toman la forma de una estructura relacional finita. Como lenguajes de ontología y restricción, consideramos la descripción lógica $ mathcal {e mkern-2mu l} $ y $ mathcal {e mkern-2mu li} $, así como varias clases de dependencias de generación de tuples (TGDS): dependientes completas, protegidos, protegidos fronterizos, fronterizos, y sin restricciones, como las dependencias de las inclusiones (TGDS). Afectamos la complejidad computacional exacta, los algoritmos de diseño y analizamos el tamaño de las ontologías y TGD de ajuste. También investigamos el problema relacionado de construir una base finita de inclusiones de concepto / TGD para un conjunto dado de estructuras finitas. Mientras que existen bases finitas para $ Mathcal {e mkern-2mu l} $, $ mathcal {e mkern-2mu li} $, tgds guardados y dependencias de inclusión, en general no existen para TGD completos, protegidos por fronteras y fronterizas.
Publicado Originalme en export.arxiv.org El 19 de agosto de 2025.
Ver Fuente Original
