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 Logic and tool for local reasoning about security protocols

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

Semantic enrichment of knowledge sources supported by domain ontologies

This thesis introduces a novel conceptual framework to support the creation of knowledge representations based on enriched Semantic Vectors, using the classical vector space model approach extended with ontological support. One of the primary research challenges addressed here relates to the process of formalization and representation of document contents, where most existing approaches are limited and only take into account the explicit, word-based information in the document. This research explores how traditional knowledge representations can be enriched through incorporation of implicit information derived from the complex relationships (semantic associations) modelled by domain ontologies with the addition of information presented in documents. The relevant achievements pursued by this thesis are the following: (i) conceptualization of a model that enables the semantic enrichment of knowledge sources supported by domain experts; (ii) development of a method for extending the traditional vector space, using domain ontologies; (iii) development of a method to support ontology learning, based on the discovery of new ontological relations expressed in non-structured information sources; (iv) development of a process to evaluate the semantic enrichment; (v) implementation of a proof-of-concept, named SENSE (Semantic Enrichment kNowledge SourcEs), which enables to validate the ideas established under the scope of this thesis; (vi) publication of several scientific articles and the support to 4 master dissertations carried out by the department of Electrical and Computer Engineering from FCT/UNL. It is worth mentioning that the work developed under the semantic referential covered by this thesis has reused relevant achievements within the scope of research European projects, in order to address approaches which are considered scientifically sound and coherent and avoid “reinventing the wheel”.

Microvascularização arterial da cóclea

