Tailoring temporal description logics for reasoning over temporal conceptual models

Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal databases. To automatically check quality properties of conceptual schemas various encoding to Description Logics (DLs) have been proposed in the literature. On the other hand, reasoning on temporally extended DLs turn out to be too complex for effective reasoning ranging from 2ExpTime up to undecidable languages. We propose here to temporalize the ‘light-weight’ DL-Lite logics obtaining nice computational results while still being able to represent various constraints of temporal conceptual models. In particular, we consider temporal extensions of DL-Lite^N_bool, which was shown to be adequate for capturing non-temporal conceptual models without relationship inclusion, and its fragment DL-Lite^N_core with most primitive concept inclusions, which are nevertheless enough to represent almost all types of atemporal constraints (apart from covering)

Stellar feedback from HMXBs in cosmological hydrodynamical simulations

We explored the role of X-ray binaries composed by a black hole and a massive stellar companion (BHXs) as sources of kinetic feedback by using hydrodynamical cosmological simulations. Following previous results, our BHX model selects low metal-poor stars ($Z = [0,10^{-4}]$) as possible progenitors. The model that better reproduces observations assumes that a $\sim 20\%$ fraction of low-metallicity black holes are in binary systems which produce BHXs. These sources are estimated to deposit $\sim 10^{52}$ erg of kinetic energy per event. With these parameters and in the simulated volume, we find that the energy injected by BHXs represents $\sim 30\%$ of the total energy released by SNII and BHX events at redshift $z\sim7$ and then decreases rapidly as baryons get chemically enriched. Haloes with virial masses smaller than $\sim 10^{10} \,M_{\odot}$ (or $T_{\rm vir} \lesssim 10^5$ K) are the most directly affected ones by BHX feedback. These haloes host galaxies with stellar masses in the range $10^7 - 10^8$ M$_\odot$. Our results show that BHX feedback is able to keep the interstellar medium warm, without removing a significant gas fraction, in agreement with previous analytical calculations. Consequently, the stellar-to-dark matter mass ratio is better reproduced at high redshift. Our model also predicts a stronger evolution of the number of galaxies as a function of the stellar mass with redshift when BHX feedback is considered. These findings support previous claims that the BHXs could be an effective source of feedback in early stages of galaxy evolution.Comment: 11 pages, 8 figures, accepted for publication in MNRA

The complexity of clausal fragments of LTL

We introduce and investigate a number of fragments of propositional temporal logic LTL over the flow of time (ℤ, <). The fragments are defined in terms of the available temporal operators and the structure of the clausal normal form of the temporal formulas. We determine the computational complexity of the satisfiability problem for each of the fragments, which ranges from NLogSpace to PTime, NP and PSpace

Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries

A prominent approach to implementing ontology-mediated queries (OMQs) is to rewrite into a first-order query, which is then executed using a conventional SQL database system. We consider the case where the ontology is formulated in the description logic EL and the actual query is a conjunctive query and show that rewritings of such OMQs can be efficiently computed in practice, in a sound and complete way. Our approach combines a reduction with a decomposed backwards chaining algorithm for OMQs that are based on the simpler atomic queries, also illuminating the relationship between first-order rewritings of OMQs based on conjunctive and on atomic queries. Experiments with real-world ontologies show promising results

Evolving Objects in Temporal Information Systems

This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modelling language able to express both timestamping and evolution constraints. We conduct a deeper investigation of evolution constraints, eventually devising a model-theoretic semantics for a full-fledged model with both timestamping and evolution constraints. The proposed formalization is meant both to clarify the meaning of the various temporal constructors that appeared in the literature and to give a rigorous definition, in the context of temporal information systems, to notions like satisfiability, subsumption and logical implication. Furthermore, we show how to express temporal constraints using a subset of first-order temporal logic, i.e. DLRUS, the description logic DLR extended with the temporal operators Since and Until. We show how DLRUS is able to capture the various modelling constraints in a succinct way and to perform automated reasoning on temporal conceptual models

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

Relative dispersion in fully developed turbulence: The Richardson's Law and Intermittency Corrections

Relative dispersion in fully developed turbulence is investigated by means of direct numerical simulations. Lagrangian statistics is found to be compatible with Richardson description although small systematic deviations are found. The value of the Richardson constant is estimated as $C_2 \simeq 0.55$, in a close agreement with recent experimental findings [S. Ott and J. Mann J. Fluid Mech. {\bf 422}, 207 (2000)]. By means of exit-time statistics it is shown that the deviations from Richardson's law are a consequence of Eulerian intermittency. The measured Lagrangian scaling exponents require a set of Eulerian structure function exponents $\zeta_{p}$ which are remarkably close to standard ones known for fully developed turbulence

Development of High Temperature SiC Based Hydrogen/Hydrocarbon Sensors with Bond Pads for Packaging

This paper describes efforts towards the transition of existing high temperature hydrogen and hydrocarbon Schottky diode sensor elements to packaged sensor structures that can be integrated into a testing system. Sensor modifications and the technical challenges involved are discussed. Testing of the sensors at 500 C or above is also presented along with plans for future development

Gravitational wave mergers as tracers of large scale structures

Clustering measurements of Gravitational Wave (GW) mergers in Luminosity Distance Space can be used in the future as a powerful tool for Cosmology. We consider tomographic measurements of the Angular Power Spectrum of mergers both in an Einstein Telescope-like detector network and in some more advanced scenarios (more sources, better distance measurements, better sky localization). We produce Fisher forecasts for both cosmological (matter and dark energy) and merger bias parameters. Our fiducial model for the number distribution and bias of GW events is based on results from hydrodynamical simulations. The cosmological parameter forecasts with Einstein Telescope are less powerful than those achievable in the near future via galaxy clustering observations with, e.g., Euclid. However, in the more advanced scenarios we see significant improvements. Moreover, we show that bias can be detected at high statistical significance. Regardless of the specific constraining power of different experiments, many aspects make this type of analysis interesting anyway