Logical reasoning in real time on gigantic and inevitably noisy data streams in order to support the decision process of extremely large numbers of concurrent users.

-- S. Ceri, E. Della Valle, F. van Harmelen and H. Stuckenschmidt, 2010