Compliance checking in reified IO logic via SHACL

1 code implementation • 13 Oct 2021 • 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].