General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

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⟩
49 Consultations
12 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More