Towards compliance checking in reified I/O logic via SHACL - Livio Robaldo (ACM, 2021)