scholarly journals Complexity of Inconsistency-Tolerant Query Answering in Datalog+/– under Cardinality-Based Repairs

2019 ◽  
Vol 33 ◽  
pp. 2962-2969 ◽  
Author(s):  
Thomas Lukasiewicz ◽  
Enrico Malizia ◽  
Andrius Vaicenavičius
Keyword(s):  
Computational Complexity ◽  
Knowledge Bases ◽  
Query Answering ◽  
Conjunctive Query ◽  
Wide Range ◽  
Consistent Subset

Querying inconsistent ontological knowledge bases is an important problem in practice, for which several inconsistencytolerant query answering semantics have been proposed, including query answering relative to all repairs, relative to the intersection of repairs, and relative to the intersection of closed repairs. In these semantics, one assumes that the input database is erroneous, and the notion of repair describes a maximally consistent subset of the input database, where different notions of maximality (such as subset and cardinality maximality) are considered. In this paper, we give a precise picture of the computational complexity of inconsistencytolerant (Boolean conjunctive) query answering in a wide range of Datalog± languages under the cardinality-based versions of the above three repair semantics.

scholarly journals Complexity of Approximate Query Answering under Inconsistency in Datalog+/-

2018 ◽  
Author(s):  
Thomas Lukasiewicz ◽  
Enrico Malizia ◽  
Cristian Molinaro
Keyword(s):  
Knowledge Base ◽  
Standard Setting ◽  
Knowledge Bases ◽  
Query Answering ◽  
Conjunctive Query ◽  
Approximate Query Answering ◽  
Wide Range ◽  
Approximate Query

Several semantics have been proposed to query inconsistent ontological knowledge bases, including the intersection of repairs and the intersection of closed repairs as two approximate inconsistency-tolerant semantics. In this paper, we analyze the complexity of conjunctive query answering under these two semantics for a wide range of Datalog+/- languages. We consider both the standard setting, where errors may only be in the database, and the generalized setting, where also the rules of a Datalog+/- knowledge base may be erroneous.

An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆

2021 ◽  
Vol 178 (4) ◽  
pp. 315-346
Author(s):  
Domenico Cantone ◽  
Marianna Nicolosi-Asmundo ◽  
Daniele Francesco Santamaria
Keyword(s):  
Semantic Web ◽  
Set Theory ◽  
Description Logic ◽  
Knowledge Bases ◽  
Query Answering ◽  
Conjunctive Query ◽  
Classification Problems ◽  
Previous Version ◽  
Decidable Fragment ◽  
Stratified Set

We present a KE-tableau-based implementation of a reasoner for a decidable fragment of (stratified) set theory expressing the description logic 𝒟ℒ〈4LQSR,×〉(D) (𝒟ℒD4,×, for short). Our application solves the main TBox and ABox reasoning problems for 𝒟ℒD4,×. In particular, it solves the consistency and the classification problems for 𝒟ℒD4,×-knowledge bases represented in set-theoretic terms, and a generalization of the Conjunctive Query Answering problem in which conjunctive queries with variables of three sorts are admitted. The reasoner, which extends and improves a previous version, is implemented in C++. It supports 𝒟ℒD4,×-knowledge bases serialized in the OWL/XML format and it admits also rules expressed in SWRL (Semantic Web Rule Language).

scholarly journals Conjunctive Query Answering for the Description Logic SHIQ

2008 ◽  
Vol 31 ◽  
pp. 157-204 ◽  
Author(s):  
B. Glimm ◽  
C. Lutz ◽  
I. Horrocks ◽  
U. Sattler
Keyword(s):  
Description Logic ◽  
Query Language ◽  
Description Logics ◽  
Knowledge Bases ◽  
Deterministic Algorithm ◽  
Query Answering ◽  
Conjunctive Query ◽  
Conjunctive Queries ◽  
Complexity Bounds ◽  
Double Exponential

Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query answering over DL knowledge bases is only poorly understood if transitive roles are admitted in the query. In this paper, we consider unions of conjunctive queries over knowledge bases formulated in the prominent DL SHIQ and allow transitive roles in both the query and the knowledge base. We show decidability of query answering in this setting and establish two tight complexity bounds: regarding combined complexity, we prove that there is a deterministic algorithm for query answering that needs time single exponential in the size of the KB and double exponential in the size of the query, which is optimal. Regarding data complexity, we prove containment in co-NP.

scholarly journals Reasoning about Explanations for Negative Query Answers in DL-Lite

2013 ◽  
Vol 48 ◽  
pp. 635-669 ◽  
Author(s):  
D. Calvanese ◽  
M. Ortiz ◽  
M. Simkus ◽  
G. Stefanoni
Keyword(s):  
Computational Complexity ◽  
Description Logics ◽  
Query Answering ◽  
Abductive Reasoning ◽  
Arbitrary Subset ◽  
Conjunctive Query ◽  
Query Answer ◽  
Reasoning Tasks ◽  
Usability Requirements

