Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base

The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name (https://www.fnr.lu/projects/data-protection-regulation-compliance). It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. The rules represent the provisions of the General Data Protection Regulation (GDPR), the new Regulation that is significantly affecting the digital market in the European Union and beyond. The DAPRECO knowledge base builds upon the Privacy Ontology (PrOnto) (Palmirani et al in Proceedings of the 7th international conference on electronic government and the information systems perspective: technology-enabled innovation for democracy, government and governance, 2018c), which provides a model for the legal concepts involved in the GDPR, by adding a further layer of constraints in the form of if-then rules, referring either to standard first order logic implications or to deontic statements. If-then rules are formalized in reified Input/Output logic (Robaldo and Sun in J Log Comput 7, 2017) and then codified in LegalRuleML. Reified Input/Output logic is an application of standard Input/Output logic for legal reasoning, in which Input/Output logic is combined with the reification-based approach in Hobbs and Gordon (A formal theory of commonsense psychology, how people think people think. Cambridge University Press, Cambridge, 2017). The DAPRECO knowledge base is then a case study for reified Input/Output logic, and it shows that the formalism indeed appears to be a good candidate to effectively formalize, via uniform and simple (flat) representations, complex linguistic/deontic phenomena that may be found in legal texts. To date, the DAPRECO knowledge base is the biggest knowledge base in LegalRuleML and Input/Output logic freely available online (https://github.com/dapreco/daprecokb/blob/master/gdpr/rioKB_GDPR.xml).

[1]  J. McCarthy.  CIRCUMSCRIPTION — A FORM OF NONMONOTONIC REASONING , 2007 .

[2]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[3]  Guido Boella,et al.  Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation , 2009, AICOL Workshops.

[4]  Douglas Walton,et al.  An argumentation framework for contested cases of statutory interpretation , 2016, Artificial Intelligence and Law.

[5]  Leon van der Torre,et al.  Constraints for Input/Output Logics , 2001, J. Philos. Log..

[6]  J. Horty.  Agency and Deontic Logic , 2001 .

[7]  Jörgen Jörgensen,et al.  Imperatives and logic , 1937, Erkenntnis.

[8]  Livio Robaldo,et al.  A system for classifying multi-label text into EuroVoc , 2013, ICAIL.

[9]  Livio Robaldo,et al.  Towards Legal Compliance by Correlating Standards and Laws with a Semi-automated Methodology , 2016, BNCAI.

[10]  Ig Ibert Bittencourt,et al.  FOCA: A Methodology for Ontology Evaluation , 2016, ArXiv.

[11]  Ross P. Buckley,et al.  FinTech, RegTech and the Reconceptualization of Financial Regulation , 2016 .

[12]  Edelcio G. de Souza,et al.  Contraction of Combined Normative Sets , 2018, DEON.

[13]  François Schwarzentruber,et al.  STIT is dangerously undecidable , 2014, ECAI.

[14]  Guido Governatori,et al.  Evaluating LegalDocML and LegalRuleML as a Standard for Sharing Normative Information in the AEC/FM Domain , 2017 .

[15]  Livio Robaldo,et al.  On the complexity of input/output logic , 2017, J. Appl. Log..

[16]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[17]  Jörg Hansen.  Prioritized conditional imperatives: problems and a new proposal , 2007, Autonomous Agents and Multi-Agent Systems.

[18]  Monica Palmirani.  Legislative Change Management with Akoma-Ntoso , 2011 .

[19]  Xavier Parent,et al.  Moral particularism in the light of deontic logic , 2011, Artificial Intelligence and Law.

[20]  Adrian Paschke,et al.  A Dialogue between a Lawyer and Computer Scientist: The Evaluation of Knowledge Transformation from Legal Text to Computer-Readable Format , 2016, Appl. Artif. Intell..

[21]  Livio Robaldo,et al.  Eunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the law , 2016, Artificial Intelligence and Law.

[22]  Livio Robaldo,et al.  Semantic Relation Extraction from Legislative Text Using Generalized Syntactic Dependencies and Support Vector Machines , 2013, RuleML.

[23]  Thomas Andreas Meyer,et al.  Introducing Defeasibility into OWL Ontologies , 2015, International Semantic Web Conference.

[24]  Livio Robaldo,et al.  Logic and Games for Ethical Agents in Normative Multi-agent Systems , 2015, EUMAS/AT.

[25]  Livio Robaldo,et al.  Independent Set Readings and Generalized Quantifiers , 2010, J. Philos. Log..

[26]  Livio Robaldo,et al.  Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation , 2017, J. Log. Comput..

[27]  Livio Robaldo,et al.  Interpretation and inference with maximal referential terms , 2010, J. Comput. Syst. Sci..

[28]  Raimo Siltala,et al.  Interpreting Statutes. A Comparative Study , 1993 .

[29]  Xavier Parent,et al.  - Input/Output logics with a consistency check , 2018 .

[30]  Des Spence.  Sing and dance , 2011, BMJ : British Medical Journal.

[31]  Livio Robaldo,et al.  The European Taxonomy Syllabus: A multi-lingual, multi-level ontology framework to untangle the web of European legal terminology , 2017, Appl. Ontology.

[32]  Maurizio Lenzerini,et al.  The Complexity of Propositional Closed World Reasoning and Circumscription , 1994, J. Comput. Syst. Sci..

[33]  Leon van der Torre,et al.  The pragmatic oddity in norm-based deontic logics , 2017, ICAIL.

[34]  Antony Galton,et al.  Operators vs. Arguments: The Ins and Outs of Reification , 2006, Synthese.

[35]  Farid Nouioua,et al.  Undercutting in Argumentation Systems , 2015, SUM.

[36]  Guido Governatori,et al.  Computing Strong and Weak Permissions in Defeasible Logic , 2012, Journal of Philosophical Logic.

[37]  Tommaso Caselli,et al.  From Italian Text to TimeML Document via Dependency Parsing , 2011, CICLing.

[38]  Guido Governatori,et al.  Thou shalt is not you will , 2014, ICAIL.

[39]  Leon van der Torre,et al.  Aggregative Deontic Detachment for Normative Reasoning , 2014, KR.

[40]  Guido Boella,et al.  Fulfilling or violating obligations in normative multiagent systems , 2004, Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004)..

