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

The Environmental Impacts of Radio Frequency and Power Line Communication for Advanced Metering Infrastructures in Smart Grids

In the neighborhood area network (NAN), the advanced metering infrastructure (AMI) enables a bidirectional connection between the smart meter (SM) and the data concentrator (DC). Sensors, such as smart meter nodes or environmental sensor nodes, play a crucial role in measuring and transmitting data to central units for advanced monitoring, management, and analysis of energy consumption. Wired and wireless communication technologies are used to implement the AMI-NAN. This paper delves into a novel approach for optimizing the choice of communication medium, air for radio frequency (RF) or power lines for power line communication (PLC), between the SM and DC in the context of the AMI-NAN. The authors methodically select the specific technologies, RF and NB-PLC (narrowband power line communication), and meticulously characterize their attributes. Then, a comparative analysis spanning rural, urban, and industrial settings is conducted to evaluate the proposed method. The overall reliability performance of the AMI-NAN system requires a packet error rate (PER) lower than 10%. To this end, an efficient approach is introduced to assess and enhance the reliability of NB-PLC and RF for AMI-NAN applications. Simulation results demonstrate that wireless communication is the optimal choice for the rural scenario, especially for a signal-to-noise ratio (SNR) lower than 25 dB. However, in urban environments characterized by higher SNR values and moderately dense networks, NB-PLC gains prominence. In denser networks, it outperforms wireless communication, exhibiting a remarkable 10 dB gain for a bit error rate (BER) of 10−3. Moreover, in industrial zones characterized by intricate network topologies and non-linear loads, the power line channel emerges as the optimal choice for data transmission

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

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

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

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