Hi,

Are you aware about a project called BOScoin (governance system): https://bitcointalk.org/index.php?topic=1759662.0
The trust Contracts are securely executable using Web Ontology Language(OWL) and the Timed Automata Language(TAL).

There was a good discussion between Arhur (Tezos) and BOScoin Team: https://bitcointalk.org/index.php?topic=1759662.msg18529378#msg18529378