General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase

Authors

  • Lukas Gerlach Knowledge-Based Systems Group, TU Dresden, Dresden, Germany
  • David Carral LIRMM, Inria, University of Montpellier, CNRS, Montpellier, France

DOI:

https://doi.org/10.1609/aaai.v37i5.25784

Keywords:

KRR: Other Foundations of Knowledge Representation & Reasoning, KRR: Knowledge Representation Languages, KRR: Automated Reasoning and Theorem Proving, KRR: Logic Programming, KRR: Computational Complexity of Reasoning, KRR: Description Logics, KRR: Ontologies and Semantic Web

Abstract

The disjunctive skolem chase is a sound, complete, and potentially non-terminating procedure for solving boolean conjunctive query entailment over knowledge bases of disjunctive existential rules. We develop novel acyclicity and cyclicity notions for this procedure; that is, we develop sufficient conditions to determine chase termination and non-termination. Our empirical evaluation shows that our novel notions are significantly more general than existing criteria.
AAAI-23 Proceedings Cover

Downloads

Published

2023-06-26

How to Cite

Gerlach, L., & Carral, D. (2023). General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase. Proceedings of the AAAI Conference on Artificial Intelligence, 37(5), 6372-6379. https://doi.org/10.1609/aaai.v37i5.25784

Issue

Vol. 37 No. 5: AAAI-23 Technical Tracks 5

Section

AAAI Technical Track on Knowledge Representation and Reasoning