Reference : An Agile Approach to Validate a Formal Representation of the GDPR
Parts of books : Contribution to collective works
Law, criminology & political science : Multidisciplinary, general & others
Engineering, computing & technology : Multidisciplinary, general & others
Law / European Law; Security, Reliability and Trust
http://hdl.handle.net/10993/39327
An Agile Approach to Validate a Formal Representation of the GDPR
English
Bartolini, Cesare mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Lenzini, Gabriele mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Santos, Cristiana mailto [University of Minho, Portugal > Research Centre for Justice and Governance (JusGov), School of Law]
In press
New Frontiers in Artificial Intelligence
Springer
Lecture Notes in Artificial Intelligence
16
Yes
[en] General Data Protection Regulation ; Data protection ; Compliance ; Legal validation ; Usability
[en] Modelling in a knowledge base of logic formulæ the articles of the GDPR enables a semi-automatic reasoning of the Regulation. To be legally substantiated, it requires that the formulæ express validly the legal meaning of the Regulation's articles. But legal experts are usually not familiar with logic, and this calls for an interdisciplinary validation methodology that bridges the communication gap between formal modelers and legal evaluators. We devise such a validation methodology and exemplify it over a knowledge base of articles of the GDPR translated into Reified I/O (RIO) logic and encoded in LegalRuleML. A pivotal element of the methodology is a human-readable intermediate representation of the logic formulæ that preserves the formulæ's meaning, while rendering it in a readable way to non-experts. After being applied over a use case, we prove that it is possible to retrieve feedback from legal experts about the formal representation of Art. 5.1a and Art. 7.1. What emerges is an agile process to build logic knowledge bases of legal texts, and to support their public trust, which we intend to use for a logic model of the GDPR, called DAPRECO knowledge base.
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Security Design and Validation Research Group (SerVal) ; Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Applied Security and Information Assurance Group (APSIA)
Fonds National de la Recherche - FnR
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/39327
FnR ; FNR11333956 > Gabriele Lenzini > DAPRECO > DAta Protection REgulation COmpliance > 01/02/2017 > 30/06/2019 > 2016

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
main.pdfAuthor preprint735.32 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.