An Analysis of Some Relations Among Domain Ontologies

* This paper was made according to the program of fundamental scientific research of the Presidium of the Russian Academy of Sciences «Mathematical simulation and intellectual systems», the project "Theoretical foundation of the intellectual systems based on ontologies for intellectual support of scientific researches".

Ontologies learn by searching

Dissertation to obtain the Master degree in Electrical Engineering and Computer Science

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.

WAIS seminar: Ontologies on the Web: An Alternative Model

Wednesday 2nd April 2014 Speaker(s): Stefan Decker Time: 02/04/2014 11:00-11:50 Location: B2/1083 File size: 897 Mb Abstract Ontologies have been promoted and used for knowledge sharing. Several models for representing ontologies have been developed in the Knowledge Representation field, in particular associated with the Semantic Web. In my talk I will summarise developments so far, and will argue that the currently advocated approaches miss certain basic properties of current distributed information sharing infrastructures (read: the Web and the Internet). I will sketch an alternative model aiming to support knowledge sharing and re-use on a global basis.

Representing the acquisition and use of energy by individuals in agent-based models of animal populations

Summary 1. Agent-based models (ABMs) are widely used to predict how populations respond to changing environments. As the availability of food varies in space and time, individuals should have their own energy budgets, but there is no consensus as to how these should be modelled. Here, we use knowledge of physiological ecology to identify major issues confronting the modeller and to make recommendations about how energy budgets for use in ABMs should be constructed. 2. Our proposal is that modelled animals forage as necessary to supply their energy needs for maintenance, growth and reproduction. If there is sufficient energy intake, an animal allocates the energy obtained in the order: maintenance, growth, reproduction, energy storage, until its energy stores reach an optimal level. If there is a shortfall, the priorities for maintenance and growth/reproduction remain the same until reserves fall to a critical threshold below which all are allocated to maintenance. Rates of ingestion and allocation depend on body mass and temperature. We make suggestions for how each of these processes should be modelled mathematically. 3. Mortality rates vary with body mass and temperature according to known relationships, and these can be used to obtain estimates of background mortality rate. 4. If parameter values cannot be obtained directly, then values may provisionally be obtained by parameter borrowing, pattern-oriented modelling, artificial evolution or from allometric equations. 5. The development of ABMs incorporating individual energy budgets is essential for realistic modelling of populations affected by food availability. Such ABMs are already being used to guide conservation planning of nature reserves and shell fisheries, to assess environmental impacts of building proposals including wind farms and highways and to assess the effects on nontarget organisms of chemicals for the control of agricultural pests. Keywords: bioenergetics; energy budget; individual-based models; population dynamics.

Two mistletoes are too many?: Interspecific occurrence of mistletoes on the same host tree

Mistletoe can have a major impact on the fitness of the host plant. If there is more than one species of mistletoe on the same host tree, the overall impact might be amplified. We report the occurrence of more than one species of mistletoe on the same host tree. Although it is not a rule in the field, to our knowledge, there have been no studies of this topic. In most cases, two species of mistletoe were recorded on the same host tree, although we recorded three species of mistletoe on one occasion. This demonstrates that different species of mistletoe can be compatible with the same host species. Therefore, compatibility (structural and physiological) might be an important factor for the occurrence of mistletoe. Recent studies have shown that if the mistletoe does not recognize the host species, the deposited seeds will germinate but the haustorium will not penetrate the host branch. This is probably the primary mechanism in the establishment of more than one species of mistletoe on the same host, which can trigger a cascade of harmful effects for the host species.

Expression of recombinant Araraquara Hantavirus nucleoprotein in insect cells and its use as an antigen for immunodetection compared to the same antigen expressed in Escherichia coli

Background: Antigens for Hantavirus serological tests have been produced using DNA recombinant technology for more than twenty years. Several different strategies have been used for that purpose. All of them avoid the risks and difficulties involved in multiplying Hantavirus in the laboratory. In Brazil, the Araraquara virus is one of the main causes of Hantavirus Cardio-Pulmonary Syndrome (HCPS). Methods: In this investigation, we report the expression of the N protein of the Araraquara Hantavirus in a Baculovirus Expression System, the use of this protein in IgM and IgG ELISA and comparison with the same antigen generated in E. coli. Results: The protein obtained, and purified in a nickel column, was effectively recognized by antibodies from confirmed HCPS patients. Comparison of the baculovirus generated antigen with the N protein produced in E. coli showed that both were equally effective in terms of sensitivity and specificity. Conclusions: Our results therefore indicate that either of these proteins can be used in serological tests in Brazil.

Genetic divergence is not the same as phenotypic divergence

Far too often, phenotypic divergence has been misinterpreted as genetic divergence, and based on phenotypic divergence, genetic divergence has been indicated. We have attempted to disprove this statement and call for the differentiation of phenotypic and genotypic variation.

FtsH2 and FtsH5: two homologous subunits use different integration mechanisms leading to the same thylakoid multimeric complex

