×

Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base. (English) Zbl 1477.68299

Summary: 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) [M. Palmirani et al., “PrOnto: privacy ontology for legal reasoning”, Lect. Notes Comput. Sci 11032, 139–152 (2018; doi:10.1007/978-3-319-98349-3_11)], 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 [the first author and X. Sun, J. Log. Comput. 27, No. 8, 2471–2503 (2017; Zbl 1444.03074)] 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 [J. R. Hobbs and A. S. Gordon, A formal theory of commonsense psychology: how people think people think. Cambridge: Cambridge University Press (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).

MSC:

68T30 Knowledge representation
03B45 Modal logic (including the logic of norms)
03B70 Logic in computer science

Citations:

Zbl 1444.03074

Software:

GitHub; LegalRuleML
PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] Ajani, G., Boella, G., Di Caro, L., Robaldo, L., Humphreys, L., Praduroux, S., et al. (2017). The European legal taxonomy syllabus: A multi-lingual, multi-level ontology framework to untangle the Web of European legal terminology. Applied Ontology, 2(4).
[2] Amgoud, L., & Nouioua, F. (2015). Undercutting in argumentation systems. In C. Beierle & A. Dekhtyar, (Eds.), Scalable uncertainty management - 9th international conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings, volume 9310 of Lecture Notes in Computer Science (pp. 267-281). Berlin: Springer.
[3] Antoniou, G.; Billington, D.; Governatori, G.; Maher, MJ, Representation results for defeasible logic, ACM Transactions on Computational Logic, 2, 2, 255-287 (2001) · Zbl 1171.68740
[4] Arner, DW; Barberis, J.; Buckey, RP, FinTech, RegTech, and the reconceptualization of financial regulation, Northwestern Journal of International Law & Business, 37, 371-414 (2016)
[5] Athan, T.; Boley, H.; Governatori, G.; Palmirani, M.; Paschke, A.; Wyner, A., LegalRuleML: From metamodel to use cases, 13-18 (2013), Berlin: Springer, Berlin
[6] Athan, T., Governatori, G., Palmirani, M., Paschke, A., & Wyner, A. Z. (2014). Legal interpretations in legalruleml. In Semantic Web for Law 2014 workshop, collocated at the 27th international conference on legal knowledge and information systems (JURIX 2014), CEUR workshop proceedings.
[7] Athan, T.; Governatori, G.; Palmirani, M.; Paschke, A.; Wyner, A., LegalRuleML: Design principles and foundations, 151-188 (2015), Berlin: Springer, Berlin
[8] Bach, E.; Cole, P., On time, tense, and aspect: An essay in English metaphysics, Radical pragmatics, 63-81 (1981), New York: Academic Press, New York
[9] Bandeira, J., Bittencourt, I. I., Espinheira, P., & Isotani, S. (2016). FOCA: A methodology for ontology evaluation. https://arxiv.org/abs/1612.03353.
[10] Bartolini, C., Giurgiu, A., Lenzini, G., & Robaldo, L.. (2016). Towards legal compliance by correlating standards and laws with a semi-automated methodology. In BNCAI, volume 765 of Communications in Computer and Information Science (pp. 47-62). Berlin: Springer.
[11] Bochman, A., A causal approach to nonmonotonic reasoning, Artificial Intelligence, 160, 1-2, 105-143 (2004) · Zbl 1086.68125
[12] Boella, G.; Di Caro, L.; Humphreys, L.; Robaldo, L.; Rossi, R.; van der Torre, L., Eunomos, a legal document and knowledge management system for the web to provide relevant, reliable and up-to-date information on the law, Artificial Intelligence and Law, 24, 245 (2016)
[13] Boella, G., di Caro, L., Humphreys, L., Robaldo, L., & van der Torre, L. (2012). NLP challenges for Eunomos, a tool to build and manage legal knowledge. In Proceeding of “Lexical Resources and Evaluation Conference” (LREC2012). Istanbul, Turchia. https://www.aclweb.org/anthology/L12-1617/.
[14] Boella, G.; Di Caro, L.; Rispoli, D.; Robaldo, L., Semantic relation extraction from legislative text using generalized syntactic dependencies and support vector machines, 218-225 (2013), Berlin: Springer, Berlin
[15] Boella, G., Di Caro, L., Rispoli, D., & Robaldo, L. (2013b) A system for classifying multi-label text into Eurovoc. In Proceedings of the fourteenth international conference on artificial intelligence and law, ICAIL ’13 (pp. 239-240). ACM, New York, NY, USA.
[16] Boella, G.; Governatori, G.; Rotolo, A.; van der Torre, L., Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A formal study on legal compliance and interpretation, 162-183 (2010), Berlin: Springer, Berlin
[17] Boella, G., & van der Torre, L. W. N. (2004a). Fulfilling or violating obligations in normative multiagent systems. IEEE/WIC/ACM international conference on intelligent agent technology (IAT 2004) (pp. 483-486), Beijing, China.
[18] Boella, G., & van der Torre, L. W. N. (2004b) Regulative and constitutive norms in normative multiagent systems. In Principles of knowledge representation and reasoning: Proceedings of the ninth international conference (KR2004) (pp. 255-266).
[19] Bonatti, PA; Lutz, C.; Wolter, F., The complexity of circumscription in description logic, Journal of Artificial Intelligence Research, 35, 1, 717-773 (2009) · Zbl 1182.68275
[20] Brank, J., Grobelnik, M., & Mladenić, D. (2005). A survey of ontology evaluation techniques. In Proceedings of 8th international multi-conference information society.
[21] Brozek, B., Law and defeasibility, Revus, 23, 165-170 (2014)
[22] Cadoli, M.; Lenzerini, M., The complexity of propositional closed world reasoning and circumscription, Journal of Computer and System Sciences, 48, 2, 255-310 (1994) · Zbl 0806.68096
[23] Casellas, N. (2009). Ontology evaluation through usability measures. In R. Meersman, P. Herrero, & T. Dillon (Eds.), On the move to meaningful internet systems: OTM 2009 workshops. Berlin: Springer.
[24] Casini, G., Meyer, T., Moodley, K., Sattler, U., & Varzinczak, I. (2015). Introducing defeasibility into owl ontologies. In R. Meersman, P. Herrero, & T. Dillon (Eds.), Proceedings of international semantic Web conference (ISWC).
[25] Davidson, D.; Rescher, N., The logical form of action sentences, The logic of decision and action (1967), Pittsburgh: University of Pittsburgh Press, Pittsburgh · Zbl 0194.30301
[26] Dimyadi, J., Governatori, G., & Amor, R.. (2017). Evaluating legaldocml and legalruleml as a standard for sharing normative information in the aec/fm domain. In Proceedings of joint conference on computing in construction (JC3), Vol. 1, Heraklion, Greece.
[27] Galton, A., Operators vs. arguments: The ins and outs of reification, Synthese, 150, 3, 415-441 (2006) · Zbl 1108.03022
[28] Governatori, G. (2015). Thou shalt is not you will. In Proceedings of the 15th international conference on artificial intelligence and law, ICAIL 2015 (pp. 63-68), ACM, New York, NY, USA.
[29] Governatori, G., & Rotolo, A. (2006) Logic of violation: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic, (426). · Zbl 1122.03013
[30] Governatori, G.; Padmanabhan, V.; Rotolo, A.; Sattar, A., A defeasible logic for modelling policy-based intentions and motivational attitudes, Logic Journal of the IGPL, 17, 3, 227 (2009) · Zbl 1171.03014
[31] Governatori, G.; Olivieri, F.; Rotolo, A.; Scannapieco, S., Computing strong and weak permissions in defeasible logic, Journal of Philosophical Logic, 6, 42, 799-829 (2013) · Zbl 1286.03058
[32] Governatori, G.; Rotolo, A., Bio logical agents: Norms, beliefs, intentions in defeasible logic, Autonomous Agents and Multi-Agent Systems, 17, 1, 36-69 (2008)
[33] Hansen, J., Prioritized conditional imperatives: Problems and a new proposal, Autonomous Agents and Multi-Agent Systems, 17, 1, 11-35 (2008)
[34] Hobbs, J. R. (1998). The logical notation: Ontological promiscuity. In Chapter 2 of discourse and inference. Available at http://www.isi.edu/ hobbs/disinf-tc.html.
[35] Hobbs, JR; Bouillon, P.; Busa, F., Syntax and metonymy, The Language of word meaning, 302-361 (2001), Cambridge: Cambridge University Press, Cambridge
[36] Hobbs, JR; Gordon, AS, A formal theory of commonsense psychology, how people think people think (2017), Cambridge: Cambridge University Press, Cambridge
[37] Horty, J., Agency and deontic logic (2001), New York: Oxford University Press, New York · Zbl 1119.03313
[38] Horty, J., Reasons as defaults (2012), Oxford: Oxford University Press, Oxford
[39] Idelberger, F., Governatori, G., Riveret, R., & Sartor, G. (2016). Evaluation of logic-based smart contracts for blockchain systems. In RuleML, volume 9718 of Lecture Notes in Computer Science (pp. 167-183). Berlin: Springer.
[40] Jörg, H. (2014). Reasoning about permission and obligation. In S. O. Hansson (Ed.), David Makinson on classical methods for non-classical problems (Vol. 3, pp. 287-333). Outstanding Contributions to Logic. Berlin: Springer. · Zbl 1311.03038
[41] Jørgensen, J., Imperatives and logic, Erkenntnis, 7, 288-296 (1937)
[42] MacCormick, N., & Summers, R. S. (1991). Interpreting statutes: A comparative study. Applied legal philosophy. Hanover: Dartmouth.
[43] Makinson, D. & van der Torre, L. (2003b). What is input/output logic? In B. Lowe, W. Malzkorn, & T. Rasch (Eds.), Foundations of the formal sciences II: Applications of mathematical logic in philosophy and linguistics (pp. 163-174). · Zbl 1040.03023
[44] Makinson, D.; van der Torre, LWN, Input/output logics, Journal of Philosophical Logic, 29, 4, 383-408 (2000) · Zbl 0964.03002
[45] Makinson, D.; van der Torre, L., Constraints for input/output logics, Journal of Philosophical Logic, 30, 2, 155-185 (2001) · Zbl 0993.03039
[46] Makinson, D.; van der Torre, L., Permission from an input/output perspective, Journal of Philosophical Logic, 32, 391-416 (2003) · Zbl 1028.03017
[47] Malerba, A. (2017). Interpretive interactions among Legal systems and argumentation schemes. Ph.D. thesis, Joint International Doctoral (Ph.D.) Degree in Law, Science and Technology (LAST-JD).
[48] Maranhão, J. S. A. (2017). A logical architecture for dynamic legal interpretation. In Proceedings of the 16th Edition of the international conference on articial intelligence and law, ICAIL ’17 (pp. 129-138). ACM, New York, NY, USA.
[49] Maranhão, J., & de Souza, E. G.. (2018) Contraction of combined normative sets. In J. M. Broersen, C. Condoravdi, N. Shyam, & G. Pigozzi (Eds.), Deontic logic and normative systems - 14th international conference, DEON 2018, Utrecht, The Netherlands, July 3-6, 2018 (pp. 247-261). College Publications. · Zbl 1418.03055
[50] McCarthy, J., Circumscription: A form of nonmonotonic reasoning, Artificial Intelligence, 13, 27-39 (1980) · Zbl 0435.68073
[51] Nute, D. (1994b). Defeasible prolog. In AAAI technical report FS-93-0. Oxford: Oxford University Press. Available at https://www.aaai.org/Papers/Symposia/Fall/1993/FS-93-01/FS93-01-015.pdf. · Zbl 0820.03014
[52] Nute, D.; Gabbay, D.; Hogger, C.; Robinson, J., Defeasible logic, Handbook of logic in artificial intelligence and logic programming (1994), Oxford: Oxford University Press, Oxford · Zbl 0804.03017
[53] Nute, D., Defeasible deontic logic (1997), Dordrecht: Kluwer, Dordrecht · Zbl 0885.00033
[54] Palmirani, M., Martoni, M., Rossi, A., Bartolini, C., & Robaldo, L. (2018a). Legal ontology for modelling GDPR concepts and norms. In Legal knowledge and information systems - JURIX 2018: The thirty-first annual conference, Groningen, The Netherlands, 12-14 December 2018.
[55] Palmirani, M., Martoni, M., Rossi, A., Bartolini, C., & Robaldo, L. (2018b). Pronto: Privacy ontology for legal compliance. In Proceedings of the 18th European conference on digital government (ECDG), October (Forthcoming).
[56] Palmirani, M., Martoni, M., Rossi, A., Bartolini, C., & Robaldo, L. (2018c). Pronto: Privacy ontology for legal reasoning. In Proceedings of the 7th international conference on electronic government and the information systems perspective (EGOVIS): Technology-enabled innovation for democracy, government and governance, September (Forthcoming).
[57] Palmirani, M., Martoni, M., Rossi, A., Bartolini, C., & Robaldo, L. (2018d). Pronto: Privacy ontology for legal reasoning. In Proceedings of the Internationales Rechtsinformatik Symposion (IRIS), February.
[58] Palmirani, M., Legislative change management with Akoma-Ntoso, 101-130 (2011), Dordrecht: Springer, Dordrecht
[59] Palmirani, M.; Vitali, F., Akoma Ntoso for legal documents, 75-100 (2011), Dordrecht: Springer, Dordrecht
[60] Parent, X., & van der Torre, L. (2018). Input/output logics with a consistency check. In Proceedings of the 14th international conference on deontic logic and normative systems (DEON2018). · Zbl 1418.03098
[61] Parent, X., & van der Torre, L. (2014a). Aggregative deontic detachment for normative reasoning. In Principles of knowledge representation and reasoning: Proceedings of the fourteenth international conference, KR 2014, Vienna, Austria, July 20-24, 2014.
[62] Parent, X., & van der Torre, L. W. N.. (2017). The pragmatic oddity in norm-based deontic logics. In Proceedings of the 16th edition of the international conference on articial intelligence and law, ICAIL 2017, London, United Kingdom, June 12-16, 2017 (pp. 169-178).
[63] Parent, X., Moral particularism in the light of deontic logic, Artificial Intelligence and Law, 19, 2-3, 75-98 (2011)
[64] Parent, X.; van der Torre, L.; Cariani, F.; Grossi, D.; Meheus, J.; Parent, X., Sing and dance!, Deontic logic and normative systems, 149-165 (2014), Berlin: Springer, Berlin · Zbl 1321.03033
[65] Pnueli, A. (1977). The temporal logic of programs. In Proceedings of the 18th annual symposium on foundations of computer science, SFCS ’77 (pp. 46-57). IEEE Computer Society.
[66] Prakken, H., Ai & law, logic and argument schemes, Argumentation, 19, 3, 303-320 (2005)
[67] Ramakrishna, S., Gorski, L., & Paschke, A. (2016). A dialogue between a lawyer and computer scientist: The evaluation of knowledge transformation from legal text to computer-readable format. Applied Artificial Intelligence, 30(3),
[68] Reiter, R.; Ginsberg, ML, A logic for default reasoning, Readings in nonmonotonic reasoning, 68-93 (1987), Los Altos, CA: Kaufmann, Los Altos, CA
[69] Robaldo, L., & Sun, X. (2017). Reified input/output logic: Combining input/output logic and reification to represent norms coming from existing legislation. The Journal of Logic and Computation, 7. · Zbl 1444.03074
[70] Robaldo, L., Caselli, T., Russo, I., & Grella, M. (2011). From Italian text to TimeML document via dependency parsing. In Computational Linguistics and intelligent text processing - 12th international conference, CICLing 2011, Tokyo, Japan (pp. 177-187).
[71] Robaldo, L., Independent set readings and generalized quantifiers, The Journal of Philosophical Logic, 39, 1, 23-58 (2010) · Zbl 1209.03022
[72] Robaldo, L., Interpretation and inference with maximal referential terms, The Journal of Computer and System Sciences, 76, 5, 373-388 (2010) · Zbl 1203.03044
[73] Robaldo, L., Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality, The Journal of Logic, Language, and Information, 20, 2, 233-271 (2011) · Zbl 1234.03015
[74] Robaldo, L.; Szymanik, J.; Meijering, B., On the identification of quantifiers’ witness sets: A study of multi-quantifier sentences, The Journal of Logic, Language, and Information, 23, 1, 53 (2014) · Zbl 1305.03030
[75] Rotolo, A., Governatori, G., & Sartor, G. (2015). Deontic defeasible reasoning in legal interpretation: Two options for modelling interpretive arguments. In Proceedings of the 15th international conference on artificial intelligence and law (ICAIL). ACM, New York, NY, USA.
[76] Sartor, G. (2005). Legal reasoning: A cognitive approach to the law. Treatise of legal philosophy and general jurisprudence / ed.-in-chief Enrico Pattaro. Berlin: Springer.
[77] Satariano, A. (2018). What the G.D.P.R. Europe’s tough new data law, means for you, and for the Internet. Online article, May.
[78] Schwarzentruber, F., & Caroline, S. (2014). STIT is dangerously undecidable. In T. Schaub, G. Friedrich, & B. O’Sullivan (Eds.), ECAI 2014-21st European conference on artificial intelligence, 18-22 August 2014, Prague, Czech Republic - Including prestigious applications of intelligent systems (PAIS 2014), volume 263 of Frontiers in artificial intelligence and applications. IOS Press.
[79] Searle, JR, The construction of social reality (1995), New York: The Free Press, New York
[80] Sun, X., & Robaldo, L. (2015). Logic and games for ethical agents in normative multi-agent systems. In M. Rovatsos, G. A. Vouros, & V. Julián (Eds.), Multi-agent systems and agreement technologies - 13th European conference, EUMAS 2015, and third international conference, at 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers, volume 9571 of Lecture Notes in Computer Science (pp. 367-375). Berlin: Springer.
[81] Sun, X., & van der Torre, L. W. N.. (2014). Combining constitutive and regulative norms in input/output logic. In F. Cariani, D. Grossi, J. Meheus, & X. Parent (Eds.), Deontic logic and normative systems - 12th international conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings, volume 8554 of Lecture Notes in Computer Science (pp. 241-257). Berlin: Springer. · Zbl 1323.03020
[82] Sun, X.; Robaldo, L., On the complexity of input/output logic, The Journal of Applied Logic, 25, 69-88 (2017) · Zbl 1436.03142
[83] Walton, D.; Sartor, G.; Macagno, F., An argumentation framework for contested cases of statutory interpretation, Artifical Intelligence and Law, 24, 1, 51-91 (2016)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.