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.

Eco-efficient earthen plasters: The influence of the addition of natural fibers.

Clayish earth-based mortars are been recognized, all over the world, as eco-efficient products for plastering. Apart from being a product with low embodied energy when compared to other types of plasters, their application on the interior surface of walls may give a strong contribution for the health and comfort of inhabitants. As part of an ongoing research regarding earth-based plasters this work assesses the influence of the addition of two types of natural fibres – oat straw and typha fiber-wool – on the characteristics of plastering mortars made with a clayish earth. Mechanical and physical characteristics were tested, showing that addition of these fibers contribute to decrease linear drying shrinkage and thermal conductivity, as well as promoting the adhesion strength of plaster to the substrate. The improvement of mechanical resistance reveal to be dependent on the type of fiber added while the hygroscopic capacity of the plaster is maintained regardless of the fiber additions.

Experimental characterization of an earth eco-efficient plastering mortar

Earthen plastering mortars are becoming recognized as highly eco-efficient. The assessment of their technical properties needs to be standardized but only the German standard DIN 18947 exists for the moment. An extended experimental campaign was developed in order to assess multiple properties of a ready-mixed earth plastering mortar and also to increase scientific knowledge of the influence of test procedures on those properties. The experimental campaign showed that some aspects related to the equipment, type of samples and sample preparation can be very important, while others seemed to have less influence on the results and the classification of mortars. It also showed that some complementary tests can easily be performed and considered together with the standardized ones, while others may need to be improved. The plaster satisfied the requirements of the existing German standard but, most importantly, it seemed adequate for application as rehabilitation plaster on historic and modern masonry buildings. Apart from their aesthetic aspect, the contribution of earthen plasters to eco-efficiency and particularly to hygrometric indoor comfort should be highlighted.

EFFECT – Efficient finite element code

The theme of this dissertation is the finite element method applied to mechanical structures. A new finite element program is developed that, besides executing different types of structural analysis, also allows the calculation of the derivatives of structural performances using the continuum method of design sensitivities analysis, with the purpose of allowing, in combination with the mathematical programming algorithms found in the commercial software MATLAB, to solve structural optimization problems. The program is called EFFECT – Efficient Finite Element Code. The object-oriented programming paradigm and specifically the C ++ programming language are used for program development. The main objective of this dissertation is to design EFFECT so that it can constitute, in this stage of development, the foundation for a program with analysis capacities similar to other open source finite element programs. In this first stage, 6 elements are implemented for linear analysis: 2-dimensional truss (Truss2D), 3-dimensional truss (Truss3D), 2-dimensional beam (Beam2D), 3-dimensional beam (Beam3D), triangular shell element (Shell3Node) and quadrilateral shell element (Shell4Node). The shell elements combine two distinct elements, one for simulating the membrane behavior and the other to simulate the plate bending behavior. The non-linear analysis capability is also developed, combining the corotational formulation with the Newton-Raphson iterative method, but at this stage is only avaiable to solve problems modeled with Beam2D elements subject to large displacements and rotations, called nonlinear geometric problems. The design sensitivity analysis capability is implemented in two elements, Truss2D and Beam2D, where are included the procedures and the analytic expressions for calculating derivatives of displacements, stress and volume performances with respect to 5 different design variables types. Finally, a set of test examples were created to validate the accuracy and consistency of the result obtained from EFFECT, by comparing them with results published in the literature or obtained with the ANSYS commercial finite element code.

Light harvesting in solar cells using natural pigments from red fruits adsorbed to mesoporous TiO2

Nature has developed strategies to present us with a wide variety of colours, from the green of leaves to the bright colours seen in flowers. Anthocyanins are between these natural pigments that are responsible for the great diversity of colours seen in flowers and fruits. Anthocyanins have been used to sensitize titanium dioxide (TiO2) in Dye-Sensitized Solar Cells (DSSCs). DSSCs have become one of the most popular research topic in photovoltaic cells due to their low production costs when compared to other alternatives. DSSCs are inspired in what happens in nature during photosynthesis. A primary charge separation is achieved by means of a photoexcited dye capable of performing the electron injection into the conduction band of a wide band-gap semiconductor, usually TiO2. With this work we aimed to synthesize a novel mesoporous TiO2 structure as the semiconductor in order to increase the dye loading. We used natural occurring dyes such as anthocyanins and their synthetic flavylium relatives, as an alternative to the widely used metal complexes of Ru(II) which are expensive and are environmentally unsafe. This offers not only the chance to use safer dyes for DSSCs, but also to take profit of waste biological products, such as wine and olive oil production residues that are heavily loaded with anthocyanin dyes. We also performed a photodegradation study using TiO2 as the catalyst to degrade dye contaminants, such as those from the wine production waste, by photo-irradiation of the system in the visible region of the light spectrum. We were able to succeed in the synthesis of mesoporous TiO2 both powder and thin film, with a high capacity to load a large amount of dye. We proved the concept of photodegradation using TiO2 as catalyst. And finally, we show that wine production waste is a possible dye source to DSSCs application.

Electro-Optical/Infrared sensor turret integration on an aircraft - structural im-pact on LOCKHEED MARTIN C-130H and design methodology

The growing need to patrol and survey large maritime and terrestrial areas increased the need to integrate external sensors on aircraft in order to accomplish those patrols at increasingly higher altitudes, longer range and not depending upon vehicle type. The main focus of this work is to elaborate a practical, simple, effective and efficient methodology for the aircraft modification procedure resulting from the integration of an Elec-tro-Optical/Infra-Red (EO/IR) turret through a support structure. The importance of the devel-opment of a good methodology relies on the correct management of project variables as time, available resources and project complexity. The key is to deliver a proper tool for a project de-sign team that will be used to create a solution that fulfils all technical, non-technical and certi-fication requirements present in this field of transportation. The created methodology is inde-pendent of two main inputs: sensor model and aircraft model definition, and therefore it is in-tended to deliver the results for different projects besides the one that was presented in this work as a case study. This particular case study presents the development of a structure support for FLIR STAR SAPHIRE III turret integration on the front lower fuselage bulkhead (radome) of the LOCKHEED MARTIN C-130 H. Development of the case study focuses on the study of local structural analysis through the use of Finite Element Method (FEM). Development of this Dissertation resulted in a cooperation between Faculty of Science and Technology - Universidade Nova de Lisboa and the company OGMA - Indústria Aeronáutica de Portugal

A+ grandparents at school

Facing an aging society, where there is a large gap between generations and where the elderly are neglected, the Portuguese Red Cross – Delegation of Vila Nova de Gaia – created the project A+: grandparents at school, which encourages intergenerational work. After observing the positive results of the pilot project, the A+ team decided that the project has the potential to be scaled at a national level to enable it to contribute to the integration of the older people in the society, as well as for positive changes of individuals with regard to the elderly. This work project proposes a method to determine whether A+ can be scaled and what is the most efficient way to do it, establishing a process of scale that can be used by every non-profit organization

ReedCob – An eco-efficient building technology for monolithic walls based on earth and reeds

4th Conference COST ACTION FP1303 – Designing with Bio-based Materials – Challenges and opportiunities. INIA – CSIC, Madrid, 24-25 February 2016. Book of abstracts, T.Troya, J.Galván, D.Jones (Eds.), INIA and IETcc – CSIS, pg. 79-80 (ISBN: 978-91-88349-16-3)