P>The Arabidopsis thylakoid FtsH protease complex is composed of FtsH1/FtsH5 (type A) and FtsH2/FtsH8 (type B) subunits. Type A and type B subunits display a high degree of sequence identity throughout their mature domains, but no similarity in their amino-terminal targeting peptide regions. In chloroplast import assays, FtsH2 and FtsH5 were imported and subsequently integrated into thylakoids by a two-step processing mechanism that resulted in an amino-proximal lumenal domain, a single transmembrane anchor, and a carboxyl proximal stromal domain. FtsH2 integration into washed thylakoids was entirely dependent on the proton gradient, whereas FtsH5 integration was dependent on NTPs, suggesting their integration by Tat and Sec pathways, respectively. This finding was corroborated by in organello competition and by antibody inhibition experiments. A series of constructs were made in order to understand the molecular basis for different integration pathways. The amino proximal domains through the transmembrane anchors were sufficient for proper integration as demonstrated with carboxyl-truncated versions of FtsH2 and FtsH5. The mature FtsH2 protein was found to be incompatible with the Sec machinery as determined with targeting peptide-swapping experiments. Incompatibility does not appear to be determined by any specific element in the FtsH2 domain as no single domain was incompatible with Sec transport. This suggests an incompatible structure that requires the intact FtsH2. That the highly homologous type A and type B subunits of the same multimeric complex use different integration pathways is a striking example of the notion that membrane insertion pathways have evolved to accommodate structural features of their respective substrates.

Communication and camouflage with the same 'bright' colours in reef fishes

Reef fishes present the observer with the most diverse and stunning assemblage of animal colours anywhere on earth. The functions of some of these colours and their combinations are examined using new non-subjective spectrophotometer ic measurements of the colours of fishes and their habitat. Conclusions reached are as follows: (i) the spectra of colours in high spatial frequency patterns are often well designed to be very conspicuous to a colour vision system at close range but well camouflaged at a distance; (ii) blue and yellow the most frequently used colours in reef fishes, may be good for camouflage or communication depending on the background they are viewed against; and (iii) reef fishes use a combination of colour and behaviour to regulate their conspicuousness and crypsis.

Epidemiological and molecular evidence supports the zoonotic transmission of Glardia among humans and dogs living in the same community

Giardia duodenalis isolates recovered from humans and clogs living in the same locality in a remote tea-growing community of northeast India were characterized at 3 different loci; the SSU-rDNA, elongation factor 1-alpha (ef1-alpha) and triose phosphate isomerase (tpi) gene. Phylogenetic analysis of the SSU-rDNA and ef1-alpha genes provided poor genetic resolution of the isolates within various assemblages, stressing the importance of using multiple loci when inferring genotypes to Giardia. Analysis of the tpi gene provided better genetic resolution and placed canine Giardia isolates within the genetic groupings of human isolates (Assemblages A and B). Further evidence for zoonotic transmission was supported by epidemiological data showing a highly significant association between the prevalence of Giardia in humans and presence of it Giardia-positive dog in the same household (odds ratio 3.01, 95%) CI, 1.11, 8.39, P = 0.0000).

The influence of the amount of sunscreen applied and its sun protection factor (SPF): evaluation of two sunscreens including the same ingredients at different concentrations

Background To estimate labeled sun protection factor (SPF) for sunscreen, the amount of product applied on volunteers, according to food and drug administration (FDA) and International protocols, is 2 mg/cm(2). However, different studies have shown that consumers actually apply much less product when exposed to the sun. Previous studies have reported contradictory findings in an attempt to correlate the amount applied in relation to SPF. The objective of the present study was to estimate the influence of the quantity of sunscreen applied in the determination of SPF, according to the FDA methodology. Subjects and methods Forty volunteers were included in two groups (SPF 15 and 30). The selected sunscreen was then applied in four different quantities (2, 1.5, 1.0 and 0.5 mg/cm(2)). All areas were irradiated with a solar simulator. After 24 h, the minimal erythemal dose (MED) and SPF were determined. Results In both groups, we observed that the SPF decreased when the amount of sunscreen applied was decreased. The differences between the 2 mg/cm(2) area and the others were significant in both groups (P < 0.001). The correlation between specified SPF and applied amount grew exponentially. Conclusion The protection provided by sunscreen is related to the amount of product applied. It is essential to educate consumers to apply larger amounts of sunscreen for adequate photoprotection.

Anaphylactic reaction induced by a polysulfone/polyvinylpyrrolidone membrane in the 10th session of hemodialysis with the same dialyzer

The majority of severe hypersensitivity reactions in hemodialysis patients have occurred due to sensitization to ethylene oxide or to nonbiocompatible membrane dialyzers. The use of polysulfone dialyzers rarely causes hypersensitivity reactions. In the present study, we describe a case of severe life-threatening reactions induced by polysulfone dialyzers (from different manufacturers subjected to a variety of sterilization methods), which occurred after 9 sessions of hemodialysis with the same prescription, exemplifying the complexity of such reactions.