scholarly journals Towards Universal Languages for Tractable Ontology Mediated Query Answering

2020 ◽  
Vol 34 (03) ◽  
pp. 3049-3056
Author(s):  
Heng Zhang ◽  
Yan Zhang ◽  
Jia-Huai You ◽  
Zhiyong Feng ◽  
Guifei Jiang
Keyword(s):  
Query Languages ◽  
Query Answering ◽  
Data Complexity ◽  
Conjunctive Queries ◽  
Negative Side ◽  
First Order ◽  
Positive Side ◽  
Universal Language ◽  
Ontology Language ◽  
The Family

An ontology language for ontology mediated query answering (OMQA-language) is universal for a family of OMQA-languages if it is the most expressive one among this family. In this paper, we focus on three families of tractable OMQA-languages, including first-order rewritable languages and languages whose data complexity of the query answering is in AC0 or PTIME. On the negative side, we prove that there is, in general, no universal language for each of these families of languages. On the positive side, we propose a novel property, the locality, to approximate the first-order rewritability, and show that there exists a language of disjunctive embedded dependencies that is universal for the family of OMQA-languages with locality. All of these results apply to OMQA with query languages such as conjunctive queries, unions of conjunctive queries and acyclic conjunctive queries.

scholarly journals Answering Conjunctive Queries with Inequalities in DL-Liteℛ

2020 ◽  
Vol 34 (03) ◽  
pp. 2782-2789
Author(s):  
Gianluca Cima ◽  
Maurizio Lenzerini ◽  
Antonella Poggi
Keyword(s):  
Description Logic ◽  
Query Language ◽  
Query Answering ◽  
Data Complexity ◽  
Conjunctive Queries ◽  
Complexity Bounds ◽  
Ontology Language

In the context of the Description Logic DL-Liteℛ≠, i.e., DL-Liteℛ without UNA and with inequality axioms, we address the problem of adding to unions of conjunctive queries (UCQs) one of the simplest forms of negation, namely, inequality. It is well known that answering conjunctive queries with unrestricted inequalities over DL-Liteℛ ontologies is in general undecidable. Therefore, we explore two strategies for recovering decidability, and, hopefully, tractability. Firstly, we weaken the ontology language, and consider the variant of DL-Liteℛ≠ corresponding to rdfs enriched with both inequality and disjointness axioms. Secondly, we weaken the query language, by preventing inequalities to be applied to existentially quantified variables, thus obtaining the class of queries named UCQ≠,bs. We prove that in the two cases, query answering is decidable, and we provide tight complexity bounds for the problem, both for data and combined complexity. Notably, the results show that answering UCQ≠,bs over DL-Liteℛ≠ ontologies is still in AC0 in data complexity.

scholarly journals Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies

2013 ◽  
Vol 47 ◽  
pp. 741-808 ◽  
Author(s):  
B. Cuenca Grau ◽  
I. Horrocks ◽  
M. Krötzsch ◽  
C. Kupke ◽  
D. Magka ◽  
...  
Keyword(s):  
Knowledge Representation ◽  
Sufficient Conditions ◽  
Query Answering ◽  
Conjunctive Queries ◽  
Practical Solution ◽  
Ontology Language ◽  
Lower Complexity ◽  
The Given ◽  
Theoretical Side

Answering conjunctive queries (CQs) over a set of facts extended with existential rules is a prominent problem in knowledge representation and databases. This problem can be solved using the chase algorithm, which extends the given set of facts with fresh facts in order to satisfy the rules. If the chase terminates, then CQs can be evaluated directly in the resulting set of facts. The chase, however, does not terminate necessarily, and checking whether the chase terminates on a given set of rules and facts is undecidable. Numerous acyclicity notions were proposed as sufficient conditions for chase termination. In this paper, we present two new acyclicity notions called model-faithful acyclicity (MFA) and model-summarising acyclicity (MSA). Furthermore, we investigate the landscape of the known acyclicity notions and establish a complete taxonomy of all notions known to us. Finally, we show that MFA and MSA generalise most of these notions. Existential rules are closely related to the Horn fragments of the OWL 2 ontology language; furthermore, several prominent OWL 2 reasoners implement CQ answering by using the chase to materialise all relevant facts. In order to avoid termination problems, many of these systems handle only the OWL 2 RL profile of OWL 2; furthermore, some systems go beyond OWL 2 RL, but without any termination guarantees. In this paper we also investigate whether various acyclicity notions can provide a principled and practical solution to these problems. On the theoretical side, we show that query answering for acyclic ontologies is of lower complexity than for general ontologies. On the practical side, we show that many of the commonly used OWL 2 ontologies are MSA, and that the number of facts obtained by materialisation is not too large. Our results thus suggest that principled development of materialisation-based OWL 2 reasoners is practically feasible.

