TERECOM 2018 Regulatory and Legal Compliance Proceedings of the JURIX 2018 2nd Workshop on Technologies for Regulatory Compliance Groningen, December 12nd 2018 Víctor Rodríguez-Doncel, Pompeu Casanovas, Jorge González-Conejero and Elena Montiel-Ponsoda (eds.) With the support of: Copyright © 2018 for the individual papers by the papers’ authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors. Foreword We are delighted to collect in this volume some of the papers presented during the 2nd Workshop on Technologies for Regulatory Compliance (TeReCom). The workshop took place in Groningen, on December 12th, 2018, as a parallel event within the 31st International Conference on Legal Knowledge and Information Systems (JURIX2018). This workshop is organised under the auspices of the H2020 European research project LYNX, and supported by several European, national and international projects (SPIRIT, RightsApp, Meta-rule of Law, and the Australian Data to Decisions CRC-Program). The LYNX project is based on a simple idea: the critical mass of legal open data on the web has been reached, and if duly collected, analysed and interlinked as a Legal Knowledge Graph, it will be ready to enable a new breed of multilingual services for compliance. Thus, the areas of interest in this workshop were three: (a) theoretical foundations and the legal regulatory framework towards compliance in Europe, (b) semantic web technologies which support the legal knowledge graph and (c) language technologies used to bridge the idiomatic barrier that hampers the commerce of products and services in Europe. To a great extent, as discussed in the Workshop sessions, we deem that this general framework can also be useful and extended to Common Law legal cultures. The workshop attracted a wider interest, and the relation of LYNX with other akin projects present at JURIX was explored. In the first place, a joint session together with the Workshop organised by the ManyLaws H2020 project unveiled possible areas of cooperation between these two projects. In the second place, the works made in the framework of the Australian Law and Policy program of the Data to Decisions Cooperative Research Centre turned out to be of the highest relevance for LYNX –especially the study on compliance by design and compliance through design. In its first edition of the workshop, which took place in Luxemburg in 2017, thirteen papers were presented in a very intense day that turned out to be a first survey of technologies for regulatory compliance. In this second edition, twelve presentations were made of much interest for both the industrial and the academic communities. The invited presentation by Enrico Francesconi on the PMKI Project (Public Multilingual Knowledge Management Infrastructure for the Digital Single Market) confirmed the interest of public institutions for multilingual technologies and knowledge management, and supports the work being done by the LYNX project. We expect that the technologies for compliance envisioned by LYNX and now under development will be presented in the third edition of this workshop next year, and we hope that the practical character of this workshop is not lost in the next edition. In Madrid, Melbourne and Barcelona December 2018 Víctor Rodríguez-Doncel Pompeu Casanovas Jorge González-Conejero Elena Montiel-Ponsoda Chairs 2 Acknowledgements We would like to thank the Programme Committee members who provided feedback about the papers presented in this volume, the H2020 Lynx project partners whose insight was crucial to model the shared approach in this book, and the University of Groningen team whose diligent work organising JURIX enabled a pleasant and productive day. In addition, we would like to acknowledge that LYNX has received funding from the Horizon 2020 European Union (EU) Research and Innovation programme. The work has also been supported by the H2020 project SPIRIT, the EU Justice Programme RightsApp, the Spanish DER2016-78108-P, Ministerio de Economía y Competitividad (Spain), and the Law and Policy program of the Data to Decisions Cooperative Research Centre (La Trobe University Law School, Australia). Organizers of the workshop and editors of this volume Víctor Rodríguez-Doncel Universidad Politécnica de Madrid (UPM), Ontology Engineering Group, School of Computer Sciences Engineering and Mathematics, Ciruelos 28660 Boadilla del Monte, Madrid, Spain Pompeu Casanovas La Trobe University, La Trobe Law School, 3086 Bundoora, VIC Australia; and Universitat Autònoma de Barcelona, Institute of Law and Technology (IDT-UAB), 08193 Bellaterra, Spain. Jorge González-Conejero Universitat Autònoma de Barcelona, Institute of Law and Technology (IDT-UAB), 08193 Bellaterra, Spain Elena Montiel-Ponsoda Universidad Politécnica de Madrid (UPM), Ontology Engineering Group, School of Computer Sciences Engineering and Mathematics, Ciruelos 28660 Boadilla del Monte, Madrid, Spain Program Committee Albert Meroño - Vrije Universiteit Amsterdam Alexander García - Graz University of Technology Andis Lagzdiņš - TILDE, Riga Clemens Wass - Bilfinger Industrietechnik Salzburg GmbH Cristiana Santos - University of Toulouse Cogan Shimizu - DASELAB, Write State University Erwin Filtz - Vienna University of Economics & Business Harshvardhan Pandit - ADAPT, Trinity College Dublin John Zeleznikow - Victoria University, Melbourne Jorge Gracia - Universidad de Zaragoza Julián Moreno-Schneider - DFKI, Berlin Maria Del Socorro Bernardos-Galindo - Universidad Politécnica de Madrid María Navas-Loro - Universidad Politécnica de Madrid Maria Concepción Pérez de Celis - Benemérita Universidad Autónoma de Puebla Mercedes Martínez-González - Universidad de Valladolid Monica Palmirani - CIRSFID, Università di Bologna David Pearce - Universidad Politécnica de Madrid 3 Raghava Mutharaju - IIIT Delhi Ramisa Hamed - ADAPT, Trinity College Dublin Rosa Gil - Universitat de Lleida Silvia Llorente - Universitat Politècnica de Catalunya Simona Frenda - Universitat Politècnica de València Simon Steyskal - Siemens, Vienna Table of Contents Lessons Learned while Formalizing ISO 26262 for Compliance Checking Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori ………………………………………………………………………………………….........5-16 Emercoin Blockchain Anchoring as a Way of Singing Contracts Oleksii Konashevych (invited paper) ………………………………………………………………………………………..……..17-29 Business Requirements for Legal Knowledge Graph: the LYNX Platform Jorge González-Conejero, Pompeu Casanovas, Emma Teodoro ……………………………………………………………………………..………………..31-38 Iceberg.ai - A platform for rapid development of legal and regulatory AI services Angel Faus ……………………………………………………………………………………...………..39-43 Events in the legal domain: first impressions María Navas-Loro, Cristiana Santos ……………………………………………………………………………………………….45-57 Legal Compliance Through Design: Preliminary Results Mustafa Hashmi, Pompeu Casanovas, Louis de Koker ……………………………………………………………………………………………….59-72 Challenges of Terminology Extraction from Legal Spanish Corpora Patricia Martín-Chozas, Pablo Calleja ……………………………………………………………………………………………….73-83 Spent Convictions and the Architecture for Establishing Legal Semantic Workflows Pompeu Casanovas, Louis de Koker, Markus Stumptner, Wolfgang Mayer, Jeffrey Barnes, Stammers Mira ……………………………………………………………………………………………….85-96 Minimisation of Incidental Findings, and Residual Risks for Security Compliance: the SPIRIT Project Pompeu Casanovas, Nicholas Morris, Jorge González-Conejero, Emma Teodoro, Rick Adderley …………………………………………………………………………………..………….97-110 A Legal Validation of a Formal Representation of Articles of the GDPR Cesare Bartolini, Lenzini Gabriele, Cristiana Santos …………………………………………………………………………………………….111-124 Behavioural Compliance and Law Enforcement in Online Hate Speech Pompeu Casanovas, Andre Oboler …………………………………………………………………………………………….125-134 Spanish Legislation as Linked Data Víctor Rodríguez-Doncel, María Navas-Loro, Elena Montiel-Ponsoda, Pompeu Casanovas …………………………………………………………………………………………….135-141 Artificial Intelligence initiatives in Cuatrecasas Pascual Boil Ballesteros …………………………………………………………………………………………….143-147 4