RESUMO: Na descrição deste estudo foi utilizada a terminologia anatómica da Sociedade Brasileira de Anatomia adaptada ao português por J. A. Esperança-Pina de acordo com o tratado Anatomia Humana da Relação. Os actuais estudos sobre hipoacusia sensorioneural implicam um grupo crescente de situações, em que a lesão se situa ao nível da microvascularização coclear, daí que o conhecimento exacto da angiomorfologia normal se torne essencial na fase actual do conhecimento. A autora tem vindo a estudar, desde 1986, a angiomorfologia do ouvido Interno no modelo experimental, o Cobaio, utilizando várias técnicas microvasculares. sendo dado enfâse particular neste estudo à técnica de microscopia electrónica de varrimento em moldes vasculares. Os animais usados no presente estudo pertencem à espécie cavia porcellus, cobaio, por serem considerados na comunidade cientifica internacional como o melhor modelo experimental para estudo do ouvido interno, pelo facto de a morfologia coclear ser muito semelhante à do Homem e por isso ser um modelo fiável para cirurgia experimental e microdissecção. Este estudo foi realizado em 100 cobaios, cavia porcellus, de ambos os sexos com peso médio de 450g. A vascularização do ouvido interno, no cobaio como no homem, faz-se através dos ramos de divisão da artéria auditiva interna ou labiríntica. A artéria labiríntica origina-se como ramo colateral da artéria cerebelosa ântero-inferior a qual tem origem na artéria basilar ou na artéria vertebral. Embora no homem a artéria auditiva interna possa também destacar-se da artéria basilar e até da artéria vertebral, no cobaio em todos os casos estudados a sua origem verificou-se sempre na artéria cerebelosa ântero-inferior. A artéria labiríntica, ao passar abaixo do meato auditivo interno, divide-se na artéria vestibular anterior e na artéria coclear comum.A artéria vestibular anterior dirige-se para o nervo vestibular, emite vasa nervorum para este nervo e vasculariza o utrículo e os canais semicirculares. A artéria coclear comum origina dois ramos principais, a artéria vestíbulo‑coclear ou vestibular posterior no cobaio, a qual se destaca junto à espira basal da cóclea e a artéria coclear, como ramo terminal, que passa a denominar-se de artéria modiolar ou espiralada, após entrar no modíolo. A artéria modiolar ascende no modíolo promovendo através dos seus ramos colaterais e dos seus ramos terminais a microvascularização coclear, numa vascularização de órgão de tipo terminal. Ao longo do seu trajecto verificou‑se de modo constante uma redução gradual de calibre em cada uma das espiras, por emissão de ramos colaterais, sendo que o calibre da artéria na base da cóclea apresenta um valor que diminui gradualmente até ao ápice. A artéria modiolar origina em todo o seu trajecto ramos colaterais, cujo número diminui em valor absoluto da base para o ápice: Arteríolas radiárias internas, arteríolas de trajecto flexuoso que caminham junto às estruturas sensorioneurais da parede interna da cóclea, junto ao lábio timpânico da lâmina espiral óssea e na parede do próprio modíolo, que se relacionam intimamente com este. As arteríolas radiárias internas originam‑se no flanco da artéria modiolar espiralada. Contam‑se dez a doze em cada espira, extraordinariamente flexuosas desde a sua origem. As arteríolas radiárias internas originam como ramos colaterais, vários grupos de arteríolas de menor calibre, que vascularizam distintas regiões da parede interna da cóclea, as arteríolas do gânglio espiral, a rede espiral interna, as arteríolas de origem dos glomérulos de Schwalbe e a arteríola da lâmina basilar. As arteríolas radiárias externas importantes ramos colaterais da artéria modiolar espiralada promovem a vascularização de importantes estruturas da parede externa. Ao atingir o limite externo do ligamento espiral, as arteríolas radiárias externas dividem‑se em vários ramos arteriolares de menor calibre, ao longo da convexidade do limite externo do ligamento espiral, originando a rede capilar pós-estriada que ocupa a porção lateral do ligamento espiral e a rede capilar ad‑ -estriada, na sua porção mais medial em íntima relação com a estria vascular. A espira basal da cóclea apresenta grande riqueza de vascularização, com características particulares apenas a esta espira, a qual é metabolicamente a mais exigente. A arteríola da janela da cóclea aborda a janela da cóclea pela sua convexidade e divide-se numa rica rede vascular da qual emergem arteríolas pré-capilares que se ramificam em capilares, os quais se dirigem em profundidade penetrando a rampa timpânica da cóclea ao nível da espira basal. Importou neste estudo verificar quais as semelhanças em termos de calibre de estruturas análogas, na parede interna e na parede externa da cóclea, com particular incidência na rede capilar. Do estudo estatístico realizado com testes paramétricos de Tamahane e não paramétricos de Mann-Whitney, verifica-se que comparando todas as estruturas consideradas estas têm calibres diferentes, com excepção dos capilares da estria vascular e do ligamento espiral, pertencentes à parede externa da cóclea que têm calibres iguais aos capilares da rede espiral interna e aos capilares da parede interna da cóclea, dependentes das arteríolas da rede espiral interna. As redes capilares dependentes das arteríolas radiárias internas que vascularizam as estruturas sensorioneurais junto á parede interna do modiolo são em tudo semelhantes em termos de calibre às redes capilares da parede externa da cóclea, incluindo os capilares da estria vascular. Esta particularidade traduz num órgão com vascularização de tipo terminal,um mecanismo de controlo do fluxo sanguíneo coclear tão importante na parede interna como na parede externa da cóclea. ------------ ABSTRACT:Current studies on sensorineural hearing loss, imply a growing group of situations in which the lesion is located at the level of the cochlear microvasculature, hence the exact knowledge of normal angiomorfology becomes essential in current state of knowledge. The author has been studying since 1986, the angiomorfology of inner on the experimental model, the guinea pig, using various microvascular techniques being given particular emphasis in this study to the results of the technique of scanning electron microscopy on corrosion casts. The animals used in this study belong to the species cavia porcellus, guinea pig, to be considered in the international scientific community as the best experimental model for the study of the inner ear, the cochlear morphology is very similar to human and therefore a reliable model for experimental surgery and microdissection. This study was performed in 100 guinea pigs of both sexes with average weight of 450g. There shall be a brief description of embryology, anatomy and cochlear physiology in the light of developmental biology, regarding also the spatial location of the cochlea and the determinism of morphogenetic fields in their development and function. The cochlear transduction mechanism converts the sound wave in stimuli sound and so afferent auditory nerve fibres and deafness are closely related to the cochlear microvasculature. Cochlear ischemia is accompanied by immediate hearing loss. The different type of cochlear injury that leads to sensorineural deafness is well studied in presbycusis where an objective link with the audiometric pattern as been established. The sensory type of deafness, is closely related to the degeneracy of the organ of Corti and damage to the outer hair cells at the basal turn of the cochlea. Keeping in mind cochlear tonotopy with location of high frequency sounds at the level of the base of the cochlea, it explains the audiometric pattern with loss in high frequencies. The neural type of deafness, is characterized by neuronal loss with loss of descendant important neuronal afferents, with audiometric translation on a gradually curve with important loss of auditory discrimination. The metabolic type of deafness results in atrophy of the vascular stria, with consequent change in the potential of the endolymph by decreasing the vascular stria cells and changes in K + recycling mechanism. There is also a change in the morphology of the spiral ligament and the audiometric patern as a flattened curve with loss at all frequencies. Bearing in mind cochlear tonotopy and being characterized all types of sensorineural deafness, we may inquire to what extent the cochlear microvasculature, considering not only the cochlea as a whole but different regions of the inner wall and the outer wall of the cochlea, contributes to deafness. We analysed the entire cochlear morphology on scanning electron microscopy with particular emphasis on bone and membranous cochlea. The inner wall of the cochlea and intramodiolar structures such as the spiral ganglion, the morphology of its cell bodies and their axons are analyzed. The morphology of Corti’s organ is described in detail, with description and large detail of the inner and outer hair cells. Is then presented the study of the microvasculature itself. The spiral modiolar artery is observed with the diaphanization technique and the technique of scanning electron microscopy on corrosion vascular casts. After emergence of collateral branches of the greatest importance, the radiating internal and external arterioles, the modiolar artery gives rise to its terminal branches, the arterioles of the cochear apex. Arterial vasa vasorum and vasa nervorum are displayed with a great detail, which was not yet described in such detail in previous microvascular studies. The arterial radiating arterioles originate in the flank of the spiral modiolar artery in number of ten to twelve in each loop, and they vascularize through their branches the inner wall cochlear sensorineural structures located in the modiolus as the spiral ganglion and structures near the organ of Corti. Their caliber is above 20 μm on the basal turn and in the second loop it decreases to values between 12 and 20 μm, decreasing progressively to the apex of the cochlea.They arise near the modiolus or on their way in the spiral lamina forming vascular loops, and divide without presenting vascular constrictions in their divisions, originating new vascular loops of lower caliber. Internal ratiating arterioles originate as collateral branches several groups of smaller caliber arterioles, which vascularize distinct regions of the inner wall of the cochlea namely, the arterioles of the spiral ganglion, the internal spiral network, the arterioles of origin of the glomeruli of Schwalbe and the arterioles of the basilar membrane. The glomeruli of Schwalbe play an important functional role as relay-stations, in hemodynamic terms, to control the cochlear microvasculature. External radiating arterioles have their origin in the spiral modiolar artery, they are directed towards the outer wall of the cochlea and run through the roof of the scala vestibuli. Above the insertion of Reissner’s membrane on the external wall the external radiating arterioles originate the spiral ligament arterioles, which vascularize the spiral ligament, they divide into several arteriolar branches of smaller caliber, along the convexity of the outer edge of the spiral ligament. The connective tissue of the spiral ligament forms a mesh with supporting function of the highly specialized epithelium, where pericytes were identifiable. Next to its base there is the microvascular network of stria vascularis. The adstriated vascular network which is divided into a capillary network, the capillary network of stria vascularis. The stria vascularis, the only vascularized epithelium of the human body, plays an important role, forming an haemato-labyrintine barrier to assure labyrinthine endocochlear potential and transport of ions, essential for the mechanism of transduction of external hair cells. The cochlear basal turn has a special feature on its external wall, the region of the windows, the round windows giving access to scala tympani and the oval window thatleads into scala vestibuli, and so it is metabolic demanding. For their role in cochlear tonotopy the sensorineural structures and those of the external wall of the cochlea, are particularly vulnerable to hypoxia. Although the complementarity of all the techniques was important for three- -dimensional reconstruction of the microvasculature of the cochlea, the scanning electron microscopy technique, especially when we used the system Semafore was fundamental to perform precise morphometric mesures regarding all vascular structures.Regarding the capillaries of the inner and outer wall of the cochlea networks this technique allowed their characterization in morphometric terms. To conclude the capillaries of the inner wall and of the external wall of the cochlea have similar size. So although located at different cochlear regions, with a different functional role, in cochlear physiology these networks consist of capillaries of similar caliber. It seems to translate a cochlear blood flow control mechanism that is so important in the inner wall as in and the external wall of the cochlea to provide for in inner ear homeosthasia.

