Back to Search
Start Over
Explanations for Inconsistency-Tolerant Query Answering under Existential Rules
- Source :
- AAAI, Scopus-Elsevier
- Publication Year :
- 2020
- Publisher :
- Association for the Advancement of Artificial Intelligence (AAAI), 2020.
-
Abstract
- 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.
- Subjects :
- Explanations
Information retrieval
Inconsistency-tolerant query answering
Computer science
business.industry
Intersection (set theory)
Ontologie
General Medicine
Inconsistent data
Semantics
Existentialism
Abox
Computational complexity
Range (mathematics)
Knowledge base
Artificial Intelligence
Query answering
business
Repair
Existential rule
Datalog+
Subjects
Details
- ISSN :
- 23743468 and 21595399
- Volume :
- 34
- Database :
- OpenAIRE
- Journal :
- Proceedings of the AAAI Conference on Artificial Intelligence
- Accession number :
- edsair.doi.dedup.....e953cee676cfa00e07c293840b88ce80