Compliance checking in reified IO logic via SHACL

Livio Robaldo, Kolawole J. Adebayo

Reified Input/Output (I/O) logic[21] has been recently proposed to model real-world norms in terms of the logic in [11]. This is massively grounded on the notion of reification, an…