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

Stochastic modelling of the reservoir lithological and petrophysical attributes. A case study of the Middle East carbonate reservoir

Dissertação para obtenção do Grau de Mestre em Engenharia Geológica (Georrecursos)

Controlo de qualidade interno: elaboração de um programa de Controlo de Qualidade Interno segundo as boas práticas da Qualidade

RESUMO: Esta dissertação pretende apresentar uma proposta para um programa de Controlo de Qualidade interno das hormonas tiroideias, segundo as boas práticas da qualidade. Para que se comprove o rigor e fiabilidade dos seus resultados analíticos, condição indispensável para que estes possam servir de base às mais diversas tomadas de decisão, toda a filosofia que envolve a qualidade assume um papel preponderante. Neste contexto a elaboração de um programa de controlo de qualidade adequado é muito importante e imprescindível. A realização do controlo de qualidade permite monitorizar o desempenho de todos os materiais, equipamentos, instrumentos e métodos analíticos bem como criar sinais de alerta para prevenir a emissão de resultados não-conformes e indicar a necessidade de ações corretivas. Permite também indicar a necessidade de melhorias em processos e em atividades ligadas aos operadores e consciencializar o pessoal de que o controlo da qualidade é um dever para com o cliente e tem a função de gerar confiança nos resultados obtidos. O controlo de qualidade interno abrange todos os procedimentos assumidos por um laboratório para avaliação contínua do seu trabalho. A sua finalidade é assegurar a consistência dos resultados diários e a sua conformidade com critérios definidos, avaliando a precisão dos ensaios e dando indicação do momento para se promoverem ações corretivas quando surge uma não conformidade. Segundo as melhores práticas da qualidade, serão calculados os valores do controlo de qualidade interno para as hormonas tiroideias, os seus limites e critérios (regras) de aceitabilidade, com base na relação entre o desempenho analítico e o Erro Máximo Admissível. Pretende-se assim, otimizar o desempenho do Controlo de Qualidade Interno, aperfeiçoando a capacidade de identificação do erro.-------- ABSTRACT: This paper intends to submit a proposal for a thyroid hormones internal quality Control program, according to the best quality practices. The whole philosophy involving quality plays a central role in order to prove the accuracy and reliability of the analytical results, a basic prerequisite for decision making. In this context the elaboration of an appropriate quality control program is essential and very important. Quality control allows the motorization of the performance of all materials, equipment, instruments and analytical methods, as well as the creation of warning signals indicating the need for corrective actions, to prevent the release of non-compliant results. It also indicates the need for improvements in the processes and operating activities as well as making the staff aware that quality control is a duty to the client and promotes confidence in the results. The internal quality control covers all procedures undertaken by a laboratory for a continuous evaluation of its performance. Its purpose is to ensure the consistency of the daily results and compliance with defined criteria, assessing the accuracy of the tests and indicating the moment to promote corrective actions when nonconformity appears. According to the best quality practices, the values of the internal quality control for the thyroid hormones, their limits and criteria (rules) of acceptability will be calculated, based on the relationship between analytical performance and the maximum allowable error. Thus, the aim is to optimize the performance of the Internal Quality Control, improving the ability for error detection and identification.

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.

How to optimize Lipton’s business model in order to stimulate tea consumption in Portugal and increase Lipton Leaf tea market share?: The importance of distribution and sales channels management in a B2B2C market

Field Lab Entrepreneurial Innovative Ventures