Towards a computer-interpretable actionable formal model to encode data governance rules