no code implementations • 22 Jul 2022 • Piero Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Luigi Sauro, Domenico Fabio Savo
Controlled Query Evaluation (CQE) has been recently studied in the context of Semantic Web ontologies.
no code implementations • 10 Sep 2020 • Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro
DL^N is a recent approach that extends description logics with defeasible reasoning capabilities.
no code implementations • 24 Jan 2020 • Piero A. Bonatti, Sabrina Kirrane, Iliana M. Petrova, Luigi Sauro
The European General Data Protection Regulation (GDPR) calls for technical and organizational measures to support its implementation.
no code implementations • 16 Jul 2015 • 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 model the applicative examples naturally arising in biomedical domains and semantic web access control policies.
no code implementations • 16 Jan 2014 • Piero A. Bonatti, Marco Faella, Luigi Sauro
Nonmonotonic description logics have been studied for many years, however no practical such knowledge representation languages exist, due to a combination of semantic difficulties and high computational complexity.