Derivation methods for hybrid knowledge bases with rules and ontologies

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Establishing a cell biology platform: isolation and preservation of human blood products

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

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.

A (in)segurança privada em Portugal

Along with the food and the comfort, safety has always been one of the human priorities. In pursuit of this objective, man developed self-preservation mechanisms, went to live in society and created rules to control the community life. In the West and in the late eighteenth century, with the creation of states as we know them today, the monopoly of security, among other powers, has been preserved untouched until the last quarter of this century. With the bankruptcy of the welfare state and the rise of the regulatory state, many of the essential tasks for the community have also been carried out by private companies or institutions, including education, health care and security. Although not easy, education and health care have been more opened to be managed by the private sector. Instead, the privatization of the security sector has seen much more resistance. Still, especially in the West, the states have delegated some of the security competences to private companies. Portugal is no exception to the rule and, after a few years of unregulated activity, in 1982 was published the first law regulating the private security. After the initial stages of development (evolution and maturation), which lasted until the early years of the 2000‘s, the private security now seems to have reached maturity. Today, now with a new legal system, composed by Law no. 34/2013, of 16 may, its regulations and complementary legislation, now private security encompasses other activities and competences - becoming, an increasingly complement to public safety. It has also increased the pre-requisites and control mechanisms for private security companies, and strengthened the rules that limit their scope of activity.

An equity wealth preservation strategy: Following the macro trend

Financial crisis have happened in the past and will continue to do so in the future. In the most recent 2008 crisis, global equities (as measured by the MSCI ACWI index) lost a staggering 54.2% in USD, on the year. During those periods wealth preservation becomes at the top of most investor’s concerns. The purpose of this paper is to develop a strategy that protects the investment during bear markets and significant market corrections, generates capital appreciation, and that can support Millennium BCP’s Wealth Management Unit on their asset allocation procedures. This strategy extends the Dual Momentum approach introduced by Gary Antonacci (2014) in two ways. First, the investable set of securities in the equities space increases from two to four. Besides the US it will comprise the Japanese, European (excl. UK) and EM equity indices. Secondly, it adds a volatility filter as well as three indicators related to the business cycle and the state of the economy, which are relevant to decide on the strategy’s exposure to equities. Overall the results attest the resiliency of the strategy before, during and after historical financial crashes, as it drastically reduces the downside exposure and consistently outperforms the benchmark index by providing higher mean returns with lower variance.