Efficient Emulation of Datalog(S) in the Existential Rules Engine VLog
From International Center for Computational Logic
Efficient Emulation of Datalog(S) in the Existential Rules Engine VLog
Talk by Christian Lewe
- Location: APB room 3027
- Start: 30. June 2022 at 11:00 am
- End: 30. June 2022 at 12:00 pm
- Event series: Research Seminar Logic and AI
- iCal
We propose a translation of the expressive logic Datalog(S), a subset of Datalog^CV, into optimised existential rules. We look into applications of the language, in particular regarding description logic and graph theory, as well as into expressivity. We explain the translation from earlier work in detail, identify issues and propose solutions to increase performance. We explain the need for singularisation, propose partial congruence as an alternative and define criteria for when this handling is not necessary. Furthermore, we propose an alternative translation for which the standard chase universally terminates. To measure the impact of each optimisation, we conduct an empirical evaluation on real-world data.
The talk is a defence, with a hybrid attendance.
link: https://bbb.tu-dresden.de/b/ali-zgz-l8d-52n
