Introducing Existential Rules and Module Extraction
Aus International Center for Computational Logic
Introducing Existential Rules and Module Extraction
Vortrag von Stathis Delivorias
- Veranstaltungsort: APB 3027
- Beginn: 17. Dezember 2015 um 13:30
- Ende: 17. Dezember 2015 um 14:30
- Forschungsgruppe: 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.