[41]  Livio Robaldo,et al.  Distributivity, Collectivity, and Cumulativity in Terms of (In)dependence and Maximality , 2011, J. Log. Lang. Inf..

[42]  Donald Nute,et al.  Defeasible Deontic Logic , 2010 .

[43]  Edgar A. Whitley,et al.  The Construction of Social Reality , 1999 .

[44]  Guido Governatori,et al.  Legal Interpretations in LegalRuleML , 2014, SW4LAW+DC@JURIX.

[45]  Henry Prakken,et al.  AI & Law, Logic and Argument Schemes , 2005 .

[46]  Monica Palmirani,et al.  PrOnto: Privacy Ontology for Legal Compliance , 2018 .

[47]  Guido Governatori,et al.  A defeasible logic for modelling policy-based intentions and motivational attitudes , 2009, Log. J. IGPL.

[48]  Livio Robaldo,et al.  NLP Challenges for Eunomos a Tool to Build and Manage Legal Knowledge , 2012, LREC.

[49]  Leon van der Torre,et al.  Input/Output Logics , 2000, J. Philos. Log..

[50]  J. Horty.  Reasons as Defaults , 2012 .

[51]  Carsten Lutz,et al.  The Complexity of Circumscription in DLs , 2009, J. Artif. Intell. Res..

[52]  Harm Kloosterhuis.  Review of Neil D. MacCormick en Robert S. Summers,eds., Interpreting Statutes: A Comparative Study , Aldershot, Dartmouth, 1991, 'Dartmouth Series in Applied Legal Philosophy' , 2010 .

[53]  Emmon Bach.  Time, Tense, and Aspect: An Essay in English Metaphysics , 1981 .

[54]  Jaap Hage,et al.  Law and Defeasibility , 2003, Artificial Intelligence and Law.

[55]  Guido Governatori,et al.  Evaluation of Logic-Based Smart Contracts for Blockchain Systems , 2016, RuleML.

[56]  Juliano Maranhão.  A logical architecture for dynamic legal interpretation , 2017, ICAIL.

[57]  Jörg Hansen.  Reasoning About Permission and Obligation , 2014 .

[58]  Guido Governatori,et al.  Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations , 2006 .

[59]  Leon van der Torre,et al.  Permission from an Input/Output Perspective , 2003, J. Philos. Log..

[60]  Guido Governatori,et al.  Deontic defeasible reasoning in legal interpretation: two options for modelling interpretive arguments , 2015, ICAIL.

[61]  Guido Governatori,et al.  LegalRuleML: Design Principles and Foundations , 2015, Reasoning Web.

[62]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[63]  Marko Grobelnik,et al.  A SURVEY OF ONTOLOGY EVALUATION TECHNIQUES , 2005 .

[64]  Livio Robaldo,et al.  Legal Ontology for Modelling GDPR Concepts and Norms , 2018, JURIX.

[65]  David L. Davidson,et al.  The Logical Form of Action Sentences , 2001 .

[66]  Guido Boella,et al.  Regulative and Constitutive Norms in Normative Multiagent Systems , 2004, KR.

[67]  P. Bonatti.  The Complexity of Circumscription in Description Logic , 2009 .

[68]  Guido Governatori,et al.  BIO logical agents: Norms, beliefs, intentions in defeasible logic , 2008, Autonomous Agents and Multi-Agent Systems.

[69]  Fabio Vitali,et al.  Akoma-Ntoso for Legal Documents , 2011 .

[70]  Guido Governatori,et al.  LegalRuleML: From Metamodel to Use Cases - (A Tutorial) , 2013, RuleML.

[71]  Alessandra Malerba,et al.  Interpretive Interactions among Legal Systems and Argumentation Schemes , 2017 .

[72]  Alexander Bochman,et al.  A causal approach to nonmonotonic reasoning , 2004, Artif. Intell..

[73]  Leon van der Torre,et al.  Combining Constitutive and Regulative Norms in Input/Output Logic , 2014, DEON.

[74]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[75]  Jerry R. Hobbs,et al.  A Formal Theory of Commonsense Psychology: How People Think People Think , 2017 .

[76]  Livio Robaldo,et al.  PrOnto: Privacy Ontology for Legal Reasoning , 2018, EGOVIS.

[77]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[78]  Livio Robaldo,et al.  On the Identification of Quantifiers’ Witness Sets: A Study of Multi-quantifier Sentences , 2014, J. Log. Lang. Inf..

[79]  Jerry Hobbs.  The Language of Word Meaning: Syntax and Metonymy , 2001 .

[80]  Nuria Casellas.  Ontology Evaluation through Usability Measures , 2009, OTM Workshops.