Libal, Tomer[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2020
Lecture Notes in Computer Science
Springer
12061
Yes
International
978-3-030-44637-6
The 3rd International Conference on Logic and Argumentation
[en] There are many legal texts which can greatly benefit from the supportof automated reasoning. Such support depends on the existence of a logical for-malization of the legal text. Among the methods used for the creation of theseknowledge bases, annotation tools attempt to abstract over the logical languageand support non-logicians in their efforts to formalize documents. Nevertheless,legal documents use a rich language which is not easy to annotate. In this paper,an existing annotation tool is being extended in order to support the formalization of a complex example - the GDPR’s article 13. The complexity of the article prevents a direct annotation using logical and deontical operators. This is overcome by the implementation of several macros. We demonstrate the automated reasoning over the formalized article and argue that macros can be used to formalizecomplex legal texts.