No Cover Image

Conference Paper/Proceeding/Abstract 636 views 53 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: 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!
first_indexed 2021-10-26T13:52:44Z
last_indexed 2023-01-11T14:39:04Z
id cronfa58455
recordtype SURis
fullrecord <?xml version="1.0" encoding="utf-8"?><rfc1807 xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema"><bib-version>v2</bib-version><id>58455</id><entry>2021-10-24</entry><title>Compliance checking in reified IO logic via SHACL</title><swanseaauthors><author><sid>b711cf9f3a7821ec52bd1e53b4f6cf9e</sid><ORCID>0000-0003-4713-8990</ORCID><firstname>Livio</firstname><surname>Robaldo</surname><name>Livio Robaldo</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2021-10-24</date><deptcode>LAWD</deptcode><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.</abstract><type>Conference Paper/Proceeding/Abstract</type><journal>Fifteenth International Workshop on Juris-informatics, November 14 - 15, 2021, Keio University Kanagawa, Japan .</journal><volume/><journalNumber/><paginationStart/><paginationEnd/><publisher/><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint/><issnElectronic/><keywords/><publishedDay>1</publishedDay><publishedMonth>6</publishedMonth><publishedYear>2022</publishedYear><publishedDate>2022-06-01</publishedDate><doi/><url>https://arxiv.org/abs/2110.07033</url><notes>Preprint article before certification by peer review [online 13/10/2021]</notes><college>COLLEGE NANME</college><department>Law</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>LAWD</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2023-06-01T11:31:51.9259715</lastEdited><Created>2021-10-24T18:46:18.5079576</Created><path><level id="1">Faculty of Humanities and Social Sciences</level><level id="2">Hilary Rodham Clinton School of Law</level></path><authors><author><firstname>Livio</firstname><surname>Robaldo</surname><orcid>0000-0003-4713-8990</orcid><order>1</order></author><author><firstname>Kolawole</firstname><surname>Adebayo</surname><order>2</order></author></authors><documents><document><filename>58455__21323__86a270df99c14cd0a65badd3e6686494.pdf</filename><originalFilename>58455.AAM.pdf</originalFilename><uploaded>2021-10-27T14:52:34.5650992</uploaded><type>Output</type><contentLength>536735</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling v2 58455 2021-10-24 Compliance checking in reified IO logic via SHACL b711cf9f3a7821ec52bd1e53b4f6cf9e 0000-0003-4713-8990 Livio Robaldo Livio Robaldo true false 2021-10-24 LAWD 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. Conference Paper/Proceeding/Abstract Fifteenth International Workshop on Juris-informatics, November 14 - 15, 2021, Keio University Kanagawa, Japan . 1 6 2022 2022-06-01 https://arxiv.org/abs/2110.07033 Preprint article before certification by peer review [online 13/10/2021] COLLEGE NANME Law COLLEGE CODE LAWD Swansea University 2023-06-01T11:31:51.9259715 2021-10-24T18:46:18.5079576 Faculty of Humanities and Social Sciences Hilary Rodham Clinton School of Law Livio Robaldo 0000-0003-4713-8990 1 Kolawole Adebayo 2 58455__21323__86a270df99c14cd0a65badd3e6686494.pdf 58455.AAM.pdf 2021-10-27T14:52:34.5650992 Output 536735 application/pdf Accepted Manuscript true true eng
title Compliance checking in reified IO logic via SHACL
spellingShingle Compliance checking in reified IO logic via SHACL
Livio Robaldo
title_short Compliance checking in reified IO logic via SHACL
title_full Compliance checking in reified IO logic via SHACL
title_fullStr Compliance checking in reified IO logic via SHACL
title_full_unstemmed Compliance checking in reified IO logic via SHACL
title_sort Compliance checking in reified IO logic via SHACL
author_id_str_mv b711cf9f3a7821ec52bd1e53b4f6cf9e
author_id_fullname_str_mv b711cf9f3a7821ec52bd1e53b4f6cf9e_***_Livio Robaldo
author Livio Robaldo
author2 Livio Robaldo
Kolawole Adebayo
format Conference Paper/Proceeding/Abstract
container_title Fifteenth International Workshop on Juris-informatics, November 14 - 15, 2021, Keio University Kanagawa, Japan .
publishDate 2022
institution Swansea University
college_str Faculty of Humanities and Social Sciences
hierarchytype
hierarchy_top_id facultyofhumanitiesandsocialsciences
hierarchy_top_title Faculty of Humanities and Social Sciences
hierarchy_parent_id facultyofhumanitiesandsocialsciences
hierarchy_parent_title Faculty of Humanities and Social Sciences
department_str Hilary Rodham Clinton School of Law{{{_:::_}}}Faculty of Humanities and Social Sciences{{{_:::_}}}Hilary Rodham Clinton School of Law
url https://arxiv.org/abs/2110.07033
document_store_str 1
active_str 0
description 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.
published_date 2022-06-01T11:31:50Z
_version_ 1767495970009907200
score 11.013686

Similar Items