Reference : An Agile Approach to Validate a Formal Representation of the GDPR
Scientific journals : Article
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/40576
An Agile Approach to Validate a Formal Representation of the GDPR
English
Bartolini, Cesare [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 []
2019
International Symposium on Artificial Intelligence
Springer Nature
11717
Lecture Notes in Artificial Intelligence (LNAI)
Yes
International
Switzerland
[en] GDPR ; Data Protection Compliance ; Legal Validation ; Usability
[en] Modeling in a knowledge base of logic formulæ the articles of the GDPR enables 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
AQ2 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 AQ3 model of the GDPR, called DAPRECO knowledge base.
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Applied Security and Information Assurance Group (APSIA)
Fonds National de la Recherche - FnR
DAPRECO (Data Protection Compliance)
http://hdl.handle.net/10993/40576
https://doi.org/10.1007/978-3-030-31605-1_13
The original publication is available at www.springerlink.com
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
Limited access
_489304_1_En_13_Chapter_Author -edited 19-9.pdfPublisher postprint1.42 MBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.