This Article 
 Bibliographic References 
 Add to: 
It's a Streaming World! Reasoning upon Rapidly Changing Information
November/December 2009 (vol. 24 no. 6)
pp. 83-89
Emanuele Della Valle, Politecnico di Milano
Stefano Ceri, Politecnico di Milano
Frank van Harmelen, Vrije Universiteit Amsterdam
Dieter Fensel, University of Innsbruck

Data streams occur in modern applications such as sensor network monitoring, traffic engineering, RFID tags applications, telecom call recording, medical record management, financial applications, and clickstreams. On the Web, many sites distribute and present information in real-time streams. In many of these application areas, the ability to perform complex reasoning tasks that combine streaming data with evolving knowledge would be of great benefit. Stream reasoning—an unexplored, yet high-impact research area—is a new multidisciplinary approach that will build on the Semantic Web and provide the abstractions, foundations, methods, and tools required to integrate data streams and reasoning systems.

1. M. Palmonari, and D. Bogni, "Commonsense Spatial Reasoning about Heterogeneous Events in Urban Computing," Proc. 1st Int'l Workshop Stream Reasoning, CEUR, 2009,
2. F. Heintz, J. Kvarnstrom, and P. Doherty, "Stream Reasoning in DyKnow: A Knowledge Processing Middleware System," Proc. 1st Int'l Workshop Stream Reasoning, CEUR, 2009,
3. G. Unel, F. Fischer, and B. Bishop, "Answering Reachability Queries on Streaming Graphs," Proc. 1st Int'l Workshop Stream Reasoning, CEUR, 2009,
4. E. Della Valle et al., "A First Step towards Stream Reasoning," Proc. Future Internet Symp. (FIS 08), Springer, 2008, pp. 72–81.
5. M. Mendler and S. Scheele, "Towards a Type System for Semantic Streams," Proc. 1st Int'l Workshop Stream Reasoning, CEUR, 2009,
6. A. Bolles, M. Grawunder, and J. Jacobi, "Streaming SPARQL—Extending SPARQL to Process Data Streams," The Semantic Web: Research and Applications, LNCS 5021, Springer, 2008, pp. 448–462.
7. M. Luther and S. Böhm, "Situation-Aware Mobility: An Application for Stream Reasoning," Proc. 1st Int'l Workshop Stream Reasoning, CEUR, 2009,
8. P. Ordonez et al., "A Ubiquitous Context-Aware Environment for Surgical Training," Proc. 4th Ann. Int'l Conf. Mobile and Ubiquitous Systems (MobiQuitous 07), IEEE CS Press, 2007, pp. 1–6.
9. M. Garofalakis, J. Gehrke, and R. Rastogi, "Data Stream Management: Processing High-Speed Data Streams," Data-Centric Systems and Applications, Springer, 2007.
10. G. Mühl, L. Fiege, and P. Pietzuch, Distributed Event-Based Systems, Springer, 2006.
11. D. Luckham, The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems, Springer, 2008.
12. Peter Gärdenfors ed., Belief Revision, Cambridge Univ. Press, 2003.
13. M. Risher, D.M. Gabbay, and Lluis Vila eds., , Handbook of Temporal Reasoning in Artificial Intelligence, Elsevier Science, 2005.
14. M. Mendler and S. Scheele, "Towards Constructive Description Logics for Abstraction and Refinement," Proc. 21st Int'l Workshop Description Logics (DL 08), CEUR, 2008,
15. S. Bandini, A. Mosca, and M. Palmonari, "Common-Sense Spatial Reasoning for Information Correlation in Pervasive Computing," Applied Artificial Intelligence, vol. 21, nos. 4–5, 2007, pp. 405–425.
16. J. Ouaknine and J. Worrell, "Some Recent Results in Metric Temporal Logic," Proc. 6th Int'l Conf. Formal Modeling and Analysis of Timed Systems (Formats 08), LNCS 5215, Springer, 2008, pp. 1–13.
17. P. Doherty et al., "TAL: Temporal Action Logics Language Specification and Tutorial," Electronic Trans. Artificial Intelligence, vol. 2, nos. 3–4, 1998, pp. 273–306.
18. J.J. Elgot-Drapkin, Step-Logic: Reasoning Situated in Time, doctoral thesis, Dept. of Computer Science, Univ. of Maryland, 1988.
19. J.J. Elgot-Drapkin et al., Active Logics: A Unified Formal Approach to Episodic Reasoning, tech report no. CS-TR-3680, Dept. of Computer Science, Univ. of Maryland, 1999.
20. D.F. Barbieri et al., "C-SPARQL: SPARQL for Continuous Querying," Proc. 18th Int'l World Wide Web Conf. (WWW 09), ACM Press, 2009, pp. 1061–1062.
21. A. Darwiche and J. Pearl, "On the Logic of Iterated Belief Revision," Artificial Intelligence, vol. 89, nos. 1–2, 1997, pp. 1–29.
22. M. Staudt and M. Jarke, "Incremental Maintenance of Externally Materialized Views," Proc. 22th Int'l Conf. Very Large Data Bases, Morgan Kaufmann, 1996, 75–86.
23. R. Volz, S. Staab, and B. Motik, "Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases," J. Data Semantics II, vol. 3360, 2005, pp. 1–34.
24. D. Fensel et al., "Towards LarKC: A Platform for Web-Scale Reasoning," Proc. IEEE Int'l Conf. Semantic Computing (ICSC 08), IEEE Press, 2008, pp. 524–529.

Index Terms:
Semantic Web, data streams, stream reasoning, reasoners, data-stream management systems, SPARQL, C-SPARQL, continuous queries
Emanuele Della Valle, Stefano Ceri, Frank van Harmelen, Dieter Fensel, "It's a Streaming World! Reasoning upon Rapidly Changing Information," IEEE Intelligent Systems, vol. 24, no. 6, pp. 83-89, Nov.-Dec. 2009, doi:10.1109/MIS.2009.125
Usage of this product signifies your acceptance of the Terms of Use.