Reference : An Interdisciplinary Methodology to Validate Formal Representations of Legal Text App...
Scientific congresses, symposiums and conference proceedings : Unpublished conference
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/39326
An Interdisciplinary Methodology to Validate Formal Representations of Legal Text Applied to 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]
12-Nov-2018
14
Yes
No
International
Twelfth International Workshop on Juris-informatics (JURISIN 2018)
from 12-11-2018 to 13-11-2018
Yokohama
Japan
[en] General Data Protection Regulation ; GDPR ; Data protection ; Legal validation ; Usability
[en] The modelling of a legal text into a machine-processable
form, such as a list of logic formulæ, enables a semi-automatic reasoning
about legal compliance but might entail some anticipation of legal interpretation
in the modelling. The formulæ need therefore to be validated by
legal experts, but it is unlikely that they are familiar with the formalism
used. This calls for an interdisciplinary validation methodology to ensure
that the model is legally coherent with the text it aims to represent but
that could also close the communication gap between formal modellers
and legal evaluators. This paper discusses such a methodology, providing
an human-readable representation that preserves the formulæ's meaning
but that presents them in a way that is usable by non-experts. We exemplify
the methodology on a use case where Articles of the GDPR are
translated in the Reified I/O logic encoded in LegalRuleML.
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/39326
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 preprint660.84 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.