No Cover Image

Conference Paper/Proceeding/Abstract 1013 views 82 downloads

Towards compliance checking in reified I/O logic via SHACL

Livio Robaldo Orcid Logo

Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law, Pages: 215 - 219

Swansea University Author: Livio Robaldo Orcid Logo

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

Full description

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
first_indexed 2021-10-26T13:52:44Z
last_indexed 2025-03-19T05:00:51Z
id cronfa58455
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2025-03-18T13:47:31.3220475</datestamp><bib-version>v2</bib-version><id>58455</id><entry>2021-10-24</entry><title>Towards compliance checking in reified I/O 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>HRCL</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>Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law</journal><volume/><journalNumber/><paginationStart>215</paginationStart><paginationEnd>219</paginationEnd><publisher>ACM</publisher><placeOfPublication>New York, NY, USA</placeOfPublication><isbnPrint/><isbnElectronic/><issnPrint/><issnElectronic/><keywords/><publishedDay>21</publishedDay><publishedMonth>6</publishedMonth><publishedYear>2021</publishedYear><publishedDate>2021-06-21</publishedDate><doi>10.1145/3462757.3466065</doi><url>https://doi.org/10.1145/3462757.3466065</url><notes>Preprint article before certification by peer review [online 13/10/2021]. Preprint confirmed as accepted manuscript for conference.</notes><college>COLLEGE NANME</college><department>Hillary Rodham Clinton Law School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>HRCL</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2025-03-18T13:47:31.3220475</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></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 2025-03-18T13:47:31.3220475 v2 58455 2021-10-24 Towards compliance checking in reified I/O logic via SHACL b711cf9f3a7821ec52bd1e53b4f6cf9e 0000-0003-4713-8990 Livio Robaldo Livio Robaldo true false 2021-10-24 HRCL 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 Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law 215 219 ACM New York, NY, USA 21 6 2021 2021-06-21 10.1145/3462757.3466065 https://doi.org/10.1145/3462757.3466065 Preprint article before certification by peer review [online 13/10/2021]. Preprint confirmed as accepted manuscript for conference. COLLEGE NANME Hillary Rodham Clinton Law School COLLEGE CODE HRCL Swansea University 2025-03-18T13:47:31.3220475 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 58455__21323__86a270df99c14cd0a65badd3e6686494.pdf 58455.AAM.pdf 2021-10-27T14:52:34.5650992 Output 536735 application/pdf Accepted Manuscript true true eng
title Towards compliance checking in reified I/O logic via SHACL
spellingShingle Towards compliance checking in reified I/O logic via SHACL
Livio Robaldo
title_short Towards compliance checking in reified I/O logic via SHACL
title_full Towards compliance checking in reified I/O logic via SHACL
title_fullStr Towards compliance checking in reified I/O logic via SHACL
title_full_unstemmed Towards compliance checking in reified I/O logic via SHACL
title_sort Towards compliance checking in reified I/O logic via SHACL
author_id_str_mv b711cf9f3a7821ec52bd1e53b4f6cf9e
author_id_fullname_str_mv b711cf9f3a7821ec52bd1e53b4f6cf9e_***_Livio Robaldo
author Livio Robaldo
author2 Livio Robaldo
format Conference Paper/Proceeding/Abstract
container_title Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law
container_start_page 215
publishDate 2021
institution Swansea University
doi_str_mv 10.1145/3462757.3466065
publisher ACM
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://doi.org/10.1145/3462757.3466065
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 2021-06-21T09:13:07Z
_version_ 1830270939570372608
score 11.060726

Similar Items