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

Desenvolvimento de um head-mounted display estereoscópio

Dissertação para obtenção do Grau de Mestre em Engenharia Física

Phage display as a tool for development of novel therapeutics for breast cancer

Phage display technology is a powerful platform for the generation of highly specific human monoclonal antibodies (Abs) with potential use in clinical applications. Moreover, this technique has also proven to be a reliable approach in identifying and validating new cancer-related targets. For scientific or medical applications, different types of Ab libraries can be constructed. The use of Fab Immune libraries allows the production of high quality and affinity antigen-specific Abs. In this work, two immune human phage display IgG Fab libraries were generated from the Ab repertoire of 16 breast cancer patients, in order to obtain a tool for the development of new therapeutic Abs for breast cancer, a condition that has great impact worldwide. The generated libraries are estimated to contain more than 108 independent clones and a diversity over 90%. Libraries validation was pursued by selection against BSA, a foreign and highly immunogenic protein, and HER2, a well established cancer target. Preliminary results suggested that phage pools with affinity for these antigens were selected and enriched. Individual clones were isolated, however, it was not possible to obtain enough data to further characterize them. Selection against the DLL1 protein was also performed, once it is a known ligand of the Notch pathway, whose deregulation is associated to breast cancer, making it an interesting target for the generation of function-blocking Abs. Selection resulted in the isolation of a clone with low affinity and Fab expression levels. The validation process was not completed and further effort will have to be put in this task in the future. Although immune libraries concept implies limited applicability, the library reported here has a wide range of use possibilities, since it was not restrained to a single antigen but instead thought to be used against any breast cancer associated target, thus being a valuable tool.

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.

Phage display as a tool for generation of bio-therapeutic agents for breast cancer

Notch is a conserved signalling pathway, which plays a crucial role in a multiple cellular processes such as stem cell self-renewal, cell division, proliferation and apoptosis. In mammalian, four Notch receptors and five ligands are described, where interaction is achieved through their extracellular domains, leading to a transcription activation of different target genes. Increased expression of Notch ligands has been detected in several types of cancer, including breast cancer suggesting that these proteins represent possible therapeutic targets. The goal of this work was to generate quality protein targets and, by phage display technology, select function-blocking antibodies specific for Notch ligands. Phage display is a powerful technique that allows the generation of highly specific antibodies to be used for therapeutics, and it has also proved to be a reliable approach in identifying and validating new cancer-related targets. Also, we aimed at solving the tri-dimensional structure of the Notch ligands alone and in complex with selected antibodies. In this work, the initial phase focused on the optimization of the expression and purification of a human Delta-like 1 ligand mutant construct (hDLL1-DE3), by refolding from E. coli inclusion bodies. To confirm the biological activity of the produced recombinant protein cellular functional studies were performed, revealing that treatment with hDLL1-DE3 protein led to a modulation of Notch target genes. In a second stage of this study, Antibody fragments (Fabs) specific for hDLL1-DE3 were generated by phage display, using the produced protein as target, in which one good Fab candidate was selected to determine the best expression conditions. In parallel, multiple crystallization conditions were tested with hDLL1-DE3, but so far none led to positive results.