Research map / Learning theory and algorithms / Sample complexity
Consistent Query Answering over Existential Rules with Open and Closed Predicates
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Proposes a consistent query answering framework over existential rule knowledge bases that mixes open- and closed-world predicates, and establishes data complexity for unions of conjunctive queries in this setting.
Problem
Consistent query answering over knowledge bases with existential rules where some predicates are open-world and others closed-world; the body text provided is only the ACM acmart template, so the actual results are unavailable.
Approach
Combines prior CQA approaches so that open and closed predicates can coexist in one knowledge base with existential rules, enabling mixed-assumption query answering.
Key results
- The abstract states the authors establish the data complexity of answering unions of conjunctive queries in the new framework; the provided full text is the ACM template and gives no concrete numbers.
Limitations
- The supplied full text is the ACM acmart template rather than the paper body, so details of the results are unverifiable.
Closest papers by meaning
- Query Answering with Inconsistent Existential Rules under Stable Model Semantics (AAAI 2016 · similarity 0.93)
- Explanations for Inconsistency-Tolerant Query Answering under Existential Rules (AAAI 2020 · similarity 0.93)
- Complexity of Inconsistency-Tolerant Query Answering in Datalog+/– under Cardinality-Based Repairs (AAAI 2019 · similarity 0.92)
- Answering Queries with Negation over Existential Rules (AAAI 2022 · similarity 0.90)
- Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases (AAAI 2025 · similarity 0.89)
- Is Complex Query Answering Really Complex? (ICML 2025 · similarity 0.87)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.