Resumen: Investigamos la evaluación de consultas controladas (CQE) sobre las ontologías, donde la divulgación de información está regulada por dependencias epistémicas (EDS), una familia de reglas lógicas recientemente propuesta para el marco CQE. En particular, combinamos EDS con la noción de censores de GA óptimos, es decir, conjuntos máximos de átomos terrestres que están implicados por la ontología y pueden revelarse de manera segura. Nos centramos en responder a los sindicatos booleanos de consultas conjuntivas (BUCQ) con respecto a la intersección de todos los censores óptimos de GA, un enfoque que se ha demostrado en otros contextos para garantizar fuertes garantías de seguridad con un comportamiento computacional favorable. Primero, caracterizamos la seguridad de este enfoque basado en la intersección e identificamos una clase de EDS (a saber, EDS completo) para el cual sigue siendo seguro. Luego, para una subclase de EDS y para las ontologías DL-LITE_R, mostramos que responder a BUCQ en la semántica de CQE anterior está en AC^0 en complejidad de datos presentando un algoritmo de reescritura de primer orden adecuado y detallado. Finalmente, informamos sobre los experimentos realizados en dos escenarios de evaluación diferentes, que muestran la viabilidad práctica de nuestra función de reescritura.
Publicado Originalme en export.arxiv.org El 23 de julio de 2025.
Ver Fuente Original
