Respuesta segura

En la teoría de bases de datos y la representación del conocimiento , las respuestas ciertas son el conjunto de respuestas a una consulta dada que consiste en la intersección de todas las bases de datos completas que son consistentes con una base de conocimiento dada. ^{[ 1 ]} La noción de respuesta cierta, investigada en la teoría de bases de datos desde la década de 1970, ^{[ 1 ]} se define en el contexto de la suposición de mundo abierto , donde se supone que la base de conocimiento dada es incompleta.

Intuitivamente, ciertas respuestas son las respuestas que siempre se devuelven al consultar una base de conocimiento dada , considerando tanto el conocimiento extensional como las posibles implicaciones inferidas por el razonamiento automático , independientemente de la interpretación específica .

En la literatura, el conjunto de ciertas respuestas se define generalmente de la siguiente manera: ^{[ 1 ]}

${\displaystyle cert_{\cap }(Q,D)=\bigcap \left\{Q(D')|D'\!\in [\![D]\!]\right\}}$

dónde:

• ${\displaystyle Q}$es una consulta
• ${\displaystyle D}$es una base de datos incompleta
• ${\displaystyle D'}$¿Existe alguna base de datos completa que sea consistente con?${\displaystyle D}$
• ${\displaystyle [\![D]\!]}$es la semántica de${\displaystyle D}$

En lógicas de descripción , dicho conjunto puede definirse de manera similar como sigue: ^{[ 2 ]}

Dada una ontología${\displaystyle {\mathcal {K}}=\langle {\mathcal {T}},{\mathcal {A}}\rangle }$y una consulta${\displaystyle q({\vec {x}})}$en${\displaystyle {\mathcal {K}}}$,${\displaystyle cert(q,{\mathcal {K}})}$es el conjunto de tuplas${\displaystyle {\vec {a}}\subseteq \Gamma }$de tal manera que, para cada modelo${\displaystyle {\mathcal {I}}}$de${\displaystyle {\mathcal {K}}}$, tenemos eso${\displaystyle {\mathcal {I}}\models q[{\vec {a}}]}$.

Dónde:

• ${\displaystyle {\mathcal {T}}}$y${\displaystyle {\mathcal {A}}}$son respectivamente una Tbox y una Abox ;
• ${\displaystyle \Gamma }$es el alfabeto de constantes (individuos o valores) de la ontología;
• ${\displaystyle q[{\vec {a}}]}$se obtiene reemplazando todas las variables libres en${\displaystyle q({\vec {x}})}$con constantes de${\displaystyle {\vec {a}}}$.

• Suposición de mundo abierto
• Suposición de mundo cerrado
• Integridad (bases de conocimiento)

• Poggi, Antonella; Lembo, Domenico; Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Mauricio; Rosati, Ricardo (2008). "Vincular datos a ontologías" (PDF) . J. Sobre la semántica de datos . Apuntes de conferencias sobre informática. vol.  10. págs. 133–173 . doi : 10.1007/978-3-540-77688-8_5 . ISBN  978-3-540-77687-1.
• Kontchakov, R.; Lutz, C.; Toman, D.; Wolter, F.; Zakharyaschev, M. (2011). El enfoque combinado para el acceso a datos basado en ontologías (PDF) . Actas de la 22.ª Conferencia Internacional Conjunta sobre Inteligencia Artificial (IJCAI 2011). Barcelona: The AAAI Press. pp. 2656–2661 . 
• Libkin, Leonid (enero de 2011). Información incompleta y ciertas respuestas en modelos de datos generales (PDF) . Actas del Simposio ACM SIGACT-SIGMOD-SIGART sobre Principios de Sistemas de Bases de Datos. págs. 59–70 . doi : 10.1145/1989284.1989294 . 
• Ortiz, Magdalena (enero de 2013). Respuesta a consultas basada en ontologías: la historia hasta ahora (PDF) . Actas del taller CEUR. Vol.  1087.
• Libkin, Leonid (2015). Cómo definir ciertas respuestas (PDF) . Actas de la 24.ª Conferencia Internacional Conjunta sobre Inteligencia Artificial (IJCAI 2015). The AAAI Press. págs. 4282–4288 .