
In ontologybased data access (OBDA), the classical database is enhanced with
an ontology in the form of logical assertions generating new intensional
knowledge. A powerful form of such logical assertions is the tuplegenerating
dependencies (TGDs), also called existential rules, where Horn rules are
extended by allowing existential quantifiers to appear in the rule heads. In
this paper we introduce a new language called loop restricted (LR) TGDs
(existential rules), which are TGDs with certain restrictions on the loops
embedded in the underlying rule set. We study the complexity of this new
language. We show that the conjunctive query answering (CQA) under the LR TGDs
is decid able. In particular, we prove that this language satisfies the
socalled bounded derivationdepth prop erty (BDDP), which implies that the
CQA is firstorder rewritable, and its data complexity is in AC0 . We also
prove that the combined complexity of the CQA is EXPTIME complete, while the
language membership is PSPACE complete. Then we extend the LR TGDs language to
the generalised loop restricted (GLR) TGDs language, and prove that this class
of TGDs still remains to be firstorder rewritable and properly contains most
of other firstorder rewritable TGDs classes discovered in the literature so
far.

The key to photoelectric Xray polarimetry is the determination of the
emission direction of photoelectrons. Because of the low mass of an electron,
the ionisation trajectory is not straight and the useful information needed for
polarimetry is stored mostly in the initial part of the track where less energy
is deposited. We present a new algorithm, based on the shortest path problem in
graph theory, to reconstruct the 2D electron track from the measured image that
is blurred due to transversal diffusion along drift and multiplication in the
gas chamber. Compared with previous methods based on moment analysis, this
algorithm allows us to identify the photoelectric interaction point more
accurately and precisely for complicated tracks resulting from high energy
photons or low pressure chambers. This leads to a better position resolution
and a higher degree of modulation toward high energy Xrays. The new algorithm
is justified using simulations and measurements with the gas pixel detector
(GPD), and it should also work for other polarimetric techniques such as a time
projection chamber (TPC). As the improvement is restricted in the high energy
band, this new algorithm shows limited improvement for the sensitivity of GPD
polarimeters, but it may have a larger potential for lowpressure TPC
polarimeters.

Existential rules, also known as data dependencies in Databases, have been
recently rediscovered as a promising family of languages for Ontologybased
Query Answering. In this paper, we prove that disjunctive embedded dependencies
exactly capture the class of recursively enumerable ontologies in
Ontologybased Conjunctive Query Answering (OCQA). Our expressive completeness
result does not rely on any builtin linear order on the database. To establish
the expressive completeness, we introduce a novel semantic definition for OCQA
ontologies. We also show that neither the class of disjunctive tuplegenerating
dependencies nor the class of embedded dependencies is expressively complete
for recursively enumerable OCQA ontologies.

Traditional inconsistencytolerent query answering in ontologybased 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 existential rules under stable model semantics, which is
defined by a notion called rule repairs to select maximal components of the
existential rules. Surprisingly, for Racyclic existential rules with
Rstratified or guarded existential rules with stratified negations, both the
data complexity and combined complexity of query answering under the rule
{repair semantics} remain the same as that under the conventional query
answering semantics. This leads us to propose several approaches to handle the
rule {repair semantics} by calling answer set programming solvers. An
experimental evaluation shows that these approaches have good scalability of
query answering under rule repairs on realistic cases.

Finite chase, or alternatively chase termination, is an important condition
to ensure the decidability of existential rule languages. In the past few
years, a number of rule languages with finite chase have been studied. In this
work, we propose a novel approach for classifying the rule languages with
finite chase. Using this approach, a family of decidable rule languages, which
extend the existing languages with the finite chase property, are naturally
defined. We then study the complexity of these languages. Although all of them
are tractable for data complexity, we show that their combined complexity can
be arbitrarily high. Furthermore, we prove that all the rule languages with
finite chase that extend the weakly acyclic language are of the same
expressiveness as the weakly acyclic one, while rule languages with higher
combined complexity are in general more succinct than those with lower combined
complexity.

The stable model semantics had been recently generalized to nonHerbrand
structures by several works, which provides a unified framework and solid
logical foundations for answer set programming. This paper focuses on the
expressiveness of normal and disjunctive programs under the general stable
model semantics. A translation from disjunctive programs to normal programs is
proposed for infinite structures. Over finite structures, some disjunctive
programs are proved to be intranslatable to normal programs if the arities of
auxiliary predicates and functions are bounded in a certain way. The
equivalence of the expressiveness of normal programs and disjunctive programs
over arbitrary structures is also shown to coincide with that over finite
structures, and coincide with whether NP is closed under complement. Moreover,
to capture the exact expressiveness, some intertranslatability results between
logic program classes and fragments of secondorder logic are obtained.

This paper focuses on the expressive power of disjunctive and normal logic
programs under the stable model semantics over finite, infinite, or arbitrary
structures. A translation from disjunctive logic programs into normal logic
programs is proposed and then proved to be sound over infinite structures. The
equivalence of expressive power of two kinds of logic programs over arbitrary
structures is shown to coincide with that over finite structures, and coincide
with whether or not NP is closed under complement. Over finite structures, the
intranslatability from disjunctive logic programs to normal logic programs is
also proved if arities of auxiliary predicates and functions are bounded in a
certain way.