scholarly journals PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner

2015 ◽  
Vol 54 ◽  
pp. 309-367 ◽  
Author(s):  
Yujiao Zhou ◽  
Bernardo Cuenca Grau ◽  
Yavor Nenov ◽  
Mark Kaminski ◽  
Ian Horrocks
Keyword(s):  
Hybrid Approach ◽  
Expressive Power ◽  
Query Answering ◽  
Reasoning Task ◽  
First Order ◽  
Ontology Language ◽  
Extensive Evaluation ◽  
Black Boxes ◽  
Wide Range ◽  
Existential Quantification

Answering conjunctive queries over ontology-enriched datasets is a core reasoning task for many applications. Query answering is, however, computationally very expensive, which has led to the development of query answering procedures that sacrifice either expressive power of the ontology language, or the completeness of query answers in order to improve scalability. In this paper, we describe a hybrid approach to query answering over OWL 2 ontologies that combines a datalog reasoner with a fully-fledged OWL 2 reasoner in order to provide scalable `pay-as-you-go' performance. The key feature of our approach is that it delegates the bulk of the computation to the datalog reasoner and resorts to expensive OWL 2 reasoning only as necessary to fully answer the query. Furthermore, although our main goal is to efficiently answer queries over OWL 2 ontologies and data, our technical results are very general and our approach is applicable to first-order knowledge representation languages that can be captured by rules allowing for existential quantification and disjunction in the head; our only assumption is the availability of a datalog reasoner and a fully-fledged reasoner for the language of interest, both of which are used as `black boxes'. We have implemented our techniques in the PAGOdA system, which combines the datalog reasoner RDFox and the OWL 2 reasoner HermiT. Our extensive evaluation shows that PAGOdA succeeds in providing scalable pay-as-you-go query answering for a wide range of OWL 2 ontologies, datasets and queries.

scholarly journals Parameterised Queries and Lifted Query Answering

2018 ◽  
Author(s):  
Tanya Braun ◽  
Ralf Möller
Keyword(s):  
Random Variables ◽  
Query Answering ◽  
Standard Approach ◽  
Tree Algorithm ◽  
Conjunctive Queries ◽  
Multiple Queries ◽  
First Order ◽  
Junction Tree ◽  
Variable Elimination ◽  
Cluster Representation

A standard approach for inference in probabilistic formalisms with first-order constructs is lifted variable elimination (LVE) for single queries. To handle multiple queries efficiently, the lifted junction tree algorithm (LJT) employs a first-order cluster representation of a model and LVE as a subroutine. Both algorithms answer conjunctive queries of propositional random variables, shattering the model on the query, which causes unnecessary groundings for conjunctive queries of interchangeable variables. This paper presents parameterised queries as a means to avoid groundings, applying the lifting idea to queries. Parameterised queries enable LVE and LJT to compute answers faster, while compactly representing queries and answers.

scholarly journals Query Rewriting for DL-Lite with n-ary Concrete Domains

2017 ◽  
Author(s):  
Franz Baader ◽  
Stefan Borgwardt ◽  
Marcel Lippmann
Keyword(s):  
Query Answering ◽  
Query Rewriting ◽  
First Order ◽  
Ontology Language ◽  
Concrete Domains

We investigate ontology-based query answering (OBQA) in a setting where both the ontology and the query can refer to concrete values such as numbers and strings. In contrast to previous work on this topic, the built-in predicates used to compare values are not restricted to being unary. We introduce restrictions on these predicates and on the ontology language that allow us to reduce OBQA to query answering in databases using the so-called combined rewriting approach. Though at first sight our restrictions are different from the ones used in previous work, we show that our results strictly subsume some of the existing first-order rewritability results for unary predicates.

scholarly journals Controlled Query Evaluation in Description Logics Through Instance Indistinguishability

2020 ◽  
Author(s):  
Gianluca Cima ◽  
Domenico Lembo ◽  
Riccardo Rosati ◽  
Domenico Fabio Savo
Keyword(s):  
Description Logics ◽  
Privacy Preserving ◽  
Query Answering ◽  
Query Evaluation ◽  
Data Complexity ◽  
First Order ◽  
Complexity Results ◽  
Controlled Query Evaluation

We study privacy-preserving query answering in Description Logics (DLs). Specifically, we consider the approach of controlled query evaluation (CQE) based on the notion of instance indistinguishability. We derive data complexity results for query answering over DL-LiteR ontologies, through a comparison with an alternative, existing confidentiality-preserving approach to CQE. Finally, we identify a semantically well-founded notion of approximated query answering for CQE, and prove that, for DL-LiteR ontologies, this form of CQE is tractable with respect to data complexity and is first-order rewritable, i.e., it is always reducible to the evaluation of a first-order query over the data instance.

