Abstract:Query containment and query answering are two important computational tasks in databases. While query answering amounts to compute the result of a query over a database, query containment is the problem of checking whether for every database, the result of one query is a subset of the result of another query. In this paper, we deal with unions of conjunctive queries, and we address query containment and query answering under Description Logic constraints. Every such constraint is essentially an inclusion dependencies between concepts and relations, and their expressive power is due to the possibility of using complex expressions, e.g., intersection and difference of relations, special forms of quantification, regular expressions over binary relations, in the specification of the dependencies. These types of constraints capture a great variety of data models, including the relational, the entity-relationship, and the object-oriented model, all extended with various forms of constraints, and also the basic features of the ontology languages used in the context of the Semantic Web. We present the following results on both query containment and query answering. We provide a method for query containment under Description Logic constraints, thus showing that the problem is decidable, and analyze its computational complexity. We prove that query containment is undecidable in the case where we allow inequalities in the right-hand side query, even for very simple constraints and queries. We show that query answering under Description Logic constraints can be reduced to query containment, and illustrate how such a reduction provides upper bound results with respect to both combined and data complexity.

Conjunctive Queries for Logic-Based Information Extraction

The expressive language ALCNHR+K(D) for knowledge reasoning

Languages Generated by Conjunctive Query Fragments of FC

Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!

Conjunctive Query Containment and Answering under Description Logics Constraints

Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics

Linear Programs with Conjunctive Database Queries

Enumeration and updates for conjunctive linear algebra queries through expressibility

Connected Components and Disjunctive Existential Rules

Tractable Conjunctive Queries over Static and Dynamic Relations

Completeness for Two Left-Sequential Logics

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics

Implicitly Learning to Reason in First-Order Logic

Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution

Combining Existential Rules and Transitivity: Next Steps

On the role of logical separability in knowledge compilation

Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings

Completeness of two fragments of a logic for conditional strategic reasoning

VQA-LOL: Visual Question Answering under the Lens of Logic

Combining fragments of classical logic: When are interaction principles needed?

Sequent Calculi for Choice Logics