no code implementations • 12 Jan 2022 • Giovanni Sileno, Thomas van Binsbergen, Matteo Pascucci, Tom van Engers
In this respect, it goes rather in the direction of legal core ontologies, but differently from those, our proposal aims to keep the character of a DSL, rather than a set of axioms in a logical framework: it is meant to be cross-compiled to underlying languages/tools adequate to the type of target application.