activity
20142020
most citedOptimizing the computation of overriding

6 citations · 8 across the 4 of their papers we have counts for

collaborators

6 papers

cs.AI2020

Defeasible reasoning in Description Logics: an overview on DL^N

Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro

DL^N is a recent approach that extends description logics with defeasible reasoning capabilities. In this paper we provide an overview on DL^N, illustrating the underlying knowledg…

cs.CY2020

Machine Understandable Policies and GDPR Compliance Checking

Piero A. Bonatti, Sabrina Kirrane, Iliana M. Petrova +1

The European General Data Protection Regulation (GDPR) calls for technical and organizational measures to support its implementation. Towards this end, the SPECIAL H2020 project ai…

cs.AI2020★ 1 cited

Real Time Reasoning in OWL2 for GDPR Compliance

P. A. Bonatti, L. Ioffredo, I. Petrova +2

This paper shows how knowledge representation and reasoning techniques can be used to support organizations in complying with the GDPR, that is, the new European data protection re…

cs.AI2015★ 6 cited

Optimizing the computation of overriding

Piero Andrea Bonatti, Iliana Mineva Petrova, Luigi Sauro

We introduce optimization techniques for reasoning in DLN---a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to mode…

cs.GT2014★ 1 cited

Partial Preferences for Mediated Bargaining

Piero A. Bonatti, Marco Faella, Luigi Sauro

In this work we generalize standard Decision Theory by assuming that two outcomes can also be incomparable. Two motivating scenarios show how incomparability may be helpful to repr…

cs.LO2014

Defeasible Inclusions in Low-Complexity DLs

Piero A. Bonatti, Marco Faella, Luigi Sauro

Some of the applications of OWL and RDF (e.g. biomedical knowledge representation and semantic policy formulation) call for extensions of these languages with nonmonotonic construc…