No Cover Image

Conference Paper/Proceeding/Abstract 686 views 252 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

Swansea University Author: Livio Robaldo Orcid Logo

DOI (Published version): 10.1145/3462757.3466065

Abstract

Reified Input/Output logic has been recently proposed to handle natural language meaning in Input/Output logic. So far, the research in reified I/O logic has focused only on KR issues, specifically on how to use the formalism for representing contextual meaning of norms. This paper is the first atte...

Full description

Published in: Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law
ISBN: 978-1-4503-8526-8
Published: New York, NY, USA ACM 2021
URI: https://cronfa.swan.ac.uk/Record/cronfa56727
first_indexed 2021-08-09T14:46:45Z
last_indexed 2021-12-01T04:15:36Z
id cronfa56727
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2021-11-30T16:12:24.6130257</datestamp><bib-version>v2</bib-version><id>56727</id><entry>2021-04-23</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-04-23</date><deptcode>HRCL</deptcode><abstract>Reified Input/Output logic has been recently proposed to handle natural language meaning in Input/Output logic. So far, the research in reified I/O logic has focused only on KR issues, specifically on how to use the formalism for representing contextual meaning of norms. This paper is the first attempt to investigate reasoning in reified I/O logic, specifically compliance checking. This paper investigates how to model reified I/O logic formulae in Shapes Constraint Language (SHACL), a recent W3C recommendation for validating and reasoning with RDFs/OWL.</abstract><type>Conference Paper/Proceeding/Abstract</type><journal>Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law</journal><volume/><journalNumber/><paginationStart/><paginationEnd/><publisher>ACM</publisher><placeOfPublication>New York, NY, USA</placeOfPublication><isbnPrint/><isbnElectronic>978-1-4503-8526-8</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/><notes/><college>COLLEGE NANME</college><department>Hillary Rodham Clinton Law School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>HRCL</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2021-11-30T16:12:24.6130257</lastEdited><Created>2021-04-23T15:37:23.7852919</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>56727__19747__f61cb7fc6dc9481f959390a34cc038c0.pdf</filename><originalFilename>Reified_IO_logic_in_SHACL__ICAIL_2021_(1).pdf</originalFilename><uploaded>2021-04-23T15:39:20.0685780</uploaded><type>Output</type><contentLength>473359</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling 2021-11-30T16:12:24.6130257 v2 56727 2021-04-23 Towards compliance checking in reified I/O logic via SHACL b711cf9f3a7821ec52bd1e53b4f6cf9e 0000-0003-4713-8990 Livio Robaldo Livio Robaldo true false 2021-04-23 HRCL Reified Input/Output logic has been recently proposed to handle natural language meaning in Input/Output logic. So far, the research in reified I/O logic has focused only on KR issues, specifically on how to use the formalism for representing contextual meaning of norms. This paper is the first attempt to investigate reasoning in reified I/O logic, specifically compliance checking. This paper investigates how to model reified I/O logic formulae in Shapes Constraint Language (SHACL), a recent W3C recommendation for validating and reasoning with RDFs/OWL. Conference Paper/Proceeding/Abstract Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law ACM New York, NY, USA 978-1-4503-8526-8 21 6 2021 2021-06-21 10.1145/3462757.3466065 COLLEGE NANME Hillary Rodham Clinton Law School COLLEGE CODE HRCL Swansea University 2021-11-30T16:12:24.6130257 2021-04-23T15:37:23.7852919 Faculty of Humanities and Social Sciences Hilary Rodham Clinton School of Law Livio Robaldo 0000-0003-4713-8990 1 56727__19747__f61cb7fc6dc9481f959390a34cc038c0.pdf Reified_IO_logic_in_SHACL__ICAIL_2021_(1).pdf 2021-04-23T15:39:20.0685780 Output 473359 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
publishDate 2021
institution Swansea University
isbn 978-1-4503-8526-8
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
document_store_str 1
active_str 0
description Reified Input/Output logic has been recently proposed to handle natural language meaning in Input/Output logic. So far, the research in reified I/O logic has focused only on KR issues, specifically on how to use the formalism for representing contextual meaning of norms. This paper is the first attempt to investigate reasoning in reified I/O logic, specifically compliance checking. This paper investigates how to model reified I/O logic formulae in Shapes Constraint Language (SHACL), a recent W3C recommendation for validating and reasoning with RDFs/OWL.
published_date 2021-06-21T14:09:25Z
_version_ 1821414853987794944
score 11.247077

Similar Items