no code implementations • 13 Mar 2023 • Ronald Fagin, Phokion G. Kolaitis, Domenico Lembo, Lucian Popa, Federico Scafoglieri
We propose a new framework for combining entity resolution and query answering in knowledge bases (KBs) with tuple-generating dependencies (tgds) and equality-generating dependencies (egds) as rules.
no code implementations • 22 Jul 2022 • Piero Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Luigi Sauro, Domenico Fabio Savo
Controlled Query Evaluation (CQE) has been recently studied in the context of Semantic Web ontologies.
no code implementations • 29 Jan 2022 • Domenico Lembo, Alessandra Limosani, Francesca Medda, Alessandra Monaco, Federico Maria Scafoglieri
In this paper we report on the initial activities carried out within a collaboration between Consob and Sapienza University.
no code implementations • 24 Apr 2020 • Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
Finally, we identify a semantically well-founded notion of approximated query answering for CQE, and prove that, for DL-Lite$_{\mathcal{R}}$ ontologies, this form of CQE is tractable with respect to data complexity and is first-order rewritable, i. e., it is always reducible to the evaluation of a first-order query over the data instance.