Materialisation−based Reasoning in DatalogMTL with Bounded Intervals

Przemyslaw Walega‚ Michal Zawidzki‚ Dingmin Wang and Bernardo Cuenca Grau