Restricted Chase (Non)Termination for Existential Rules with Disjunctions
Aus International Center for Computational Logic
Restricted Chase (Non)Termination for Existential Rules with Disjunctions
Vortrag von Davil Carral
- Veranstaltungsort: APB 3027
- Beginn: 27. April 2017 um 13:00
- Ende: 27. April 2017 um 14:00
- Forschungsgruppe: Wissensbasierte Systeme
- iCal
The restricted chase is a sound and complete algorithm for conjunctive query answering over ontologies of disjunctive existential rules. We develop acyclicity conditions to ensure its termination. Our criteria cannot always detect termination (the problem is undecidable), and we develop the first cyclicity criteria to show non-termination of the restricted chase. Experiments on real-world ontologies show that our acyclicity notions improve significantly over known criteria and that most remaining ontologies are indeed cyclic.
