The Rule Editor is an application that allows a user to create interpretations of sources of norms in FLINT in a user-friendly and interactive way, as part of the TNO Rules Governance Stack. A public version of the Rule Editor is hosted at https://rule-editor.netlify.app/
This repository contains the Source of Norms Ontology: a Semantic Web-style knowledge model that defines the contents of a source of norms, e.g. a law or regulation.
This repository contains the Flint Ontology: a Semantic Web-style knowledge model that defines the semantics of Flint models. A Flint model describes a normative system, e.g. the applicability of norms in a certain law or regulation to certain people. The description is comprised of Act frames and Fact frames.
The Calculemus protocol describes how multiple parties can come to an agreed execution of a normative task.
The protocol was originally presented in a paper: Van Doesburg R., Van der Storm T., Van Engers, T. 2016. CALCULEMUS: Towards a Formal Language for the Interpretation of Normative Systems.
This repository holds an OWL ontology describing the semantics of the Calculemus protocol.