Expressive Stream Reasoning with Laser

An increasing number of use cases require a timely extraction of non-trivial knowledge from semantically annotated data streams, especially on the Web and for the Internet of Things (IoT). Often, this extraction requires expressive reasoning, which is challenging to compute on large streams. We propose Laser, a new reasoner that supports a pragmatic, non-trivial fragment of the logic LARS which extends Answer Set Programming (ASP) for streams. At its core, Laser implements a novel evaluation procedure which annotates formulae to avoid the re-computation of duplicates at multiple time points. This procedure, combined with a judicious implementation of the LARS operators, is responsible for significantly better runtimes than the ones of other state-of-the-art systems like C-SPARQL and CQELS, or an implementation of LARS which runs on the ASP solver Clingo. This enables the application of expressive logic-based reasoning to large streams and opens the door to a wider range of stream reasoning use cases.Comment: 19 pages, 5 figures. Extended version of accepted paper at ISWC 201

Time-Resolved Optical Pump-Resonant X-ray Probe Spectroscopy of 4-Thiouracil: A Simulation Study

We theoretically monitor the photoinduced ∗ → n∗ internal conversion process in 4-thiouracil (4TU), triggered by an optical pump. The element-sensitive spectroscopic signatures are recorded by a resonant X-ray probe tuned to the sulfur, oxygen, or nitrogen K-edge. We employ high-level electronic structure methods optimized for core-excited electronic structure calculation combined with quantum nuclear wavepacket dynamics computed on two relevant nuclear modes, fully accounting for their quantum nature of nuclear motions. We critically discuss the capabilities and limitations of the resonant technique. For sulfur and nitrogen, we document a pre-edge spectral window free from ground-state background and rich with ∗ and n∗ absorption features. The lowest sulfur K-edge shows strong absorption for both ∗ and n*. In the lowest nitrogen K-edge window, we resolve a state-specific fingerprint of the ∗ and an approximate timing of the conical intersection via its depletion. A spectral signature of the n∗ transition, not accessible by UV-vis spectroscopy, is identified. The oxygen K-edge is not sensitive to molecular deformations and gives steady transient absorption features without spectral dynamics. The */n∗ coherence information is masked by more intense contributions from populations. Altogether, element-specific time-resolved resonant X-ray spectroscopy provides a detailed picture of the electronic excited-state dynamics and therefore a sensitive window into the photophysics of thiobases

Electron and ion spectroscopy of azobenzene in the valence and core shells

Azobenzene is a prototype and a building block of a class of molecules of extreme technological interest as molecular photo-switches. We present a joint experimental and theoretical study of its response to irradiation with light across the UV to x-ray spectrum. The study of valence and inner shell photo-ionization and excitation processes combined with measurement of valence photoelectron-photoion coincidence and mass spectra across the core thresholds provides a detailed insight into the site- and state-selected photo-induced processes. Photo-ionization and excitation measurements are interpreted via the multi-configurational restricted active space self-consistent field method corrected by second order perturbation theory. Using static modeling, we demonstrate that the carbon and nitrogen K edges of azobenzene are suitable candidates for exploring its photoinduced dynamics thanks to the transient signals appearing in background-free regions of the NEXAFS and XPS

日本経団連が国家エネルギー戦略確立を提言

This paper describes the outcomes of an ongoing collaboration between Siemens and the University of Oxford, with the goal of facilitating the design of ontologies and their deployment in applications. Ontologies are often used in industry to capture the conceptual information models underpinning applications. We start by describing the role that such models play in two use cases in the manufacturing and energy production sectors. Then, we discuss the formalisation of information models using ontologies, and the relevant reasoning services. Finally, we present SOMM—a tool that supports engineers with little background on semantic technologies in the creation of ontology-based models and in populating them with data. SOMM implements a fragment of OWL 2 RL extended with a form of integrity constraints for data validation, and it comes with support for schema and data reasoning, as well as for model integration. Our preliminary evaluation demonstrates the adequacy of SOMM’s functionality and performance

Environmental enrichment and social isolation mediate neuroplasticity of medium spiny neurons through the GSK3 pathway

Resilience and vulnerability to neuropsychiatric disorders are linked to molecular changes underlying excitability that are still poorly understood. Here, we identify glycogen-synthase kinase 3b (GSK3b) and voltage-gated Na+ channel Nav1.6 as regulators of neuroplasticity induced by environmentally enriched (EC) or isolated (IC) conditions\u2014models for resilience and vulnerability. Transcriptomic studies in the nucleus accumbens from EC and IC rats predicted low levels of GSK3b and SCN8A mRNA as a protective phenotype associated with reduced excitability in medium spiny neurons (MSNs). In vivo genetic manipulations demonstrate that GSK3b and Nav1.6 are molecular determinants of MSN excitability and that silencing of GSK3b prevents maladaptive plasticity of IC MSNs. In vitro studies reveal direct interaction of GSK3b with Nav1.6 and phosphorylation at Nav1.6T1936 by GSK3b. A GSK3b-Nav1.6T1936 competing peptide reduces MSNs excitability in IC, but not EC rats. These results identify GSK3b regulation of Nav1.6 as a biosignature ofMSNs maladaptive plasticity

Cardiopoietic cell therapy for advanced ischemic heart failure: results at 39 weeks of the prospective, randomized, double blind, sham-controlled CHART-1 clinical trial

Cardiopoietic cells, produced through cardiogenic conditioning of patients' mesenchymal stem cells, have shown preliminary efficacy. The Congestive Heart Failure Cardiopoietic Regenerative Therapy (CHART-1) trial aimed to validate cardiopoiesis-based biotherapy in a larger heart failure cohort