Phylogeny and phenotypic characterization of pathogenic cryptococcus species and closely related saprobic taxa in the tremellales

Eukaryotic Cell, Vol.8, Nº3

Mapas por microscopia de Raman caso de estudo: cerâmicas arqueológicas portuguesas da idade do ferro provenientes do Castro de Azougada

Dissertação de Mestrado em Conservação e Restauro área de Especialização de Cerâmica e Vidro

“Avô: Um pioneiro como nós” . A redefinição do papel "Ausstellungsmacher" por Harald Szeemann

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Museologia

Combining open and closed world reasoning for the semantic web

Dissertação para obtenção do Grau de Doutor em Informática

Reactive hybrid knowledge bases

Hybrid knowledge bases are knowledge bases that combine ontologies with non-monotonic rules, allowing to join the best of both open world ontologies and close world rules. Ontologies shape a good mechanism to share knowledge on theWeb that can be understood by both humans and machines, on the other hand rules can be used, e.g., to encode legal laws or to do a mapping between sources of information. Taking into account the dynamics present today on the Web, it is important for these hybrid knowledge bases to capture all these dynamics and thus adapt themselves. To achieve that, it is necessary to create mechanisms capable of monitoring the information flow present on theWeb. Up to today, there are no such mechanisms that allow for monitoring events and performing modifications of hybrid knowledge bases autonomously. The goal of this thesis is then to create a system that combine these hybrid knowledge bases with reactive rules, aiming to monitor events and perform actions over a knowledge base. To achieve this goal, a reactive system for the SemanticWeb is be developed in a logic-programming based approach accompanied with a language for heterogeneous rule base evolution having as its basis RIF Production Rule Dialect, which is a standard for exchanging rules over theWeb.

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.

O Ensino do Português como Língua Estrangeira na Alemanha – O Enquadramento do Português no Ensino Superior Alemão

O conhecimento e domínio de línguas estrangeiras representam hoje em dia uma habilidade imprescindível e altamente apreciada, abrindo portas em diversos aspetos. Tendo isso em consideração, o ensino das mesmas assume um papel cada vez mais importante, o que resulta num aumento da procura de cursos de línguas. No caso específico da língua portuguesa pode-se observar uma tendência semelhante. Esta dissertação, realizada no âmbito do Mestrado em Ensino do Português como Língua Segunda e Estrangeira, tem como objetivo proporcionar uma visão geral do Português, mais precisamente do seu desenvolvimento em termos económicos e históricos, a nível global, e do ensino como LE, particularmente na Alemanha. Neste contexto, destaca-se o conceito de internacionalização, quer em relação à língua portuguesa quer no ensino superior alemão. Portanto, como a língua está sujeita a constantes mudanças devido à evolução histórica, requerem-se alterações e adaptações apropriadas no respetivo ensino, a fim de acompanhar os tempos e implementar estratégias de internacionalização com êxito. Na Alemanha verifica-se um grande empenho nessa área, o que se torna benéfico para o crescimento de línguas estrangeiras, inclusive a portuguesa, no ensino superior. Embora o EPLE seja uma disciplina relativamente recente, na Alemanha já marca presença em várias instituições do ensino superior com programas de estudos muito semelhantes em termos de conteúdos, estrutura e organização. Contudo, existem igualmente diferenças substanciais. Tomando como exemplo três universidades, mais precisamente duas universidades (Universidade de Hamburgo e Universidade Livre de Berlim) e uma faculdade (Faculdade de Tradução, Línguas e Culturas Germersheim, Universidade Johannes Gutenberg de Mainz), serão elaborados e comparados tanto os elementos em comum como as diferenças entre os planos de estudos na disciplina de Português dessas três instituições.

Characterization of earth-based mortars for rammed earth repair

All over the world, many earth buildings are deteriorating due to lack of maintenance and repair. Repairs on rammed earth walls are mainly done with mortars, by rendering application; however, often the repair is inadequate, resorting to the use of incompatible materials, including cement-based mortars. It has been observed that such interventions, in walls that until that day only had presented natural ageing issues, created new problems, much more dangerous for the building than the previous ones, causing serious deficiencies in this type of construction. One of the problems is that the detachment of the new cement-based mortar rendering only occurs after some time but, until that occurrence, degradations develop in the wall itself. When the render detaches, instead of needing only a new render, the surface has to be repaired in depth, with a repair mortar. Consequently, it has been stablished that the renders, and particularly repair mortars, should have physical, mechanical and chemical properties similar to those of the rammed earth walls. This article intends to contribute to a better knowledge of earth-based mortars used to repair the surface of rammed earth walls. The studied mortars are based on four types of earth: three of them were collected from non-deteriorated parts of walls of unstabilized rammed earth buildings located in Alentejo region, south of Portugal; the fourth is a commercial earth, consisting mainly of clay. Other components were also used, particularly: sand to control shrinkage; binders stabilizers such as dry hydrated air-lime, natural hydraulic lime, Portland cement and natural cement; as well as natural vegetal fibers (hemp fibers). The experimental analysis of the mortars in the fresh state consisted in determining the consistency by flow table and the bulk density. In the hardened state, the tests made it possible to evaluate the following properties: linear and volumetric shrinkage; capillary water absorption; drying capacity; dynamic modulus of elasticity; flexural and compressive strength.

Estudo da dessalinização de objetos arqueológicos de liga ferrosa por imersão em sulfito alcalino

A dessalinização é de extrema importância para a estabilização de objetos arqueológicos ferrosos contaminados por sais, principalmente quando estes envolvem cloretos, dado desencadearem um significativo aumento na sua velocidade da corrosão. Este processo de degradação pode resultar em destacamentos importantes no objeto (com perda de informação sobre a sua superfície) ou mesmo numa perda total do seu núcleo metálico. De entre os processos de dessalinização, o método do sulfito alcalino é dos mais praticados, exatamente por ser eficaz na remoção de cloretos, de baixo custo de implementação e de relativa fácil aplicação, ao contrário de outros métodos também igualmente eficazes. Até ao momento não existe no laboratório de metais do Departamento de Conservação e Restauro da Faculdade de Ciências e Tecnologia um processo eficaz de dessalinização para objetos arqueológicos à base de ferro contaminados com cloretos, estando este tipo de intervenção também ausente em muitos laboratórios de conservação que lidam com este tipo de materiais. Assim, através de um estudo e experimentação do método do sulfito alcalino, pretendeu-se adquirir alguma prática neste processo de dessalinização, implementá-lo no laboratório (construção de protótipo(s)) a custos acessíveis e, paralelemente, testar a sua eficácia.