Towards compliance checking in reified I/O logic via SHACL

Abstract

Reified Input/Output logic [29] has been recently proposed to handle natural language meaning in Input/Output logic [17]. 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 (see [28]). 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) [2], a recent W3C recommendation for validating and reasoning with RDFs/OWL.