Research map / Large language models / Retrieval and knowledge
Goal-Driven Query Answering for Existential Rules With Equality
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| Add magic sets to relevance analysis (ablation) | Goal-driven query answering · LUBM1h, queries without constants | median query time (seconds): 25.29 -> 11.30 | Helped |
| Add magic sets to relevance analysis (ablation) | Goal-driven query answering · LUBM1h, queries with constants | median query time (seconds): 24.92 -> 2.68 | Hurt |
| Add relevance analysis to magic sets (ablation) | Goal-driven query answering · LUBM1k, queries without constants | median query time (seconds): 19.74 -> 19.74 | No clear effect |
| Add relevance analysis to magic sets (ablation) | Goal-driven query answering · LUBM1k, queries with constants | median query time (seconds): 36.19 -> 35.79 | Helped |
| Add magic sets to relevance analysis (ablation) | Goal-driven query answering · Doctors1m, queries without constants | median query time (seconds): 16.11 -> 29.81 | Hurt |
| Add relevance analysis to magic sets (ablation) | Goal-driven query answering · Doctors1m, queries with constants | median query time (seconds): 5.66 -> 2.10 | Helped |
| Add magic sets to relevance analysis (ablation) | Goal-driven query answering · STB, queries without constants | median query time (seconds): 0.74 -> 0.75 | No clear effect |
| Add magic sets to relevance analysis (ablation) | Goal-driven query answering · STB, queries with constants | median query time (seconds): 1.10 -> 0.59 | Helped |
| Add magic sets to relevance analysis (ablation) | Goal-driven query answering · Ont, queries without constants | median query time (seconds): 1.86 -> 1.99 | Hurt |
| Add magic sets to relevance analysis (ablation) | Goal-driven query answering · Ont, queries with constants | median query time (seconds): 1.83 -> 1.55 | Helped |
| Use relevance analysis plus magic sets instead of full materialization | LUBM1k and Deep3h · LUBM1k and Deep3h | query answering success and time | Helped |
| Use magic sets (ablation) | Goal-driven query answering · Queries without constants | number of derived facts | Hurt |
Closest papers by meaning
- Answering Queries with Negation over Existential Rules (AAAI 2022 · similarity 0.90)
- Consistent Query Answering over Existential Rules with Open and Closed Predicates (AAAI 2025 · similarity 0.89)
- Query Answering with Inconsistent Existential Rules under Stable Model Semantics (AAAI 2016 · similarity 0.88)
- Checking Chase Termination over Ontologies of Existential Rules with Equality (AAAI 2020 · similarity 0.88)
- Optimised Storage for Datalog Reasoning (AAAI 2024 · similarity 0.84)
- Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases (AAAI 2025 · similarity 0.84)
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.