Restricted Chase Termination: A Hierarchical Approach and Experimentation

DOI10.1007/978-3-319-99906-7_7zbMath1518.68363OpenAlexW2888243920MaRDI QIDQ6104760

Heng Zhang, Arash Karimi, Jia-Huai You

Publication date: 28 June 2023

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

Full work available at URL: https://doi.org/10.1007/978-3-319-99906-7_7

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (1)

Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation

Cites Work

• Unnamed Item
• Data exchange: semantics and query answering
• Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
• $\mathcal{EL}$ -ifying Ontologies
• A Proof Procedure for Data Dependencies

This page was built for publication: Restricted Chase Termination: A Hierarchical Approach and Experimentation