No Cover Image

Conference Paper/Proceeding/Abstract 89 views 32 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
Tags: Add Tag
No Tags, Be the first to tag this record!
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.
College: Hillary Rodham Clinton School of Law