Conference Paper/Proceeding/Abstract 975 views 78 downloads
Towards compliance checking in reified I/O logic via SHACL
Livio Robaldo 
Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law, Pages: 215 - 219
Swansea University Author:
Livio Robaldo
-
PDF | Accepted Manuscript
Download (524.16KB)
DOI (Published version): 10.1145/3462757.3466065
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: | Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law |
|---|---|
| Published: |
New York, NY, USA
ACM
2021
|
| Online Access: |
https://doi.org/10.1145/3462757.3466065 |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa58455 |
| 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]. Preprint confirmed as accepted manuscript for conference. |
| College: |
Faculty of Humanities and Social Sciences |
| Start Page: |
215 |
| End Page: |
219 |