35 research outputs found

    On the succinctness of query rewriting over shallow ontologies

    Get PDF
    We investigate the succinctness problem for conjunctive query rewritings over OWL2QL ontologies of depth 1 and 2 by means of hypergraph programs computing Boolean functions. Both positive and negative results are obtained. We show that, over ontologies of depth 1, conjunctive queries have polynomial-size nonrecursive datalog rewritings; tree-shaped queries have polynomial positive existential rewritings; however, in the worst case, positive existential rewritings can be superpolynomial. Over ontologies of depth 2, positive existential and nonrecursive datalog rewritings of conjunctive queries can suffer an exponential blowup, while first-order rewritings can be superpolynomial unless NP ïżœis included in P/poly. We also analyse rewritings of tree-shaped queries over arbitrary ontologies and note that query entailment for such queries is fixed-parameter tractable

    Circuit Complexity Meets Ontology-Based Data Access

    Full text link
    Ontology-based data access is an approach to organizing access to a database augmented with a logical theory. In this approach query answering proceeds through a reformulation of a given query into a new one which can be answered without any use of theory. Thus the problem reduces to the standard database setting. However, the size of the query may increase substantially during the reformulation. In this survey we review a recently developed framework on proving lower and upper bounds on the size of this reformulation by employing methods and results from Boolean circuit complexity.Comment: To appear in proceedings of CSR 2015, LNCS 9139, Springe

    An introduction to description logics and query rewriting

    Get PDF
    This chapter gives an overview of the description logics underlying the OWL 2 Web Ontology Language and its three tractable profiles, OWL 2 RL, OWL 2 EL and OWL 2 QL. We consider the syntax and semantics of these description logics as well as main reasoning tasks and their computational complexity. We also discuss the semantical foundations for fist-order and datalog rewritings of conjunctive queries over knowledge bases given in the OWL2 profiles, and outline the architecture of the ontology-based data access system Ontop

    STYPES: nonrecursive datalog rewriter for linear TGDs and conjunctive queries

    Get PDF
    We present STYPES, a system that rewrites ontology-mediated queries with linear tuple-generating dependencies and conjunctive queries to equivalent nonrecursive datalog (NDL) queries. The main feature of STYPES is that it produces polynomial-size rewritings whenever the treewidth of the input conjunctive queries and the size of the chases for the ontology atoms as well as their arity are bounded; moreover, the rewritings can be constructed and executed in LOGCFL, indicating high parallelisability in theory. We show experimentally that Apache Flink on a cluster of machines with 20 virtual CPUs is indeed able to parallelise execution of a series of NDL-rewritings constructed by STYPES, with the time decreasing proportionally to the number of CPUs available

    Disinfection of Surfaces Contaminated with SARS-CoV-2 Coronavirus by UV Radiation of Low-Pressure Mercury-Vapour Lamp

    Get PDF
    The aim of the work was to determine the effective ultraviolet (UV) doses required for the disinfection of surfaces contaminated with the SARS-CoV-2 coronavirus using a low-pressure mercury lamp. Materials and methods. To carry out prompt disinfection of surfaces, a specially designed source of UV radiation with a power of 7.5 W at a wavelength of 254 nm in the form of a portable flashlight was employed, which has a high efficiency of UV radiation output and the possibility of long-term autonomous operation from a compact battery. In the studies, a suspension culture of the SARS-CoV-2 coronavirus with biological activity of 5.3∙106 PFU/ml was used. The objects of testing were plastic Petri dishes (disposable) and office paper (grade C, density 80 g/m2 ). Results and discussion. Doses of UV radiation that provide disinfection of surfaces contaminated with the COVID-19 pathogen with an efficiency of 99.0 % (paper) to 99.95 % (plastic) have been determined. The results obtained make it possible to recommend a portable UV irradiator for use in the practice of preventive measures to combat the spread of the disease caused by the SARS-CoV-2 coronavirus

    A Secretory Protein of Necrotrophic Fungus Sclerotinia sclerotiorum That Suppresses Host Resistance

    Get PDF
    SSITL (SS1G_14133) of Sclerotinia sclerotiorum encodes a protein with 302 amino acid residues including a signal peptide, its secretion property was confirmed with immunolocalization and immunofluorescence techniques. SSITL was classified in the integrin alpha N-terminal domain superfamily, and its 3D structure is similar to those of human integrin α4-subunit and a fungal integrin-like protein. When S. sclerotiorum was inoculated to its host, high expression of SSITL was detected during the initial stages of infection (1.5-3.0 hpi). Targeted silencing of SSITL resulted in a significant reduction in virulence; on the other hand, inoculation of SSITL silenced transformant A10 initiated strong and rapid defense response in Arabidopsis, the highest expressions of defense genes PDF1.2 and PR-1 appeared at 3 hpi which was 9 hr earlier than that time when plants were inoculated with the wild-type strain of S. sclerotiorum. Systemic resistance induced by A10 was detected by analysis of the expression of PDF1.2 and PR-1, and confirmed following inoculation with Botrytis cinerea. A10 induced much larger lesions on Arabidopsis mutant ein2 and jar1, and slightly larger lesions on mutant pad4 and NahG in comparison with the wild-type plants. Furthermore, both transient and constitutive expression of SSITL in Arabidopsis suppressed the expression of PDF1.2 and led to be more susceptible to A10 and the wild-type strain of S. sclerotiorum and B. cinerea. Our results suggested that SSITL is an effector possibly and plays significant role in the suppression of jasmonic/ethylene (JA/ET) signal pathway mediated resistance at the early stage of infection

    Stable anions of aromatic aminoazo dyes

    No full text

    Sterically hindered aminophenols and quinodiazides

    No full text
    corecore