A. Ronca, M. Kaminski, B. Cuenca Grau, B. Motik, and I. Horrocks, “Stream Reasoning in Temporal Datalog”, AAAI, vol. 32, no. 1, Apr. 2018.