The work in WP1 was oriented towards: carrying out transdisciplinary research and devising conceptual models for legal knowledge representation and reasoning, devising formal languages for representing norms, policies, and values in the law, and Logics for modelling the interpretation of legal provisions. The activities done have been carried out by UNIBO, Stanford Univ., UNITO, Data61, UNLP, UNS, UL, INRIA, and ZJU.
The mentioned partners: (1) designed and built an OWL ontology for the privacy and data protection domain with a special focus on the GDPR, (2) devised a novel formalization of a belief revision operator applied to an epistemic model that considers rules and time, (3) investigated new formal methods for deontic reasoning in legal interpretation, in particular those concerned with deontic argumentation, (4) carried out model-theoretic investigations of monotonic modal logics, and (5) started novel theoretical research in legislative dialogues.
The work in WP2 was oriented towards: studying natural language semantics for normative knowledge, developing and extending existing NLP systems for mining both concept to be linked to the T-BOX and named entities in order to populate the A-BOX, building GOLD standard corpora for syntactic and semantic analysis. The activities done have been carried out by UNITO, UL, UNIBO, INRIA, Cordoba Univ., Nomotika SRL, ZJU, Stanford Univ, and ROIS.
The mentioned partners: (1) developed a new knowledge base of reified formulae for the GDPR built on the PrOnto ontology from WP1 and integrating insights from the literature in natural language semantics, (2) implemented cutting-edge procedures for named entity recognition and classification, legal textual entailment, open information extraction from legal corpora, and argument mining, (3) implemented a demo of the Eunomos legal document management system in Semantic Media Wiki, (4) started a collaborative work on argumentative reasoning and persuasion, which will strengthen models for judges reasoning aiming at providing explanations for their conclusions, (5) implemented a three-dimensional classification of legal ontologies and tools to support their exploration, (6) carried out basic research in rules of conflict of laws.
The work in WP3 was oriented towards: ontology-based access to normative knowledge, computational solutions for decision making and compliance, massive parallelization. The activities done have been carried out by HUD, DLVSystem, Data61, UL, UCT, UNS, ZJU, and UNIBO.
The mentioned partners: (1) designed and implemented a new platform for formalizing legal interpretations and their compilation into legal knowledge bases, (2) devised novel procedures for argumentation-based reasoning for the legal domain, including structured argumentation in DeLP, (3) conducted basic research in ontology-based abstract normative systems, (4) extensively investigated and compared reasoning mechanisms for the legal domain, with a special focus on Defeasible Deontic Logic, Answer Set Programming and Argumentation-based normative reasoning, (5) and investigated the feasibility of using AI techniques in order to support the evaluation of legal aspects for the PESTLE analysis.
The work in WP4 was oriented towards: user needs study, licenses and contracts case study, technical documents case stud, and the multilingual corpora of norms case study. The activities done have been carried out by INRIA, Cordoba Univ., UNITO, Nomotika SRL, Data61, and UL.
The mentioned partners: (1) evaluating NLP techniques on Nomotika SRL datasets, (2) evaluated novel Argument Mining techniques on multi-lingua corpora of norms, (3) and modelled dialogues for optimal legislation, following the theoretical results in legislative dialogues obtained in WP1.
