No Cover Image

Conference Paper/Proceeding/Abstract 80 views 8 downloads

Compliance checking in reified IO logic via SHACL

Livio Robaldo Orcid Logo, Kolawole Adebayo

Fifteenth International Workshop on Juris-informatics, November 14 - 15, 2021, Keio University Kanagawa, Japan .

Swansea University Author: Livio Robaldo Orcid Logo

Abstract

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 le...

Full description

Published in: Fifteenth International Workshop on Juris-informatics, November 14 - 15, 2021, Keio University Kanagawa, Japan .
Published:
Online Access: https://arxiv.org/abs/2110.07033
URI: https://cronfa.swan.ac.uk/Record/cronfa58455
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract: 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.
Item Description: Preprint article before certification by peer review [online 13/10/2021]
College: Hillary Rodham Clinton School of Law