Derivation and consistency checking of models in early software product line engineering

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

The use of corpora to the teach english as a foreign language in secondary education in Portugal

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Didáctica Do Inglês

The impact of type of language and number of reasons on purchase intent

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Analysable software language translations

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

Data-centric concurrency control on the java programming language

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

Sentiment analysis on twitter for the portuguese language

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

Child programming: an adequate domain specific language for programming specific robots

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

The Impact of Bilingualism on Acquiring Second Language Vocabulary: A Case Study

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtençao do grau de Mestre em Didáctica do Inglês,

Language and culture: representations of English-speaking cultures in 1st year secondary english language coursebooks in the Kingdom of Saudi Arabia

Dissertação apresentada para o cumprimento dos requisitos necessários á obtenção do grau de Mestre em Didáctica de Inglês

Quality of process modeling using BPMN: a model-driven approach

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

Making connections: engineering and language issues in teaching english for specific purposes

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Línguas, Literaturas e Culturas

English Language Learning Inside and Outside the Classroom in Portugal

This study investigates the way of learning the English language in Portugal. First-year students of the faculty of Social Sciences and Humanities of New University of Lisbon were selected as participants in the case study. As data collection tools a questionnaire and focus-groups were used. 115 students completed the designed questionnaire and after that 12 students were selected for the more detailed focus-group discussions. Results of the research show that most part of the students´ English knowledge is received from outside the classroom by means of movies, songs, computer games, the Internet, communication with friends and other sources. Also, the results show that motivation is very important in language learning process and motivated students acquire the language faster and easier.

Perspectives of Identity in Julio Cortázar’s Rayuela

My aim was to produce a dissertation, based on Rayuela, which focuses on Cortázar’s questioning of identity. With this objective in mind, I have studied some of the salient elements in the novel that relate to this topic and the subsequent, interrelated, areas of study that arose in doing so. The cities of Paris and Buenos Aires are placed in contrast within the novel and reflect a dichotomy that reflects Oliveira’s condition as a “foreigner,” (more specifically as a South American in Europe). This duality is further reflected in Cortázar’s use of gender, and the development of the notions of active and passive, and an investigation into the traditional modes of thought, symbols, and stereotypes, and an open-ended questioning of their validity. These topics are framed by a notion of Judeo-Christian History that is in many ways flawed and, as such, contrasts with a more intuitive (or “oriental”) perception of reality, which is centred in figures such as la Maga. I found many explicit references to Zen philosophy, and related oriental references, that led me to believe that this area was worthy of further investigation. Rayuela is considered a classic novel within the canon of Spanish language literature. It’s famous “tabla,” like the rules for a game between the writer and the receptor that produce alternative readings, has led to many discussions regarding the novel’s structure and form, and also created a certain amount of polemic with the use of concepts such as the “lector hembra.” Many consider Cortázar a greater short story writer than a novelist, but nevertheless this novel had a profound effect on young readers upon its publication, much to Cortázar’s surprise, and continues to attract readers, dealing as it does with issues that continue to be relevant to many people.

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.