TY  - RPRT
TI  - Compliance checking in reified IO logic via SHACL
AU  - Livio Robaldo
AU  - Kolawole J. Adebayo
PY  - 2021
UR  - https://arxiv.org/abs/2110.07033
ID  - 2110.07033
ER  -