Introducing Existential Rules and Module Extraction
From International Center for Computational Logic
Introducing Existential Rules and Module Extraction
Talk by Stathis Delivorias
- Location: APB 3027
- Start: 17. December 2015 at 1:30 pm
- End: 17. December 2015 at 2:30 pm
- Research group: Computational Logic
- Event series: KBS Seminar
- iCal
In this talk the general framework of Datalog with Existential Rules will be introduced, stressing out novel elements in comparison with Description Logics. An overview of the ongoing research in classification of the several languages will be given, as well as an outline of the problem of module extraction in Existential Rules, laying out the main aims of this PhD thesis.
