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.