DeepAI AI Chat
Log In Sign Up

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

by   Rui Zhao, et al.

With the needs of science and business, data sharing and re-use has become an intensive activity for various areas. In many cases, governance imposes rules concerning data use, but there is no existing computational technique to help data-users comply with such rules. We argue that intelligent systems can be used to improve the situation, by recording provenance records during processing, encoding the rules and performing reasoning. We present our initial work, designing formal models for data rules and flow rules and the reasoning system, as the first step towards helping data providers and data users sustain productive relationships.


page 6

page 8


An Automated Framework for Supporting Data-Governance Rule Compliance in Decentralized MIMO Contexts

We propose Dr.Aid, a logic-based AI framework for automated compliance c...

Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way

Collaboration across institutional boundaries is widespread and increasi...

Selecting Attributes for Sport Forecasting using Formal Concept Analysis

In order to address complex systems, apply pattern recongnition on their...

Mining for Causal Relationships: A Data-Driven Study of the Islamic State

The Islamic State of Iraq and al-Sham (ISIS) is a dominant insurgent gro...

Datalog Reasoning over Compressed RDF Knowledge Bases

Materialisation is often used in RDF systems to derive, in a preprocessi...

Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata

One of the challenges in designing safe, reliable and trustworthy Autono...

A Mobile Application for Self-Guided Study of Formal Reasoning

In this work, we introduce AXolotl, a self-study aid designed to guide s...