Innovation through virtual communities of practice: motivations and constraints in the knowledge-creation process

This paper appears in International Journal of Projectics. Vol 4(1), pp. 39-49

Spatio-temporal analyses of the relationship between armed conflict and climate change in the eastern Africa

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

A description of the Australian early psychosis intervention model and a proposal to establish a Pilot Early Intervention Program in Santa Cruz de la Sierra, Bolívia

RESUMO: Em 2011, a Associação Psiquiátrica Mundial lançou um programa de bolsas de investigação para psiquiatras em início de carreira a partir de países de renda baixa ou média-baixa, no âmbito deste programa, o autor foi selecionado para uma bolsa de pesquisa no Centre for Youth Mental Health/Orygen Youth Health Research Centre da Universidade de Melbourne. Orygen, é a principal organização de pesquisa e tradução do conhecimento do mundo com foco em problemas de saúde mental em pessoas jovens. O estágio foi baseado em Prevenção e Intervenção Precoce Psychosis Centre (EPPIC), que faz parte do Orygen. EPPIC fornece programa de tratamento abrangente e integrada, baseada na comunidade para o primeiro episódio de psicose. Esta dissertação descreve o modelo EPPIC, e seus componentes essenciais e fatores que são necessários para uma implementação de serviço direito. Além disso, uma proposta de criação de um programa-piloto de intervenção psicose precoce é discutido. Este programa inclui um programa de extensão inovadora que combina princípios comerciais sólidos, com metas sociais, a fim de combater especificamente a maior barreira para o tratamento da psicose precoce na Bolívia: o estigma da doença mental. Ao utilizar uma equipe de tratamento móvel, multidisciplinar, que enfatiza os papéis dos gerentes do caso treinados focada em fornecer indivíduo intensiva e apoio familiar no lar, este programa irá prestar cuidados culturalmente apropriados que irá alavancar contribuições de um suprimento limitado de psiquiatras e mudar longe da dependência um sistema médico fragmentado. ---------------------------- ABSTRACT: In 2011, the World Psychiatric Association launched a programme of research fellowships for early-career psychiatrists from low- or lower-middle income countries, within this programme, the author was selected to a research fellowship at the Centre for Youth Mental Health/Orygen Youth Health Research Centre at University of Melbourne. Orygen, is the world’s leading research and knowledge translation organization focusing on mental ill-health in young people. The traineeship was based on Early Psychosis Prevention and Intervention Centre (EPPIC), which is part of Orygen. EPPIC provides comprehensive, integrated, community-based treatment program for first-episode psychosis. This dissertation describes the EPPIC model, and its core components and factors which are necessary to a right service implementation. Additionally, a proposal to establish a pilot early psychosis intervention programme is discussed. This programme includes an innovative outreach programme that combines sound business principals with social goals in order to specifically target the largest barrier to early psychosis treatment in Bolivia: the stigma of mental illness. By utilizing a mobile, multidisciplinary treatment team that emphasizes the roles of trained case managers focused on providing intensive individual and family support in the home, this programme will provide culturally appropriate care that will leverage contributions from a limited supply of psychiatrists and shift dependence away from a fragmented medical system.