Compliance checking in reified IO logic via SHACL

Reified Input/Output (I/O) logic[21] has been recently proposed to model real-world norms in terms of the logic in [11]. This is massively grounded on the notion of reification, and it has specifically designed to model meaning of natural language sentences, such as the ones occurring in existing legislation. This paper presents a methodology to carry out compliance checking on reified I/O logic formulae. These are translated in SHACL (Shapes Constraint Language) shapes, a recent W3C recommendation to validate and reason with RDF triplestores. Compliance checking is then enforced by validating RDF graphs describing states of affairs with respect to these SHACL shapes.

[1]  Declan O'Sullivan,et al.  Exploring GDPR Compliance Over Provenance Graphs Using SHACL , 2018, SEMANTICS Posters&Demos.

[2]  Serena Villata,et al.  Normative Requirements as Linked Data , 2017, JURIX.

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

[4]  Emiliano Lorini,et al.  Norms in MAS: Definitions and Related Concepts , 2013, Normative Multi-Agent Systems.

[5]  Piero A. Bonatti,et al.  Real Time Reasoning in OWL2 for GDPR Compliance , 2020, Artif. Intell..

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

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

[8]  Gianclaudio Malgieri,et al.  The concept of fairness in the GDPR: a linguistic and contextual interpretation , 2020, FAT*.

[9]  Marcello Ceci,et al.  Representing Judicial Argumentation in the Semantic Web , 2013, AICOL.

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

[11]  Thomas F. Gordon,et al.  Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF) , 2008, Computable Models of the Law, Languages, Dialogues, Games, Ontologies.

[12]  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..

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

[14]  Guido Governatori,et al.  Legal Compliance in a Linked Open Data Framework , 2019, JURIX.

[15]  Thomas F. Gordon,et al.  Combining Rules and Ontologies with Carneades , 2011, RuleML America.

[16]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

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

[18]  Mustafa Hashmi,et al.  Enabling Reasoning with LegalRuleML , 2016, RuleML.

[19]  Livio Robaldo,et al.  Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base , 2019, Journal of Logic, Language and Information.