MIREL - MIning and REasoning with Legal texts


The management of large repositories of norms, and the semantic access and reasoning to these norms are key challenges in Legal Informatics. The MIREL project will create an international and inter-sectorial network to define a formal framework and to develop tools for MIning and REasoning with Legal texts, with the aim of translating these legal texts into formal representations that can be used for querying norms, compliance checking, and decision support. The development of the MIREL framework and tools will be guided by the needs of three industrial partners, and validated by industrial case studies. MIREL promotes 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. MIREL addresses 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 bridges 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 its kind to involve industrial partners in the future development of innovative products and services in legal reasoning and their deployment in the market. The European MIREL partners are key players in the communities of Deontic, AI & Law, and the Semantic Web, communities that have traditionally been strong in Europe. The MIREL consortium brings these scientists together with researchers with expertise traditionally lacking in Europe, such as norm and argument mining (Argentina, Japan and China), description logic for reasoning about legal ontologies (South Africa), natural language semantics of deontic modals (US), and the complexity analysis of regulatory compliance (Australia).

Project details

Unibo Team Leader: Antonino Rotolo

Unibo involved Department/s:
Centro Interdipartimentale Alma Mater Research Institute for Human-Centered Artificial Intelligence - (Alma AI)

Universite Du Luxembourg(Luxembourg)

Other Participants:
DLVSystem Srl (Italy)
Università degli Studi di TORINO (Italy)
Nomotika Srl (Italy)
Institut National De Recherche En Informatique Et En Automatique (France)
University Of Huddersfield (United Kingdom)
Apis Hristovich Eood (Bulgaria)
ALMA MATER STUDIORUM - Università di Bologna (Italy)

Third parties:
Inter-University Research Institute Corporation Research Organization Of Information And Systems (Japan)

Total Eu Contribution: Euro (EUR) 1.152.000,00
Project Duration in months: 48
Start Date: 01/01/2016
End Date: 31/12/2019

Cordis webpage
Project website

Peace, justice and strong institutions This project contributes to the achievement of the Sustainable Development Goals of the UN 2030 Agenda.

This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 690974 This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 690974