General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase
From International Center for Computational Logic
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase
Talk by Lukas Gerlach
- Location: APB room 3027
- Start: 10. November 2022 at 11:00 am
- End: 10. November 2022 at 12:00 pm
- Event series: Research Seminar Logic and AI
- iCal
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.
