Report on ontologies for normative reasoning

Summary
Report on MIREL computational ontologies for normative reasoning.