In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for Description Logics, where research has focused on the explanation of both TBox reasoning and, more recently, query answering. Besides explaining the presence of a tuple in a query answer, it is important to explain also why a given tuple is missing. We address the latter problem for instance and conjunctive query answering over DL-Lite ontologies by adopting abductive reasoning; that is, we look for additions to the ABox that force a given tuple to be in the result. As reasoning tasks we consider existence and recognition of an explanation, and relevance and necessity of a given assertion for an explanation. We characterize the computational complexity of these problems for arbitrary, subset minimal, and cardinality minimal explanations.

scholarly journals Query answering in circumscribed OWL2 profiles

2021 ◽  
Author(s):  
Piero A. Bonatti
Keyword(s):  
Description Logics ◽  
Knowledge Bases ◽  
Query Answering ◽  
Data Complexity ◽  
Conjunctive Query ◽  
Conjunctive Queries

AbstractThis paper partially bridges a gap in the literature on Circumscription in Description Logics by investigating the tractability of conjunctive query answering in OWL2’s profiles. It turns out that the data complexity of conjunctive query answering is coNP-hard in circumscribed $\mathcal {E}{\mathscr{L}}$ E L and DL-lite, while in circumscribed OWL2-RL conjunctive queries retain their classical semantics. In an attempt to capture nonclassical inferences in OWL2-RL, we consider conjunctive queries with safe negation. They can detect some of the nonclassical consequences of circumscribed knowledge bases, but data complexity becomes coNP-hard. In circumscribed $\mathcal {E}{\mathscr{L}}$ E L , answering queries with safe negation is undecidable.

scholarly journals Explanations for Inconsistency-Tolerant Query Answering under Existential Rules

2020 ◽  
Vol 34 (03) ◽  
pp. 2909-2916
Author(s):  
Thomas Lukasiewicz ◽  
Enrico Malizia ◽  
Cristian Molinaro
Keyword(s):  
Knowledge Base ◽  
Complexity Analysis ◽  
Knowledge Bases ◽  
Query Answering ◽  
Complexity Measures ◽  
Rule Languages ◽  
Wide Range ◽  
Inconsistent Knowledge

Querying inconsistent knowledge bases is a problem that has attracted a great deal of interest over the last decades. While several semantics of query answering have been proposed, and their complexity is rather well-understood, little attention has been paid to the problem of explaining query answers. Explainability has recently become a prominent problem in different areas of AI. In particular, explaining query answers allows users to understand not only what is entailed by an inconsistent knowledge base, but also why. In this paper, we address the problem of explaining query answers for existential rules under three popular inconsistency-tolerant semantics, namely, the ABox repair, the intersection of repairs, and the intersection of closed repairs semantics. We provide a thorough complexity analysis for a wide range of existential rule languages and for different complexity measures.

Preference-based Inconsistency-Tolerant Query Answering under Existential Rules

2020 ◽  
Author(s):  
Marco Calautti ◽  
Sergio Greco ◽  
Cristian Molinaro ◽  
Irina Trubitsyna
Keyword(s):  
Knowledge Bases ◽  
User Preferences ◽  
Query Answering ◽  
Rule Languages ◽  
Inconsistent Knowledge ◽  
Consistent Subset

Query answering over inconsistent knowledge bases is a problem that has attracted a great deal of interest over the years. Different inconsistency-tolerant semantics have been proposed, and most of them are based on the notion of repair, that is, a "maximal" consistent subset of the database. In general, there can be several repairs, so it is often natural and desirable to express preferences among them. In this paper, we propose a framework for querying inconsistent knowledge bases under user preferences for existential rule languages. We provide generalizations of popular inconsistency-tolerant semantics taking preferences into account and study the data and combined complexity of different relevant problems.

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

2010 ◽  
Vol 39 ◽  
pp. 429-481 ◽  
Author(s):  
S. Rudolph ◽  
B. Glimm
Keyword(s):  
Knowledge Representation ◽  
Description Logic ◽  
Query Language ◽  
Description Logics ◽  
Knowledge Bases ◽  
Conjunctive Query ◽  
Conjunctive Queries ◽  
Decidability Result ◽  
Wide Range ◽  
Significant Attention

Description Logics are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries, the standard query language in databases, have recently gained significant attention as an expressive formalism for querying Description Logic knowledge bases. Several different techniques for deciding conjunctive query entailment are available for a wide range of DLs. Nevertheless, the combination of nominals, inverse roles, and number restrictions in OWL 1 and OWL 2 DL causes unsolvable problems for the techniques hitherto available. We tackle this problem and present a decidability result for entailment of unions of conjunctive queries in the DL ALCHOIQb that contains all three problematic constructors simultaneously. Provided that queries contain only simple roles, our result also shows decidability of entailment of (unions of) conjunctive queries in the logic that underpins OWL 1 DL and we believe that the presented results will pave the way for further progress towards conjunctive query entailment decision procedures for the Description Logics underlying the OWL standards.

Sign in / Sign up

Export Citation Format

Share Document