Datalog reasoning based on the seminaïve evaluation strategy evaluates
r...
Following the recent successful examples of large technology companies, ...
Rewriting is widely used to optimise owl:sameAs reasoning in materialisa...
We study the problem of rewriting a disjunctive datalog program into pla...