Hybrid Rules with Well-Founded Semantics

A general framework is proposed for integration of rules and external first order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas of Constraint Logic Programming (CLP) and constructive negation for logic programs. Hybrid rules are normal clauses extended with constraints in the bodies; constraints are certain formulae in the language of the external theory. A hybrid program is a pair of a set of hybrid rules and an external theory. Instances of the framework are obtained by specifying the class of external theories, and the class of constraints. An example instance is integration of (non-disjunctive) Datalog with ontologies formalized as description logics. The paper defines a declarative semantics of hybrid programs and a goal-driven formal operational semantics. The latter can be seen as a generalization of SLS-resolution. It provides a basis for hybrid implementations combining Prolog with constraint solvers. Soundness of the operational semantics is proven. Sufficient conditions for decidability of the declarative semantics, and for completeness of the operational semantics are given

Extended RDF: Computability and Complexity Issues

ERDF stable model semantics is a recently proposed semantics for ERDF ontologies and a faithful extension of RDFS semantics on RDF graphs. In this paper, we elaborate on the computability and complexity issues of the ERDF stable model semantics. Based on the undecidability result of ERDF stable model semantics, decidability under this semantics cannot be achieved, unless ERDF ontologies of restricted syntax are considered. Therefore, we propose a slightly modified semantics for ERDF ontologies, called ERDF #n- stable model semantics. We show that entailment under this semantics is, in general, decidable and also extends RDFS entailment. Equivalence statements between the two semantics are provided. Additionally, we provide algorithms that compute the ERDF #n-stable models of syntax-restricted and general ERDF ontologies. Further, we provide complexity results for the ERDF #nstable model semantics on syntax-restricted and general ERDF ontologies. Finally, we provide complexity results for the ERDF stable model semantics on syntax-restricted ERDF ontologies

Network Archaeology: Uncovering Ancient Networks from Present-day Interactions

Often questions arise about old or extinct networks. What proteins interacted in a long-extinct ancestor species of yeast? Who were the central players in the Last.fm social network 3 years ago? Our ability to answer such questions has been limited by the unavailability of past versions of networks. To overcome these limitations, we propose several algorithms for reconstructing a network's history of growth given only the network as it exists today and a generative model by which the network is believed to have evolved. Our likelihood-based method finds a probable previous state of the network by reversing the forward growth model. This approach retains node identities so that the history of individual nodes can be tracked. We apply these algorithms to uncover older, non-extant biological and social networks believed to have grown via several models, including duplication-mutation with complementarity, forest fire, and preferential attachment. Through experiments on both synthetic and real-world data, we find that our algorithms can estimate node arrival times, identify anchor nodes from which new nodes copy links, and can reveal significant features of networks that have long since disappeared.Comment: 16 pages, 10 figure

Next-to-eikonal corrections to soft gluon radiation: a diagrammatic approach

We consider the problem of soft gluon resummation for gauge theory amplitudes and cross sections, at next-to-eikonal order, using a Feynman diagram approach. At the amplitude level, we prove exponentiation for the set of factorizable contributions, and construct effective Feynman rules which can be used to compute next-to-eikonal emissions directly in the logarithm of the amplitude, finding agreement with earlier results obtained using path-integral methods. For cross sections, we also consider sub-eikonal corrections to the phase space for multiple soft-gluon emissions, which contribute to next-to-eikonal logarithms. To clarify the discussion, we examine a class of log(1 - x) terms in the Drell-Yan cross-section up to two loops. Our results are the first steps towards a systematic generalization of threshold resummations to next-to-leading power in the threshold expansion.Comment: 66 pages, 19 figure

Toward unsupervised outbreak detection through visual perception of new patterns

<p>Abstract</p> <p>Background</p> <p>Statistical algorithms are routinely used to detect outbreaks of well-defined syndromes, such as influenza-like illness. These methods cannot be applied to the detection of emerging diseases for which no preexisting information is available.</p> <p>This paper presents a method aimed at facilitating the detection of outbreaks, when there is no a priori knowledge of the clinical presentation of cases.</p> <p>Methods</p> <p>The method uses a visual representation of the symptoms and diseases coded during a patient consultation according to the International Classification of Primary Care 2^ndversion (ICPC-2). The surveillance data are transformed into color-coded cells, ranging from white to red, reflecting the increasing frequency of observed signs. They are placed in a graphic reference frame mimicking body anatomy. Simple visual observation of color-change patterns over time, concerning a single code or a combination of codes, enables detection in the setting of interest.</p> <p>Results</p> <p>The method is demonstrated through retrospective analyses of two data sets: description of the patients referred to the hospital by their general practitioners (GPs) participating in the French Sentinel Network and description of patients directly consulting at a hospital emergency department (HED).</p> <p>Informative image color-change alert patterns emerged in both cases: the health consequences of the August 2003 heat wave were visualized with GPs' data (but passed unnoticed with conventional surveillance systems), and the flu epidemics, which are routinely detected by standard statistical techniques, were recognized visually with HED data.</p> <p>Conclusion</p> <p>Using human visual pattern-recognition capacities to detect the onset of unexpected health events implies a convenient image representation of epidemiological surveillance and well-trained "epidemiology watchers". Once these two conditions are met, one could imagine that the epidemiology watchers could signal epidemiological alerts, based on "image walls" presenting the local, regional and/or national surveillance patterns, with specialized field epidemiologists assigned to validate the signals detected.</p

