Certain answer
Nella rappresentazione della conoscenza, quello delle certain answer (traducibile letteralmente dall'inglese come "risposta certa") è l'insieme delle risposte a una certa query formato dall'intersezione di tutti i database completi coerenti con una certa base di conoscenza incompleta di riferimento.[1] Il concetto di certain answer, indagato nella teoria delle basi di dati sin dagli anni settanta,[1] è infatti definito in un contesto di ipotesi del mondo aperto, in cui si assume che la propria base di conoscenza sia incompleta.
Intuitivamente, le certain answer sono le risposte sicuramente vere ottenibili interrogando una base di conoscenza, considerata sia la conoscenza estensionale che le eventuali implicazioni dedotte mediante ragionamento automatico, a prescindere dalla specifica interpretazione considerata.
Definizione
modificaIn letteratura, l'insieme delle certain answer solitamente è così definito:[1]
![{\displaystyle cert_{\cap }(Q,D)=\bigcap \left\{Q(D')|D'\!\in [\![D]\!]\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b1e530fc473904a05f30db8b6b856df753ac5b6)
dove:
- è una query
- è un database incompleto
- è un qualunque database completo coerente con
- è la semantica del database
![{\displaystyle [\![D]\!]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a4280c07e03f15499975763a6f58d7a0743335e)
Nelle logiche descrittive, tale insieme può essere definito in modo equivalente come segue:[2]
- Date un'ontologia e una query su , è l'insieme delle tuple tali che, per ogni modello di , abbiamo che (ovvero, ).
![{\displaystyle {\mathcal {I}}\models q[{\vec {a}}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24e206cc1c7c8702636196d7233932a97c31ffe1)
![{\displaystyle {\mathcal {K}}\models q[{\vec {a}}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ecc1f5663cd85b8eeacf84f41c5a1d2f68bc4638)
Dove:
- e sono rispettivamente la TBox e la ABox;
- è l'alfabeto delle costanti (individui o valori) dell'ontologia;
- si ottiene sostituendo le variabili libere di con le costanti in .
![{\displaystyle q[{\vec {a}}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70669fd9423c725ced0826a0b3713da9beb722bc)
Note
modificaBibliografia
modifica- Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini e Riccardo Rosati, Linking Data to Ontologies (PDF), in J. on Data Semantics, vol. 10, 2008, pp. 133-173, DOI:10.1007/978-3-540-77688-8_5. URL consultato il 12 dicembre 2020 (archiviato il 28 ottobre 2022).
- R. Kontchakov, C. Lutz, D. Toman, F. Wolter e M. Zakharyaschev, The Combined Approach to Ontology-Based Data Access (PDF), Atti della 22ª International Joint Conference on Artificial Intelligence (IJCAI 2011), Barcellona, The AAAI Press, 2011, pp. 2656-2661.
- Leonid Libkin, Incomplete information and certain answers in general data models (PDF), Atti dell'ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, gennaio 2011, pp. 59-70, DOI:10.1145/1989284.1989294.
- Magdalena Ortiz, Ontology Based Query Answering: The Story So Far (PDF), Atti del CEUR Workshop, vol. 1087, gennaio 2013.
- Leonid Libkin, How to Define Certain Answers (PDF), Atti della 24ª International Joint Conference on Artificial Intelligence (IJCAI 2015), The AAAI Press, 2015, pp. 4282-4288.
