Reasoning about Explanations for Negative Query Answers in DL-Lite

In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for Description Logics, where research has focused on the explanation of both TBox reasoning and, more recently, query answering. Besides explaining the presence of a tuple in a query answer, it is important to explain also why a given tuple is missing. We address the latter problem for instance and conjunctive query answering over DL-Lite ontologies by adopting abductive reasoning; that is, we look for additions to the ABox that force a given tuple to be in the result. As reasoning tasks we consider existence and recognition of an explanation, and relevance and necessity of a given assertion for an explanation. We characterize the computational complexity of these problems for arbitrary, subset minimal, and cardinality minimal explanations

Rewriting Guarded Existential Rules into Small Datalog Programs

The goal of this paper is to understand the relative expressiveness of the query language in which queries are specified by a set of guarded (disjunctive) tuple-generating dependencies (TGDs) and an output (or \u27answer\u27) predicate. Our main result is to show that every such query can be translated into a polynomially-sized (disjunctive) Datalog program if the maximal number of variables in the (disjunctive) TGDs is bounded by a constant. To overcome the challenge that Datalog has no direct means to express the existential quantification present in TGDs, we define a two-player game that characterizes the satisfaction of the dependencies, and design a Datalog query that can decide the existence of a winning strategy for the game. For guarded disjunctive TGDs, we can obtain Datalog rules with disjunction in the heads. However, the use of disjunction is limited, and the resulting rules fall into a fragment that can be evaluated in deterministic single exponential time. We proceed quite differently for the case when the TGDs are not disjunctive and we show that we can obtain a plain Datalog query. Notably, unlike previous translations for related fragments, our translation requires only polynomial time if the maximal number of variables in the (disjunctive) TGDs is bounded by a constant

Verification of Evolving Graph-structured Data under Expressive Path Constraints

Integrity constraints play a central role in databases and, among other applications, are fundamental for preserving data integrity when databases evolve as a result of operations manipulating the data. In this context, an important task is that of static verification, which consists in deciding whether a given set of constraints is preserved after the execution of a given sequence of operations, for every possible database satisfying the initial constraints. In this paper, we consider constraints over graph-structured data formulated in an expressive Description Logic (DL) that allows for regular expressions over binary relations and their inverses, generalizing many of the well-known path constraint languages proposed for semi-structured data in the last two decades. In this setting, we study the problem of static verification, for operations expressed in a simple yet flexible language built from additions and deletions of complex DL expressions. We establish undecidability of the general setting, and identify suitable restricted fragments for which we obtain tight complexity results, building on techniques developed in our previous work for simpler DLs. As a by-product, we obtain new (un)decidability results for the implication problem of path constraints, and improve previous upper bounds on the complexity of the problem

Analysis of Volatile Organic Compounds in the Apollo Next Generation Sample Analysis (ANGSA) 73002 Core Sample

Understanding the organic content of lunar regolith was an early priority upon the return of Apollo samples, with amino acids being of special interest because of their importance to life on Earth and their astrobiological relevance. Many initial studies focused on the detection of amino acids in these samples and attempts to determine the origin of those compounds. Although no consensus on the origin of the amino acids was reached in those early studies, more recent work determined that the detected amino acids originated from both terrestrial contamination and meteoritic or cometary in fall to the lunar surface. A majority of the amino acids in the Apollo samples studied originated from precursor molecules, either indigenous to the lunar samples or contaminants, that reacted during the water extraction and acid hydrolysis process for analysis in the laboratory, but the identities of the amino acid precursors still remain poorly understood. Such precursors could include hydrogen cyanide (HCN) and other volatile organic compounds such as amines, carboxylic acids, or aldehydes and ketones. The identities of these compounds, as well as the effects of years of curation on their abundances in lunar regolith samples stored at ambient temperature under nitrogen gas purge, are not clear. The specially curated samples available through the Apollo Next Generation Sample Analysis (ANGSA) program provide a unique opportunity to use state-of- the-art analytical techniques to examine previously unstudied lunar materials. The ANGSA samples include three types of samples: 1) samples stored frozen since <1 month after Earth arrival; 2) samples stored under helium; and 3) a double drive tube collected by Apollo 17 astronauts, with the bottom portion of the drive tube sealed under vacuum on the Moon and never opened. In contrast to the typically curated Apollo samples that have been kept for decades at room temperature under flowing nitrogen purge that may have significantly reduced the abundance of volatiles, the vacuum-sealed and frozen samples may have enhanced preservation of these volatiles. Our initial investigation examines amino acids and their potential volatile precursors, including hydrogen cyanide (HCN), aldehydes, ketones, amines, and mono-carboxylic acids, in a sample from the top portion of the Apollo 17 double drive tube. These results will aid in understanding the lunar abundances of these molecules and will also be compared to future analyses of other drive tube and frozen ANGSA samples

Compound-specific Carbon Isotope Compositions of Aldehydes and Ketones in the Murchison Meteorite

Compoundspecific carbon isotope analysis (13C) of meteoritic organic compounds can be used to elucidate the abiotic chemical reactions involved in their synthesis. The soluble organic content of the Murchison carbonaceous chondrite has been extensively investigated over the years, with a focus on the origins of amino acids and the potential role of Streckercyanohydrin synthesis in the early solar system. Previous 13C investigations have targeted amino acid and hydroxy acid Strecker products and reactant HCN; however, 13C values for meteoritic aldehydes and ketones (Strecker precursors) have not yet been reported. As such, the distribution of aldehydes and ketones in the cosmos and their role in prebiotic reactions have not been fully investigated. Here, we have applied an optimized O(2,3,4,5,6pentafluorobenzyl)hydroxylamine (PFBHA) derivatization procedure to the extraction, identification, and 13C analysis of carbonyl compounds in the Murchison meteorite. A suite of aldehydes and ketones, dominated by acetaldehyde, propionaldehyde, and acetone, were detected in the sample. 13C values, ranging from 10.0 to +66.4, were more 13Cdepleted than would be expected for aldehydes and ketones derived from the interstellar medium, based on interstellar 12C/13C ratios. These relatively 13Cdepleted values suggest that chemical processes taking place in asteroid parent bodies (e.g., oxidation of the IOM) may provide a secondary source of aldehydes and ketones in the solar system. Comparisons between 13C compositions of meteoritic aldehydes and ketones and other organic compound classes were used to evaluate potential structural relationships and associated reactions, including Strecker synthesis and alterationdriven chemical pathways