Towards a Computer-Interpretable Actionable Formal Model to Encode Data Governance Rules | IEEE Conference Publication | IEEE Xplore