Conference Paper/Proceeding/Abstract 626 views 53 downloads
Compliance checking in reified IO logic via SHACL
Livio Robaldo 
,
Kolawole Adebayo
,
Kolawole Adebayo
Fifteenth International Workshop on Juris-informatics, November 14 - 15, 2021, Keio University Kanagawa, Japan .
Swansea University Author:
Livio Robaldo
-
PDF | Accepted Manuscript
Download (524.16KB)
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...
| Published in: | Fifteenth International Workshop on Juris-informatics, November 14 - 15, 2021, Keio University Kanagawa, Japan . |
|---|---|
| Published: |
2022
|
| 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: |
Faculty of Humanities and Social Sciences |