A framework for explaining query answers in dl-lite

An Ontology-based Data Access system is constituted by an ontology, namely a description of the concepts and the relations in a domain of interest, a database storing facts about the domain, and a mapping between the data and the ontology. In this paper, we consider ontologies expressed in the popular DL-Lite family of Description Logic, and we address the problem of computing explanations for answers to queries in an OBDA system, where queries are either positive, in particular conjunctive queries, or negative, i.e., negation of conjunctive queries. We provide the following contributions: (i) we propose a formal, comprehensive framework of explaining query answers in OBDA systems based on DL-Lite; (ii) we present an algorithm that, given a tuple returned as an answer to a positive query, and given a weighting function, examines all the explanations of the answer, and chooses the best explanation according to such function; (iii) we do the same for the answers to negative queries. Notably, on the way to get the latter result, we present what appears to be the first algorithm that computes the answers to negative queries in DL-Lite

Advanced diagnostics and innovative solutions for leather defects: the problem of yellowing

Content: Providing peculiar enhanced features to leather items is a factor of primary importance for the marketing of high-end articles; although the tanning production is oriented to satisfy a wide market range, it is mainly in the 'high end' and 'premium luxury' categories that the quality properties of the material are more expressed, indeed, and where the main current challenges have been focalized, in terms of technological innovation, sustainability and product quality. The light-coloured leathers belongs to the category of materials designed especially for the luxury market. For this type of articles, the uniformity of the colour and the agreeableness of the overall surface appearance are crucial requirements for the most of international fashion and luxury brands. One of the most common and undesirable defects of this type of article is the alteration of the color, with particular reference to the effects of yellowing of the surface of the material. There are several causes able to contribute to this type of defects, due to the complexity of the matrix and to the variability of traditional or innovative production processes used: from the fragility, photosensitivity and thermo-sensitivity of the finishing polymers, to the chemical instability of some finishing pigments, further than the presence of photosensitive additives, the migration of skin components or assembly components of the articles (fats, fillers, plasticizers, glues, etc.), up to the indirect contribution of environmental and thermo-climatic factors able to affect negatively the performance of the material. SSIP, which has always been involved in research and consulting activities for the leather industry with regards to defect monitoring, through this work, would offer an overview of all the main tools for advanced diagnostics (with particular reference to Scanning Electronic Microscopy and to chromatographic and spectroscopic methods) aimed to the identification of the causes of yellowing, beside to explore innovative solutions for the development of strategies for the resolution and / or minimization of the problem of yellowing. The technical solutions will include innovative tanning processes, innovative finishing methods, and leather surface treatments carried out in order to provide a sensible attenuation of surface absorption of IR (infrared) and UV (ultraviolet)-visible radiation. Take-Away: Advanced Diagnostics and innovative solutions for leather yellowin

Beyond-mean-field description of a trapped unitary Fermi gas with mass and population imbalance

A detailed description is given of the phase diagram for a two-component unitary Fermi gas with mass and population imbalance, for both homogeneous and trapped systems. This aims at providing quantitative benchmarks for the normal-to-superfluid phase transition of a mass-imbalanced Fermi gas in the temperature-polarization parameter space. A self-consistent t-matrix approach is adopted, which has already proven to accurately describe the thermodynamic properties of the mass and population balanced unitary Fermi gas. Our results provide a guideline for the ongoing experiments on heteronuclear Fermi mixtures.Comment: 10 pages, 10 figures, final versio

Regulation of expression of two LY-6 family genes by intron retention and transcription induced chimerism.

