6 citations · 13 across the 5 of their papers we have counts for
5 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…
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…
On finitely recursive programs
Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo
Disjunctive finitary programs are a class of logic programs admitting function symbols and hence infinite domains. They have very good computational properties, for example ground…
Abduction, ASP and Open Logic Programs
Piero A. Bonatti
Open logic programs and open entailment have been recently proposed as an abstract framework for the verification of incomplete specifications based upon normal logic programs and…