Logics for AI

Gruppi di ricerca

Artificial Intelligence and Knowledge Representation

Publications

A Gentle Introduction to Controlled Query Evaluation in DL-Lite Ontologies	2024
What Does a Query Answer Tell You? Informativeness of Query Answers for Knowledge Bases	2024
A review of data abstraction	2023
Combining Global and Local Merges in Logic-based Entity Resolution	2023
Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended Abstract)	2023
Epistemic Disjunctive Datalog for Querying Knowledge Bases	2023
On Combining Collective Entity Resolution and Repairing (Extended Abstract)	2023
REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing	2023
The notion of Abstraction in Ontology-based Data Management	2023
Abstraction in Ontology-based Data Management	2022
Belief merging in absence of reliability information	2022
Controlled Query Evaluation in OWL 2 QL: A "Longest Honeymoon" Approach	2022
Investigating Monotone Abstractions	2022
LACE: A Logical Approach to Collective Entity Resolution	2022
Monotone Abstractions in Ontology-Based Data Management	2022
Monotone Abstractions in Ontology-Based Data Management	2022
Abstraction in Data Integration	2021
Controlled Query Evaluation over Ontologies through Policies with Numerical Restrictions	2021
Controlled Query Evaluation over Prioritized Ontologies with Expressive Data Protection Policies	2021
On Information Disclosure in Ontology-based Data Access (Extended Abstract)	2021
Privacy Preserving Query Answering in Description Logics Through Instance Indistinguishability (Disc...	2021
Query Definability and Its Approximations in Ontology-based Data Management	2021
Answering conjunctive queries with inequalities in DL-liteℛ	2020
Controlled Query Evaluation in Description Logics Through Instance Indistinguishability	2020
Controlled Query Evaluation in Description Logics Through Instance Indistinguishability	2020
Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (Extended Ab...	2020
Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (Extended Ab...	2020
Controlled Query Evaluation in Ontology-Based Data Access	2020
Non-Monotonic Ontology-based Abstractions of Data Services	2020
Ontology-based explanation of classifiers	2020
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces	2020
Bag Semantics of DL-Lite with Functionality Axioms	2019
Bagging the DL-Lite Family Further	2019
Exploiting ontologies for explaining data sources semantics	2019
On queries with inequalities in DL-LiteR≠	2019
Reverse engineering of data services	2019
Semantic characterization of data services through ontologies	2019
Belief Integration and Source Reliability Assessment	2018
On the SPARQL Metamodeling Semantics Entailment Regime for OWL 2 QL ontologies	2017
Preliminary results on Ontology-based Open Data Publishing	2017
Querying OWL 2 QL ontologies under the SPARQL Metamodeling Semantics Entailment Regime	2017
Semantic technology for open data publishing	2017
The size of BDDs and other data structures in temporal logics model checking	2016
Belief merging by examples	2015
On the complexity of second-best abductive explanations	2015
Revision by History	2015