Learn More
The purpose of semantic query optimization is to use semantic knowledge (e.g., integrity constraints) for transforming a query into a form that may be answered more efficiently than the original version. In several previous papers we described and proved the correctness of a method for semantic query optimization in deductive databases couched in(More)
and Jezero crater 14. Here we use high-resolution data from the Mars Reconnaissance Orbiter (MRO) to identify clay-rich fluvial–lacustrine sediments within Jezero crater, which has a diameter of 45 km. The crater is an open lake basin on Mars with sedimentary deposits of hydrous minerals sourced from a smectite-rich catchment in the Nili Fossae region. We(More)
Inconsistency is a feature of many kinds of data and knowledge. Furthermore, it is often difficult to know what information is the cause of the inconsistency, and therefore it is difficult to know what information to delete or change. Hence, changes to the information with the aim of gaining in the level of consistency can result in what can be described as(More)
Introduction: Engineering constraints developed for the Mars Exploration Rovers (MER), their translation into ~185 potential landing sites and their down-selection to 6 high priority science sites have been described [1, 2]. These 6 sites (Meridiani-previously referred to as Hematite, Gusev, Isidis, Melas, Eos, and Athabasca) were evaluated in detail as to(More)
There have been a number of proposals for measuring inconsistency in a knowledgebase (i.e. a set of logical formulae). These include measures that consider the minimally inconsistent subsets of the knowl-edgebase, and measures that consider the paraconsistent models (3 or 4 valued models) of the knowledgebase. In this paper, we present a new approach that(More)
Asthma is characterized by bronchial mucosal inflammation. Although allergen-induced activation of cells binding allergen-specific immunoglobulin E (IgE) through high-affinity receptors (Fc(epsilon)RI) is believed to play some role in asthma, inappropriate synthesis of total or allergen-specific IgE cannot be demonstrated in some ("intrinsic") patients(More)
Eotaxin and other CC chemokines acting via CC chemokine receptor-3 (CCR3) are believed to play an integral role in the development of eosinophilic inflammation in asthma and allergic inflammatory diseases. However, little is known about the intracellular events following agonist binding to CCR3 and the relationship of these events to the functional response(More)