Although the MIREL project is now finished, it is still highly relevant as it created an international and inter-sectorial network to define a formal framework and to develop tools for MIning and REasoning with Legal texts. The aim was to translate these legal texts into formal representations that could be used for querying norms, compliance checking, and decision support.

MIREL addressed both conceptual challenges, such as the role of legal interpretation in mining and reasoning, and computational challenges, such as the handling of big legal data, and the complexity of regulatory compliance. It bridged the gap between the community working on legal ontologies and NLP parsers and the community working on reasoning methods and formal logic. Moreover, it is the first project of this kind to involve industrial partners in the future development of innovative products and services in legal reasoning and their deployment in the market.

MIREL promoted mobility and staff exchange between SMEs to academies in order to create an inter-continental interdisciplinary consortium in Law and Artificial Intelligence areas including Natural Language Processing, Computational Ontologies, Argumentation, and Logic & Reasoning.

Learn more about this project and its publications here.