Calculemus-ontology

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.