no code implementations • 3 May 2024 • Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo
In this paper, we propose the use of epistemic dependencies to express data protection policies in Controlled Query Evaluation (CQE), which is a form of confidentiality-preserving query answering over ontologies and databases.
no code implementations • 26 May 2023 • Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García
In the recently proposed Lace framework for collective entity resolution, logical rules and constraints are used to identify pairs of entity references (e. g. author or paper ids) that denote the same entity.
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 • 23 Aug 2021 • Gianluca Cima, Federico Croce, Maurizio Lenzerini
Given an input dataset (i. e., a set of tuples), query definability in Ontology-based Data Management (OBDM) amounts to find a query over the ontology whose certain answers coincide with the tuples in the given dataset.
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.
no code implementations • 30 May 2017 • Gianluca Cima
Despite the current interest in Open Data publishing, a formal and comprehensive methodology supporting an organization in deciding which data to publish and carrying out precise procedures for publishing high-quality data, is still missing.