Stream Reasoning in Temporal Datalog