Conference Paper/Proceeding/Abstract 534 views 193 downloads
Towards compliance checking in reified I/O logic via SHACL
Livio Robaldo 
Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law
Swansea University Author:
Livio Robaldo
-
PDF | Accepted Manuscript
Download (462.26KB)
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...
| 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: |
Faculty of Humanities and Social Sciences |