T. Eiter: "A Logic-Based Framework for Analyzing Reasoning over Streams"; Talk: Stream Reasoning Workshop 2015, Wien; 2015-11-09 - 2015-11-10.