scholarly journals A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom

2020 ◽  
Author(s):  
Olga Gerasimova ◽  
Stanislav Kikot ◽  
Agi Kurucz ◽  
Vladimir Podolskii ◽  
Michael Zakharyaschev
Keyword(s):  
Sufficient Conditions ◽  
Data Complexity ◽  
Conjunctive Queries ◽  
First Order ◽  
Path Queries

Aiming to understand the data complexity of answering conjunctive queries mediated by an axiom stating that a class is covered by the union of two other classes, we show that deciding their first-order rewritability is PSPACE-hard and obtain a number of sufficient conditions for membership in AC0, L, NL, and P. Our main result is a complete syntactic AC0/NL/P/CONP tetrachotomy of path queries under the assumption that the covering classes are disjoint.

Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates

2020 ◽  
Author(s):  
Tomasz Gogacz ◽  
Sanja Lukumbuzya ◽  
Magdalena Ortiz ◽  
Mantas Šimkus
Keyword(s):  
Description Logic ◽  
Answer Set Programming ◽  
Query Answering ◽  
Stable Model ◽  
Data Complexity ◽  
First Order ◽  
Time Translation ◽  
Np Complete ◽  
Ontology Languages

We study the relative expressiveness of ontology-mediated queries (OMQs) formulated in the expressive Description Logic ALCHOIF extended with closed predicates. In particular, we present a polynomial-time translation from OMQs into Datalog with negation under the stable model semantics, the formalism that underlies Answer Set Programming. This is a novel and non-trivial result: the considered OMQs are not only non-monotonic but also feature a tricky combination of nominals, inverse roles, and role functionality. We start with atomic queries and then lift our approach to a large class of first-order queries where quantification is “guarded” by closed predicates. Our translation is based on a characterization of the query answering problem via integer programming, and a specially crafted program in Datalog with negation that finds solutions to dynamically generated systems of integer inequalities. As an important by-product of our translation, we get that the query answering problem is co-NP-complete in data complexity for the considered class of OMQs. Thus, answering these OMQs in the presence of closed predicates is not harder than answering them in the standard setting. This is not obvious as closed predicates are known to increase data complexity for some existing ontology languages.

scholarly journals Query Answering for Existential Rules via Efficient Datalog Rewriting

2020 ◽  
Author(s):  
Zhe Wang ◽  
Peng Xiao ◽  
Kewen Wang ◽  
Zhiqiang Zhuang ◽  
Hai Wan
Keyword(s):  
State Of The Art ◽  
Query Answering ◽  
Prototype System ◽  
High Complexity ◽  
Conjunctive Queries ◽  
First Order ◽  
Wide Range ◽  
Comparable Performance

Existential rules are an expressive ontology formalism for ontology-mediated query answering and thus query answering is of high complexity, while several tractable fragments have been identified. Existing systems based on first-order rewriting methods can lead to queries too large for DBMS to handle. It is shown that datalog rewriting can result in more compact queries, yet previously proposed datalog rewriting methods are mostly inefficient for implementation. In this paper, we fill the gap by proposing an efficient datalog rewriting approach for answering conjunctive queries over existential rules, and identify and combine existing fragments of existential rules for which our rewriting method terminates. We implemented a prototype system Drewer, and experiments show that it is able to handle a wide range of benchmarks in the literature. Moreover, Drewer shows superior or comparable performance over state-of-the-art systems on both the compactness of rewriting and the efficiency of query answering.

scholarly journals Answering Conjunctive Regular Path Queries over Guarded Existential Rules

2017 ◽  
Author(s):  
Jean-François Baget ◽  
Meghyn Bienvenu ◽  
Marie-Laure Mugnier ◽  
Michael Thomazo
Keyword(s):  
Knowledge Bases ◽  
Query Answering ◽  
Linear Case ◽  
Data Complexity ◽  
Conjunctive Queries ◽  
Regular Path ◽  
Regular Path Queries ◽  
Path Queries

Ontology-mediated query answering is concerned with the problem of answering queries over knowledge bases consisting of a database instance and an ontology. While most work in the area focuses on conjunctive queries, navigational queries are gaining increasing attention. In this paper, we investigate the complexity of answering two-way conjunctive regular path queries (CRPQs) over knowledge bases whose ontology is given by a set of guarded existential rules. We first consider the subclass of linear existential rules and show that CRPQ answering is EXPTIME-complete in combined complexity and NL-complete in data complexity, matching the recently established bounds for answering non-conjunctive RPQs. For guarded rules, we provide a non-trivial reduction to the linear case, which allows us to show that the complexity of CRPQ answering is the same as for plain conjunctive queries, namely, 2EXPTIME-complete in combined complexity and PTIME-complete in data complexity.

Sign in / Sign up

Export Citation Format

Share Document