Query answering under existential rules — implications with existential quantifiers in the head — is known to be decidable when imposing restrictions on the rule bodies such as frontier-guardedness [Baget et al., 2010; 2011a]. Query answering is also decidable for description logics [Baader, 2003], which further allow disjunction and functionality constraints (assert that certain relations are ...

HSV-1 disease is a significant public health burden causing orofacial, genital, cornea, and brain infection. We previously reported that trivalent HSV-2 gC2, gD2, gE2 nucleoside-modified mRNA-lipid nanoparticle (LNP) vaccine provides excellent protection against vaginal infection in mice. Here, we evaluated whether this as effective similar mRNA LNP containing gC1, gD1, gE1 the murine lip genit...

Background Alterations in vascular relaxation have been reported in various models of hypertension. With its tonic activity, the NO/cGMP signalling cascade plays an important role in the regulation of the vascular tone. In blood vessels, NO is continuously being produced by the endothelial NO synthases (eNOS) which leads to cGMP production by stimulating the NO-sensitive guanylyl cyclases (NO-G...

Draft Background The aim of this paper is to present an outline for discussion upon a new Research Challenge on Opinion Mining and Sentiment Analysis. This research challenge has been developed in the scope of project CROSSOVER “Bridging Communities for Next Generation Policy-Making” in the view of the definition of a new Research Roadmap on ICT Tools for Governance and Policy Making, building ...

Denote by G(r)(n ; k) an r-graph of n vertices and k r-tuples. TurLn’s classical problem states: Determine the smallest integer f(n ;r, I) so that every G(‘)(n ; f (n ; r, I)) contains a K(‘)(I). Turin determined f (n; r, I) for r = 2, but nothing is known for r > 2. Put lim,=., f (n ; r, l)/(y) = cr,l. The values of cr l are not known for r > 2. I prove that to every E > 0 and integer t there ...