6 citations · 7 across the 4 of their papers we have counts for
4 papers · 1 filter
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…
Fast Compliance Checking with General Vocabularies
P. A. Bonatti, L. Ioffredo, I. M. Petrova +1
We address the problem of complying with the GDPR while processing and transferring personal data on the web. For this purpose we introduce an extensible profile of OWL2 for repres…
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…
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…