Higher-order Representation and Reasoning for Automated Ontology Evolution

Abstract: The GALILEO system aims at realising automated ontology evolution. This is necessary to enable intelligent agents to manipulate their own knowledge autonomously and thus reason and communicate effectively in open, dynamic digital environments characterised by the heterogeneity of data and of representation languages. Our approach is based on patterns of diagnosis of faults detected across multiple ontologies. Such patterns allow to identify the type of repair required when conflicting ontologies yield erroneous inferences. We assume that each ontology is locally consistent, i.e. inconsistency arises only across ontologies when they are merged together. Local consistency avoids the derivation of uninteresting theorems, so the formula for diagnosis can essentially be seen as an open theorem over the ontologies. The system’s application domain is physics; we have adopted a modular formalisation of physics, structured by means of locales in Isabelle, to perform modular higher-order reasoning, and visualised by means of development graphs.

Identification of the proteins, including MAGEG1, that make up the human SMC5-6 protein complex

The SMC protein complexes play important roles in chromosome dynamics. The function of the SMC5-6 complex remains unclear, though it is involved in resolution of different DNA structures by recombination. We have now identified and characterized the four non-SMC components of the human complex and in particular demonstrated that the MAGEG1 protein is part of this complex. MAGE proteins play important but as yet undefined roles in carcinogenesis, apoptosis, and brain development. We show that, with the exception of the SUMO ligase hMMS21/hNSE2, depletion of any of the components results in degradation of all the other components. Depletion also confers sensitivity to methyl methanesulfonate. Several of the components are modified by sumoylation and ubiquitination

Overview of the 2005 cross-language image retrieval track (ImageCLEF)

The purpose of this paper is to outline efforts from the 2005 CLEF crosslanguage image retrieval campaign (ImageCLEF). The aim of this CLEF track is to explore the use of both text and content-based retrieval methods for cross-language image retrieval. Four tasks were offered in the ImageCLEF track: a ad-hoc retrieval from an historic photographic collection, ad-hoc retrieval from a medical collection, an automatic image annotation task, and a user-centered (interactive) evaluation task that is explained in the iCLEF summary. 24 research groups from a variety of backgrounds and nationalities (14 countries) participated in ImageCLEF. In this paper we describe the ImageCLEF tasks, submissions from participating groups and summarise the main fndings

Deep ROSAT Surveys & the contribution of AGNs to the soft X-ray background

The ROSAT Deep Surveys in the Lockman Hole have revealed that AGNs are the main contributors (~75%) to the soft X-ray background in the 1–2 keV band. Using new optical/infrared and radio observations we have obtained a nearly complete identification (93%) of the 91 X-ray sources down to a limiting flux of 1.2·10^(–15) erg cm^(–2) s^(–1) in the 0.5–2.0 keV band. We present the optical colors and the emission line properties of our AGNs in comparison with other X-ray selected AGN samples. Furthermore we discuss the fraction of red AGNs found in the ROSAT Deep Surveys. From the ROSAT Deep Surveys we see no evidence for a new class of X-ray bright galaxies, which significantly contributes to the soft X-ray background

The first-mover advantage in scientific publication

Mathematical models of the scientific citation process predict a strong "first-mover" effect under which the first papers in a field will, essentially regardless of content, receive citations at a rate enormously higher than papers published later. Moreover papers are expected to retain this advantage in perpetuity -- they should receive more citations indefinitely, no matter how many other papers are published after them. We test this conjecture against data from a selection of fields and in several cases find a first-mover effect of a magnitude similar to that predicted by the theory. Were we wearing our cynical hat today, we might say that the scientist who wants to become famous is better off -- by a wide margin -- writing a modest paper in next year's hottest field than an outstanding paper in this year's. On the other hand, there are some papers, albeit only a small fraction, that buck the trend and attract significantly more citations than theory predicts despite having relatively late publication dates. We suggest that papers of this kind, though they often receive comparatively few citations overall, are probably worthy of our attention.Comment: 7 pages, 3 figure

Algebras of Measurements: the logical structure of Quantum Mechanics

In Quantum Physics, a measurement is represented by a projection on some closed subspace of a Hilbert space. We study algebras of operators that abstract from the algebra of projections on closed subspaces of a Hilbert space. The properties of such operators are justified on epistemological grounds. Commutation of measurements is a central topic of interest. Classical logical systems may be viewed as measurement algebras in which all measurements commute. Keywords: Quantum measurements, Measurement algebras, Quantum Logic. PACS: 02.10.-v.Comment: Submitted, 30 page

Nasal administration of glutamate decarboxylase (GAD65) peptides induces Th2 responses and prevents murine insulin-dependent diabetes.

We previously demonstrated that a spontaneous Th1 response against glutamate decarboxylase (GAD65) arises in NOD mice at four weeks in age and subsequently T cell autoimmunity spreads both intramolecularly and intermolecularly. Induction of passive tolerance to GAD65, through inactivation of reactive T cells before the onset of autoimmunity, prevented determinant spreading and the development of insulin-dependent diabetes mellitus (IDDM). Here, we examined whether an alternative strategy, designed to induce active tolerance via the engagement of Th2 immune responses to GAD65, before the spontaneous onset of autoimmunity, could inhibit the cascade of Th1 responses that lead to IDDM. We observed that a single intranasal administration of GAD65 peptides to 2-3-wk-old NOD mice induced high levels of IgG1 antibodies to GAD65. GAD65 peptide treated mice displayed greatly reduced IFN gamma responses and increased IL-5 responses to GAD65, confirming the diversion of the spontaneous GAD65 Th1 response toward a Th2 phenotype. Consistent with the induction of an active tolerance mechanism, splenic CD4+ (but not CD8+) T cells from GAD65 peptide-treated mice, inhibited the adoptive transfer of IDDM to NOD-scid/scid mice. This active mechanism not only inhibited the development of proliferative T cell responses to GAD65, it also limited the expansion of autoreactive T cell responses to other beta cell antigens (i.e., determinant spreading). Finally, GAD65 peptide treatment reduced insulitis and long-term IDDM incidence. Collectively, these data suggest that the nasal administration of GAD65 peptides induces a Th2 cell response that inhibits the spontaneous development of autoreactive Th1 responses and the progression of beta cell autoimmunity in NOD mice