We give a solution to the succinctness problem for the size of first-order rewritings of conjunctive queries in ontologybased data access with ontology languages such as OWL 2 QL , linear Datalog± and sticky Datalog±. We show that positive existential and nonrecursive datalog rewritings, which do not use extra non-logical symbols (except for intensional predicates in the case of datalog rewriti...

The straightforward elimination of union types is known to break subject reduction, and for some extensions of the lambda-calculus, to break strong normalization as well. Similarly, the straightforward elimination of implicit existential types breaks subject reduction. We propose elimination rules for union types and implicit existential quantification which use a form call-by-value issued from...

Traditional inconsistency-tolerent query answering in ontology-based data access relies on selecting maximal components of an ABox/database which are consistent with the ontology. However, some rules in ontologies might be unreliable if they are extracted from ontology learning or written by unskillful knowledge engineers. In this paper we present a framework of handling inconsistent existentia...

Research suggests that addressing dying patients' existential concerns can improve their quality of life. We aimed to illuminate dying patients' existential concerns about the impending death through a descriptive analysis of semistructured interviews with 17 patients in Danish hospices. The main findings demonstrated how the patients faced the imminent death without being anxious of death but ...

First-order model counting emerged recently as a novel reasoning task, at the core of efficient algorithms for probabilistic logics. We present a Skolemization algorithm for model counting problems that eliminates existential quantifiers from a first-order logic theory without changing its weighted model count. For certain subsets of first-order logic, lifted model counters were shown to run in...

Anisotropic dielectric response occurs naturally due to the presence of gradation, like in functionally graded materials or graded biological cells. However, these materials with locally anisotropic dielectric responses can have macroscopically isotropic responses. In treating graded particles of anisotropic materials, traditional isotropic gradation methods need to be modified. In this work, w...

We have developed a nonlinear differential effective dipole approximation ~NDEDA!, in an attempt to investigate the effective linear and third-order nonlinear susceptibility of composite media in which graded spherical inclusions with weak nonlinearity are randomly embedded in a linear host medium. Alternatively, based on a first-principles approach, we derived exactly the linear local field in...

Taking the defects of narrow range particle gradation glazed hollow beads and low mechanical strength silica aerogel into consideration, bead have been mixed for composite aggregate insulation mortar. Some measures, such as gradation, were taken to optimize properties formulation, analyzing kinds factors that influence on mortar thoroughly, properties, thermal fire-resistance properties. Under ...

BACKGROUND Existential and spiritual concerns are fundamental issues in palliative care and patients frequently articulate these concerns. The purpose of this study was to understand the process of engaging with existential suffering at the end of life. METHODS A grounded theory approach was used to explore processes in the context of situated interaction and to explore the process of existen...

This talk will report on the results achieved so far in the context of a research programme at the cutting point of logic, formal language theory, and complexity theory. The aim of this research programme is to classify the complexity of evaluating formulas from different prefix classes of second-order logic over different types of finite structures, such as strings, graphs, or arbitrary struct...