General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase

Lukas Gerlach; David Carral

doi:10.1609/aaai.v37i5.25784

Retour

General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase

Acte de colloque

Open Access

General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase

Lukas Gerlach et David Carral

AAAI-23 Technical Tracks 5, Vol.37(5), pp.6372-6379

Technical Track on Knowledge Representation and Reasoning

AAAI 2023 - 37th Conference on Artificial Intelligence (Washington, United States, 07/02/2023–14/02/2023)

27/06/2023

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

Résumé

Reasoning with Existential Rules

Disjunctive Chase Termination

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.

Fichiers et liens (2)

url

Find in HALAfficher

url

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

Published (Version of record) Ouvrir

Indicateurs

1 Consultations de la notice

Détails

Titre: General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase
Créateurs - sans rôle: Lukas Gerlach - Technische Universität Dresden
David Carral - Biologie des Organismes et Écosystèmes Aquatiques
Détails de publication: AAAI-23 Technical Tracks 5, Vol.37(5), pp.6372-6379
Colloque: AAAI 2023 - 37th Conference on Artificial Intelligence (Washington, United States, 07/02/2023–14/02/2023)
Publications en série: Technical Track on Knowledge Representation and Reasoning
Note de subvention: Lukas is funded by Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) in project 389792660 (TRR 248, Center for Perspicuous Systems), by the Bundesministerium für Bildung und Forschung (BMBF, Federal Ministry of Education and Research) under European ITEA project 01IS21084 (InnoSale, Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence), by BMBF and DAAD (German Academic Exchange Service) in project 57616814 (SECAI, School of Embedded and Composite AI), and by the Center for Advancing Electronics Dresden (cfaed).David is funded by the ANR project CQFD (ANR-18-CE23-0003).
Identifiants: 9938352709311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
Langue: English
Type de ressource: Conference proceeding
Champs locaux: hal-04212112