Interpreting Judgements using Knowledge Representation Methods and Computational Models of Argument

The goal of the present research is to define a Semantic Web framework for precedent modelling, by using knowledge extracted from text, metadata, and rules, while maintaining a strong text-to-knowledge morphism between legal text and legal concepts, in order to fill the gap between legal document and its semantics. The framework is composed of four different models that make use of standard languages from the Semantic Web stack of technologies: a document metadata structure, modelling the main parts of a judgement, and creating a bridge between a text and its semantic annotations of legal concepts; a legal core ontology, modelling abstract legal concepts and institutions contained in a rule of law; a legal domain ontology, modelling the main legal concepts in a specific domain concerned by case-law; an argumentation system, modelling the structure of argumentation. The input to the framework includes metadata associated with judicial concepts, and an ontology library representing the structure of case-law. The research relies on the previous efforts of the community in the field of legal knowledge representation and rule interchange for applications in the legal domain, in order to apply the theory to a set of real legal documents, stressing the OWL axioms definitions as much as possible in order to enable them to provide a semantically powerful representation of the legal document and a solid ground for an argumentation system using a defeasible subset of predicate logics. It appears that some new features of OWL2 unlock useful reasoning features for legal knowledge, especially if combined with defeasible rules and argumentation schemes. The main task is thus to formalize legal concepts and argumentation patterns contained in a judgement, with the following requirement: to check, validate and reuse the discourse of a judge - and the argumentation he produces - as expressed by the judicial text.

CO2 utilization and alternative solvents: effective tools for sustainable applications

The growing concentration of CO2 in the atmosphere and its harmful consequences has led the scientific community to direct its efforts towards sustainable processes. Among the possible approaches, the use of CO2 and alternative solvents are two strategies that are having widespread diffusion. In this work the reuse of CO2 is expressed by using it as a reaction reagent and as trigger to change the physical properties of a catalyst thus facilitating its recovery. As regards the CO2 use as reagent, two catalytic systems have been developed for the conversion of CO2 and epoxides into cyclic carbonates, used in the synthesis of polymers and as aprotic solvents. Homogeneous catalysts made by choline-based eutectic mixtures and heterogeneous catalysts made from biopolymers and waste pyrolysis have been synthesized and tested on this reaction. The carbonate interchange reaction (CIR) of a diol with a linear carbonate (as dimethyl carbonate) is an interesting alternative, for the synthesis of cyclic carbonates; as the second application of CO2 as polarity trigger, it was used for catalyst recovery. In fact DBU, here used as catalyst, is part of the so called “switchable solvents”: they can pass from a less-polar to a more-polar form (and from being soluble to non-soluble in the reaction mixture) when reacting with CO2 in presence of water or alcohols. Also in this case, heterogeneous catalysts made from biopolymers and waste pyrolysis have been synthesized and tested on CIR. As for the use of alternative solvents, this work focuses on the use of Deep Eutectic Solvents (DESs). They are a new generation of solvents composed by a mixture of two or more substances, liquid at room temperature, and non-volatile. New and biobased DESs were here used: i) as reaction media to carry out chemoenzymatic epoxidation; ii) in the extraction of astaxanthin from microalgae culture.