RIGHTS : This article is licensed under the BioMed Central licence at http://www.biomedcentral.com/about/license which is similar to the 'Creative Commons Attribution Licence'. In brief you may : copy, distribute, and display the work; make derivative works; or make commercial use of the work - under the following conditions: the original author must be given credit; for any reuse or distribution, it must be made clear to others what the license terms of this work are.BACKGROUND: Regulation of the expression of particular genes can rely on mechanisms that are different from classical transcriptional and translational control. The LY6G5B and LY6G6D genes encode LY-6 domain proteins, whose expression seems to be regulated in an original fashion, consisting of an intron retention event which generates, through an early premature stop codon, a non-coding transcript, preventing expression in most cell lines and tissues. RESULTS: The MHC LY-6 non-coding transcripts have shown to be stable and very abundant in the cell, and not subject to Nonsense Mediated Decay (NMD). This retention event appears not to be solely dependent on intron features, because in the case of LY6G5B, when the intron is inserted in the artificial context of a luciferase expression plasmid, it is fully spliced but strongly stabilises the resulting luciferase transcript. In addition, by quantitative PCR we found that the retained and spliced forms are differentially expressed in tissues indicating an active regulation of the non-coding transcript. EST database analysis revealed that these genes have an alternative expression pathway with the formation of Transcription Induced Chimeras (TIC). This data was confirmed by RT-PCR, revealing the presence of different transcripts that would encode the chimeric proteins CSNKbeta-LY6G5B and G6F-LY6G6D, in which the LY-6 domain would join to a kinase domain and an Ig-like domain, respectively. CONCLUSION: In conclusion, the LY6G5B and LY6G6D intron-retained transcripts are not subjected to NMD and are more abundant than the properly spliced forms. In addition, these genes form chimeric transcripts with their neighbouring same orientation 5' genes. Of interest is the fact that the 5' genes (CSNKbeta or G6F) undergo differential splicing only in the context of the chimera (CSNKbeta-LY6G5B or G6F-LY6G6C) and not on their own

Verification of Hierarchical Artifact Systems

Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich body of research in academia, focused primarily on static analysis. The present work represents a significant advance on the problem of artifact verification, by considering a much richer and more realistic model than in previous work, incorporating core elements of IBM's successful Guard-Stage-Milestone model. In particular, the model features task hierarchy, concurrency, and richer artifact data. It also allows database key and foreign key dependencies, as well as arithmetic constraints. The results show decidability of verification and establish its complexity, making use of novel techniques including a hierarchy of Vector Addition Systems and a variant of quantifier elimination tailored to our context.Comment: Full version of the accepted PODS pape

Ontology-based data access with databases: a short course

Ontology-based data access (OBDA) is regarded as a key ingredient of the new generation of information systems. In the OBDA paradigm, an ontology defines a high-level global schema of (already existing) data sources and provides a vocabulary for user queries. An OBDA system rewrites such queries and ontologies into the vocabulary of the data sources and then delegates the actual query evaluation to a suitable query answering system such as a relational database management system or a datalog engine. In this chapter, we mainly focus on OBDA with the ontology language OWL 2QL, one of the three profiles of the W3C standard Web Ontology Language OWL 2, and relational databases, although other possible languages will also be discussed. We consider different types of conjunctive query rewriting and their succinctness, different architectures of OBDA systems, and give an overview of the OBDA system Ontop

Proliferation of cerebellar precursor cells is negatively regulated by nitric oxide in newborn rat.

The diffusible messenger, nitric oxide plays multiple roles in neuroprotection, neurodegeneration and brain plasticity. Its involvement in neurogenesis has been disputed, on the basis of results on models in vivo and in culture. We report here that pharmacological blockade of nitric oxide production in rat pups resulted, during a restricted time window of the first three postnatal days, in increased cerebellar proliferation rate, as assessed through tritiated thymidine or BrdU incorporation into DNA. This was accompanied by increased expression of Myc, a transcription factor essential for cerebellar development, and of the cell cycle regulating gene, cyclin D1. These effects were mediated downstream by the nitric oxide-dependent second messenger, cGMP. Schedules of pharmacological NO deprivation targeted to later developmental stages (from postnatal day 3 to 7), no longer increased proliferation, probably because of partial escape of the cGMP level from nitric oxide control. Though limited to a brief temporal window, the proliferative effect of neonatal nitric oxide deprivation could be traced into adulthood. Indeed, the number of BrdU-labeled surviving cells, most of which were of neuronal phenotype, was larger in the cerebellum of 60-day-old rats that had been subjected to NO deprivation during the first three postnatal days than in control rats. Experiments on cell cultures from neonatal cerebellum confirmed that nitric oxide deprivation stimulated proliferation of cerebellar precursor cells and that this effect was not additive with the proliferative action of sonic hedgehog peptide. The finding that nitric oxide deprivation during early cerebellar neurogenesis, stimulates a brief increase in cell proliferation may contribute to a better understanding of the controversial role of nitric oxide in brain development

1.6 Radiofrequency catheter ablation in paediatric age: For nodal re-entry tachycardia and atrio-ventricular re-entry tachycardia

n/