Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

Improvement of a photoautotrophic chassis robustness for synthetic biology applications

Cyanobacteria are photoautotrophic microorganisms with great potential for the biotechnological industry due to their low nutrient requirements, photosynthetic capacities and metabolic plasticity. In biotechnology, the energy sector is one of the main targets for their utilization, especially to produce the so called third generation biofuels, which are regarded as one of the best replacements for petroleum-based fuels. Although, several issues could be solved, others arise from the use of cyanobacteria, namely the need for high amounts of freshwater and contamination/predation by other microorganisms that affect cultivation efficiencies. The cultivation of cyanobacteria in seawater could solve this issue, since it has a very stable and rich chemical composition. Among cyanobacteria, the model microorganism Synechocystis sp. PCC 6803 is one of the most studied with its genome fully sequenced and genomic, transcriptomic and proteomic data available to better predict its phenotypic behaviors/characteristics. Despite suitable for genetic engineering and implementation as a microbial cell factory, Synechocystis’ growth rate is negatively affected by increasing salinity levels. Therefore, it is important to improve. To achieve this, several strategies involving the constitutive overexpression of the native genes encoding the proteins involved in the production of the compatible solute glucosylglycerol were implemented, following synthetic biology principles. A preliminary transcription analysis of selected mutants revealed that the assembled synthetic devices are functional at the transcriptional level. However, under different salinities, the mutants did not show improved robustness to salinity in terms of growth, compared with the wild-type. Nevertheless, some mutants carrying synthetic devices appear to have a better physiological response under seawater’s NaCl concentration than in 0% (w/v) NaCl.

Engineering bio-based polymers using alternative solvents and processes

The work presented in this thesis explores novel routes for the processing of bio-based polymers, developing a sustainable approach based on the use of alternative solvents such as supercritical carbon dioxide (scCO2), ionic liquids (ILs) and deep eutectic solvents (DES). The feasibility to produce polymeric foams via supercritical fluid (SCF) foaming, combined with these solvents was assessed, in order to replace conventional foaming techniques that use toxic and harmful solvents. A polymer processing methodology is presented, based on SCF foaming and using scCO2 as a foaming agent. The SCF foaming of different starch based polymeric blends was performed, namely starch/poly(lactic acid) (SPLA) and starch/poly(ε-caprolactone) (SPCL). The foaming process is based on the fact that CO2 molecules can dissolve in the polymer, changing their mechanical properties and after suitable depressurization, are able to create a foamed (porous) material. In these polymer blends, CO2 presents limited solubility and in order to enhance the foaming effect, two different imidazolium based ILs (IBILs) were combined with this process, by doping the blends with IL. The use of ILs proved useful and improved the foaming effect in these starch-based polymer blends. Infrared spectroscopy (FTIR-ATR) proved the existence of interactions between the polymer blend SPLA and ILs, which in turn diminish the forces that hold the polymeric structure. This is directly related with the ability of ILs to dissolve more CO2. This is also clear from the sorption experiments results, where the obtained apparent sorption coefficients in presence of IL are higher compared to the ones of the blend SPLA without IL. The doping of SPCL with ILs was also performed. The foaming of the blend was achieved and resulted in porous materials with conductivity values close to the ones of pure ILs. This can open doors to applications as self-supported conductive materials. A different type of solvents were also used in the previously presented processing method. If different applications of the bio-based polymers are envisaged, replacing ILs must be considered, especially due to the poor sustainability of some ILs and the fact that there is not a well-established toxicity profile. In this work natural DES – NADES – were the solvents of choice. They present some advantages relatively to ILs since they are easy to produce, cheaper, biodegradable and often biocompatible, mainly due to the fact that they are composed of primary metabolites such as sugars, carboxylic acids and amino-acids. NADES were prepared and their physicochemical properties were assessed, namely the thermal behavior, conductivity, density, viscosity and polarity. With this study, it became clear that these properties can vary with the composition of NADES, as well as with their initial water content. The use of NADES in the SCF foaming of SPCL, acting as foaming agent, was also performed and proved successful. The SPCL structure obtained after SCF foaming presented enhanced characteristics (such as porosity) when compared with the ones obtained using ILs as foaming enhancers. DES constituted by therapeutic compounds (THEDES) were also prepared. The combination of choline chloride-mandelic acid, and menthol-ibuprofen, resulted in THEDES with thermal behavior very distinct from the one of their components. The foaming of SPCL with THEDES was successful, and the impregnation of THEDES in SPCL matrices via SCF foaming was successful, and a controlled release system was obtained in the case of menthol-ibuprofen THEDES.

The value creation radar applied to the space engineering sector

This case study illustrates the application of the Value Creation Radar (VCR) to SenSyF, an Earth Observation (EO) system which was developed by Deimos Engenharia S.A. (DME), the Portuguese affiliate of Elecnor Deimos. It describes how a team of consultants adopted the VCR in order to find new market applications for SenSyF, selected the one with the highest potential, and defined a path to guarantee a sustainable market launch. This case study highlights the main challenges of bringing a technology-driven company closer to the market in the pursuit of long-term sustainability, while not compromising its technological capabilities