Search Results for author: Piero A. Bonatti

Found 4 papers, 0 papers with code

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

no code implementations10 Sep 2020 Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro

DL^N is a recent approach that extends description logics with defeasible reasoning capabilities.

Machine Understandable Policies and GDPR Compliance Checking

no code implementations24 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.

Defeasible Inclusions in Low-Complexity DLs

no code implementations16 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.

The Complexity of Circumscription in DLs

no code implementations15 Jan 2014 Piero A. Bonatti, Carsten Lutz, Frank Wolter

As fragments of first-order logic, Description logics (DLs) do not provide nonmonotonic features such as defeasible inheritance and default rules.

Cannot find the paper you are looking for? You can Submit a new open access paper.