35 research outputs found
On the succinctness of query rewriting over shallow ontologies
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
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
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
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
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
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