| 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  [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >] | |
| Lenzini, Gabriele [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >] | |
| Santos, Cristiana [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):
| ||||||||||||||
All documents in ORBilu are protected by a user license.
