My research

Governance rules modeling

Terms and Conditions widely exist, and are usually written in natural languages. However, people tend to ignore them because of the complexity or large volume. The situation is the same for scientific research, especially for research data.
We seek to solve this problem by modeling these terms and conditions (aka. data governance rules) using a logic form understood by machines and humans.
The rules will propagate along with the data, and be checked accordingly.

The two main objectives are:

  1. Model data governance rules (aka. Terms and Conditions, in the field of research data)
  2. Present a reasoning system over data-flow information (e.g. provenance)