Proceedings Abstracts of the Twenty-Third International Joint Conference on Artificial Intelligence

Ontology Based Query Answering with Existential Rules / 3245
Michaƫl Thomazo

The aim of my Ph.D thesis is to identify expressive decidable classes, study the complexity of reasoning for these classes, and design efficient algorithms in the sense that they improve state of the art algorithms.