mlsanityData to 7 Oct 2026

Conservative Extensions for Existential Rules

arXiv 2202.05689 ↗First posted 11 Feb 2022cs.DB cs.AI cs.LOcited by 0

Not on the map. Why?

Abstract (arXiv)

We study the problem to decide, given sets T1,T2 of tuple-generating dependencies (TGDs), also called existential rules, whether T2 is a conservative extension of T1. We consider two natural notions of conservative extension, one pertaining to answers to conjunctive queries over databases and one to homomorphisms between chased databases. Our main results are that these problems are undecidable for linear TGDs, undecidable for guarded TGDs even when T1 is empty, and decidable for frontier-one TGDs.

Key facts. No citing papers in the map yet (data through 7 Oct 2026). Builds on 6 of its 36 references that are in the map. First posted on arXiv 11 Feb 2022.

Builds on

6 of 36 references.

References · 6

  1. 2014The DL-Lite Family and Relationscited by 20
  2. 2013Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNPcited by 15
  3. 2018Inseparability and Conservative Extensions of Description Logic Ontologies: A Surveycited by 4
  4. 2020Conservative Extensions in Horn Description Logics with Inverse Rolescited by 2
  5. 2017Conservative Extensions in Guarded and Two-Variable Fragmentscited by 1
  6. 2019Query Inseparability for ALC Ontologiescited by 1

Built on by

Not cited yet.