General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2023

General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase

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.
Fichier principal
Vignette du fichier
2023-aaai-acyclicity-cyclicity-disjunctive-skolem-chase.pdf (380.8 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04212112 , version 1 (21-09-2023)

Identifiers

Cite

Lukas Gerlach, David Carral. General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase. AAAI 2023 - 37th Conference on Artificial Intelligence, Feb 2023, Washington, United States. pp.6372-6379, ⟨10.1609/aaai.v37i5.25784⟩. ⟨hal-04212112⟩
91 View
58 Download

Altmetric

Share

More