Year: 2023
Type: conference-paper
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.
Authors: Lukas Gerlach, David Carral
Institutions: Technische Universität Dresden, Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, Université de Montpellier, Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier, BOREAL: Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Données
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W4382239459