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.

Felmini, the success of a Portuguese footwear company in the Italian market

NSBE - UNL

An internationalisation research project into the German market for the Portuguese canned seafood company COFACO.

This project is aimed to analyse the German market of canned fish, in order to find out if there is potential of entering the market for the Portuguese canned seafood company named COFACO. The purpose of this foreign market research, carried out for COFACO, is to highlight the main key aspects of the current German seafood market, founded out through a deep analysis. Moreover, the work project is also aimed to give the company suggestions regarding the Brand, the Product and the Distribution strategy to implement in order to succeed, once considered the opportunity to enter the market.

Should my company use Bitcoin?

This work project analyses the possibility for a company to trade their goods and services for bitcoins, by joining the Bitcoin network. It analyses the technological and business requirements to join the Bitcoin Network by looking at Bitcoin’s potential to act as a mean of exchange for trade, unit of account and store of value. The analysis points to the motives, benefits and risks for investors to use the Bitcoin as a traditional currency and recommends on strategies for addressing those risks and maximizing benefits. Other than companies this report, to a lesser extent, will also analyse the Bitcoin from an investor’s point of view, this is, should an investor buy bitcoins for trade and make savings on a regular and everyday basis? A major finding in this work project is that companies could start using the Bitcoin system as a legit form of payment since the benefits of using this technology outweigh the costs and risks, given the right approach. This form of payment will contribute for the upgrade of a company’s business’ image, attract a new pool of consumers and businesses that already trade in bitcoins and pressure existing financial institutions and electronic payment vendors to upgrade their service levels.

Telefónica Company Report

Equity research report

Yacht charter in Portugal- developing a business model for a sailing charter company

Given the signals that Portugal can be a great destination for charter sailing, the purpose of this work is to disprove this. Thereby the model of Porter’s five forces has been used to analyze the Portuguese yacht charter market, whereas a SWOT analysis should give an overview and compare the Portuguese market with the well running charter market of Croatia. The research outcome on the supply side as well as on the demand side should then serve as a foundation for establishing a model of a sailing charter company in Portugal, explained with the aid of the Canvas model.

The impact of PBL on transferable skills development in management education

Attention to transferable skills is growing in higher education. Problem-based learning (PBL) is increasingly used in management education for its promising potential to, amongst others, promote transferable skills, including problem-solving, critical thinking and teamwork skills. However, this relationship is seldom assessed. In this study, I use structural equation modelling to examine the effectiveness of PBL, measured through students’ perceptions of satisfaction and skills development. Results show the development of transferable skills is explained by interaction with tutors and a host company, and defining teamwork rules. Satisfaction is explained by skills development, assessment issues, defining teamwork rules and understanding how organisations work. I draw conclusions and recommendations.

Development of autonomous maintenance in a furniture company

This article presents a work performed in the maintenance department of a furniture company in Portugal, in order to develop and implement autonomous maintenance. The main objective of the project was related to the objective to increase and make effective the autonomous maintenance tasks performed by production operators, and in this way avoiding unplanned downtime due to equipment failures. Although some autonomous maintenance tasks were already carried out within the company, a preliminary study revealed weaknesses in the application of this tool. In the initial phase of this pilot project, the main problems encountered at the level of autonomous maintenance were related to the lack of time to carry out these tasks, showing that the stipulated procedures were far from the real needs of the company. To solve these problems a pilot project was conducted, making several changes in the performance of autonomous maintenance tasks, making them standard and adapted to reality of each production line. There was a general improvement in the factory indicators, and essentially there was a behavioral change, since the operators felt that their opinions were taking into account and began to understand the importance of small tasks performed by them.

Experimental evidence that quorum rules discourage turnout and promote election boycotts

Many democratic decision making institutions involve quorum rules. Such rules are commonly motivated by concerns about the “legitimacy” or “representativeness” of decisions reached when only a subset of eligible voters participates. A prominent example of this can be found in the context of direct democracy mechanisms, such as referenda and initiatives. We conduct a laboratory experiment to investigate the consequences of the two most common types of quorum rules: a participation quorum and an approval quorum. We find that both types of quora lead to lower participation rates, dramatically increasing the likelihood of full-fledged electoral boycotts on the part of those who endorse the Status Quo. This discouraging effect is significantly larger under a participation quorum than under an approval quorum.

Estudo comparativo entre indicadores de desempenho da JCI e do Contrato Programa Cirurgia Segura

Dissertação de mestrado em Engenharia e Gestão da Qualidade

Mobilidade geográfica dos trabalhadores e implicações processuais

Dissertação de mestrado em Direito Judiciário

A utilização dos preços de transferência pelas empresas multinacionais como mecanismo de evasão fiscal

Dissertação de mestrado em Direito Tributário e Fiscal