On the k-Boundedness for Existential Rules

DOI10.1007/978-3-319-99906-7_4zbMath1518.68358arXiv1810.09304OpenAlexW2888179517MaRDI QIDQ6104757

Stathis Delivorias, Marie-Laure Mugnier, Michel Leclère, Federico Ulliana

Publication date: 28 June 2023

Published in: Rules and Reasoning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1810.09304

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (3)

Unnamed Item ⋮ Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation ⋮ Characterizing Boundedness in Chase Variants

Cites Work

• Unnamed Item
• Data exchange: semantics and query answering
• On rules with existential variables: walking the decidability line
• Undecidable boundedness problems for datalog programs
• Achilles, Turtle, and Undecidable Boundedness Problems for Small DATALOG Programs
• Datalog and Its Extensions for Semantic Web Databases
• All–Instances Termination of Chase is Undecidable

This page was built for publication: On the k-Boundedness for Existential Rules