Robaldo, Livio
Abstract: Reified Input/Output logic has been recently proposed to handle natural language meaning in Input/Output logic, perhaps the most developed norm-based deontic 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 proposes to model reified I/O logic formulae in Shapes Constraint Language (SHACL), a recent W3C recommendation for validating and reasoning with RDFs/OWL triplestores.