Parte 1
Titolo: Privacy and AI
...Logics for AI
-
-
In ottemperanza ai requisiti previsti dalla procedura valutativa per n.1 posto di Ricercatore a tempo determinato tipologia A - SC 09/H1 SSD ING-INF/05 - Dipartimento di Ingegneria Informatica Automatica e Gestionale "A. Ruberti", Codice Bando 2023RTDAPNRR001, pubblicato su Gazzetta Ufficiale N...
-
-
-
We study information disclosure in Description Logic ontologies, in the spirit of Controlled Query Evaluation, where query answering is filtered through optimal censors maximizing answers while hiding data protected by a declarative policy. Previous works have considered limited forms of policy,...
-
Given an input dataset (i.e., a set of tuples), query definability in Ontology-based Data Management (OBDM) amounts to finding a query over the ontology whose certain answers coincide with the tuples in the given dataset. We refer to such a query as a characterization of the dataset with respect to...
-
This extended abstract summarizes our recent work about Controlled Query Evaluation over Ontology-based data access systems.
-
We study Controlled Query Evaluation (CQE), a declarative approach to privacy-preserving query answering. In particular, we focus on the application of CQE to ontologies and analyze the possibility of using role cardinality restrictions in the formulas expressing a data protection policy. We start...
-
LTLf and LDLf are well-known logics on finite traces. We review PLTLf and PLDLf, their pure- past versions. These are interpreted backward from the end of the trace towards the beginning. Because of this, we can exploit a foundational result on reverse languages to get an exponential improvement,...
-
In many aspects of our society there is growing awareness and consent on the need for data-driven approaches that are resilient, transparent, and fully accountable. But in order to fulfil the promises and benefits of a data-driven society, it is necessary that the data services exposed by the...