Consumption patterns of sweet drinks in a population of Australian children and adolescents (2003–2008)

<p>Abstract</p> <p>Background</p> <p>Intake of sweet drinks has previously been associated with the development of overweight and obesity among children and adolescents. The present study aimed to assess the consumption pattern of sweet drinks in a population of children and adolescents in Victoria, Australia.</p> <p>Methods</p> <p>Data on 1,604 children and adolescents (4–18 years) from the comparison groups of two quasi-experimental intervention studies from Victoria, Australia were analysed<it>.</it> Sweet drink consumption (soft drink and fruit juice/cordial) was assessed as one day’s intake and typical intake over the last week or month at two time points between 2003 and 2008 (mean time between measurement: 2.2 years).</p> <p>Results</p> <p>Assessed using dietary recalls, more than 70% of the children and adolescents consumed sweet drinks, with no difference between age groups (p = 0.28). The median intake among consumers was 500 ml and almost a third consumed more than 750 ml per day. More children and adolescents consumed fruit juice/cordial (69%) than soft drink (33%) (p < 0.0001) and in larger volumes (median intake fruit juice/cordial: 500 ml and soft drink: 375 ml). Secular changes in sweet drink consumption were observed with a lower proportion of children and adolescents consuming sweet drinks at time 2 compared to time 1 (significant for age group 8 to <10 years, p = 0.001).</p> <p>Conclusion</p> <p>The proportion of Australian children and adolescents from the state of Victoria consuming sweet drinks has been stable or decreasing, although a high proportion of this sample consumed sweet drinks, especially fruit juice/cordial at both time points.</p

Comparative chromosome painting discloses homologous Segments in distantly related mammals

Comparative chromosome painting, termed ZOO-FISH, using DNA libraries from flow sorted human chromosomes 1,16,17 and X, and mouse chromosome 11 discloses the presence of syntenic groups in distantly related mammalian Orders ranging from primates (Homo sapiens), rodents (Mus musculus), even-toed ungulates (Muntiacus muntjak vaginalis and Muntiacus reevesi) and whales (Balaenoptera physalus). These mammalian Orders have evolved separately for 55-80 million years (Myr). We conclude that ZOO-FISH can be used to generate comparative chromosome maps of a large number of mammalian species

Global and regional brain metabolic scaling and its functional consequences

Background: Information processing in the brain requires large amounts of metabolic energy, the spatial distribution of which is highly heterogeneous reflecting complex activity patterns in the mammalian brain. Results: Here, it is found based on empirical data that, despite this heterogeneity, the volume-specific cerebral glucose metabolic rate of many different brain structures scales with brain volume with almost the same exponent around -0.15. The exception is white matter, the metabolism of which seems to scale with a standard specific exponent -1/4. The scaling exponents for the total oxygen and glucose consumptions in the brain in relation to its volume are identical and equal to $0.86\pm 0.03$, which is significantly larger than the exponents 3/4 and 2/3 suggested for whole body basal metabolism on body mass. Conclusions: These findings show explicitly that in mammals (i) volume-specific scaling exponents of the cerebral energy expenditure in different brain parts are approximately constant (except brain stem structures), and (ii) the total cerebral metabolic exponent against brain volume is greater than the much-cited Kleiber's 3/4 exponent. The neurophysiological factors that might account for the regional uniformity of the exponents and for the excessive scaling of the total brain metabolism are discussed, along with the relationship between brain metabolic scaling and computation.Comment: Brain metabolism scales with its mass well above 3/4 exponen

Retinal glycoprotein enrichment by concanavalin a enabled identification of novel membrane autoantigen synaptotagmin-1 in equine recurrent uveitis.

Complete knowledge of autoantigen spectra is crucial for understanding pathomechanisms of autoimmune diseases like equine recurrent uveitis (ERU), a spontaneous model for human autoimmune uveitis. While several ERU autoantigens were identified previously, no membrane protein was found so far. As there is a great overlap between glycoproteins and membrane proteins, the aim of this study was to test whether pre-enrichment of retinal glycoproteins by ConA affinity is an effective tool to detect autoantigen candidates among membrane proteins. In 1D Western blots, the glycoprotein preparation allowed detection of IgG reactions to low abundant proteins in sera of ERU patients. Synaptotagmin-1, a Ca2+-sensing protein in synaptic vesicles, was identified as autoantigen candidate from the pre-enriched glycoprotein fraction by mass spectrometry and was validated as a highly prevalent autoantigen by enzyme-linked immunosorbent assay. Analysis of Syt1 expression in retinas of ERU cases showed a downregulation in the majority of ERU affected retinas to 24%. Results pointed to a dysregulation of retinal neurotransmitter release in ERU. Identification of synaptotagmin-1, the first cell membrane associated autoantigen in this spontaneous autoimmune disease, demonstrated that examination of tissue fractions can lead to the discovery of previously undetected novel autoantigens. Further experiments will address its role in ERU pathology