Towards compliance checking in reified I/O logic via SHACL.

Livio Robaldo

Browse the full ICAIL paper archive.