Skip to main content
SpringerLink
Log in

Stream Reasoning

  • Living reference work entry
  • First Online:
Encyclopedia of Database Systems

Synonyms

Continuous reasoning; Reactive reasoning

Definition

Stream reasoning refers to inference approaches and deduction mechanisms which are concerned with providing continuous inference capabilities over dynamic data. The paradigm shift from current batch-like approaches toward timely and scalable stream reasoning leverages the natural temporal order in data streams and applies windows-based processing to complex deduction tasks that go beyond continuous query processing such as those involving preferential reasoning, constraint optimization, planning, uncertainty, non-monotonicity, non-determinism, and solution enumeration.

Historical Background

We are witnessing an unprecedented shift in the available quantity and quality of data drawn from all aspects of our lives, opening tremendous new opportunities but also significant challenges for scalable decision analytics due to its dynamicity. This makes it harder to go from data to insightand support effective decision-making. Such...

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Recommended Reading

  1. Valle ED, Ceri S, van Harmelen F, Fensel D. It’s a streaming world! Reasoning upon rapidly changing information. IEEE Intell Syst. 2009;24:83–9.

    Article  Google Scholar 

  2. Babcock B, Babu S, Datar M, Motwani R, Widom J. Models and issues in data stream systems. In: Proceedings of the Twenty-First ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS’02). New York: ACM; 2002. p. 1–16.

    Chapter  Google Scholar 

  3. Arasu A, Babu S, Widom J. The CQL continuous query language: semantic foundations and query execution. VLDB J. 2006;15:121–42.

    Article  Google Scholar 

  4. Phuoc DL, Nguyen-Mau HQ, Parreira JX, Hauswirth M. A middleware framework for scalable management of linked streams. J Web Sem. 2012;16:42–51.

    Article  Google Scholar 

  5. Phuoc DL, Dao-Tran M, Parreira JX, Hauswirth M. A native and adaptive approach for unified processing of linked streams and linked data. In: International Semantic Web Conference; 2011. vol. 1, p. 370–88.

    Google Scholar 

  6. Barbieri DF, Braga D, Ceri S, Valle ED, Grossniklaus M. C-SPARQL: a continuous query language for RDF data streams. Int J Semantic Comput. 2010;4:3–25.

    Article  MATH  Google Scholar 

  7. Wasserkrug S, Gal A, Etzion O, Turchin Y. Efficient processing of uncertain events in rule-based systems. IEEE Trans Knowl Data Eng. 2012;24;45–58.

    Article  Google Scholar 

  8. Cugola G, Margara A. Processing flows of information: from data stream to complex event processing. ACM Comput Surv. 2012;44:15:1–15:62.

    Google Scholar 

  9. Valle ED, Schlobach S, Krötzsch M, Bozzon A, Ceri S, Horrocks I. Order matters! Harnessing a world of orderings for reasoning over massive data. Semantic Web. 2013;4:219–31.

    Google Scholar 

  10. Brewka G, Eiter T. Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI; 2007. p. 385–90.

    Google Scholar 

  11. Ghanem TM, Hammad MA, Mokbel MF, Aref WG, Elmagarmid AK. Incremental evaluation of sliding-window queries over data streams. IEEE Trans Knowl Data Eng. 2007;19:57–72.

    Article  Google Scholar 

  12. Tatbul N, Zdonik S. Window-aware load shedding for aggregation queries over data streams. In: Proceedings of the 32nd International Conference on Very Large Data Bases (VLDB’06). VLDB Endowment; 2006. p. 799–810.

    Google Scholar 

  13. Dantsin E, Eiter T, Gottlob G, Voronkov A. Complexity and expressive power of logic programming. ACM Comput Surv. 2001;33:374–425.

    Article  Google Scholar 

  14. Arasu A, Cherniack M, Galvez EF, Maier D, Maskey A, Ryvkina E, Stonebraker M, Tibbetts R. Linear road: a stream data management benchmark. In: VLDB; 2004. p. 480–91.

    Google Scholar 

  15. Phuoc DL, Dao-Tran M, Pham MD, Boncz PA, Eiter T, Fink M. Linked stream data processing engines: facts and figures. In: International Semantic Web Conference; 2012. vol. 2, p. 300–12.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Insight Centre for Data Analytics, Dublin City University, Dublin, Ireland

    Alessandra Mileo

  2. Institute of Information Systems, Vienna University of Technology, Vienna, Austria

    Minh Dao-Tran

  3. Institute of Information Systems, Vienna University of Technology, Vienna, Austria

    Thomas ​Eiter

  4. Institute of Information Systems, Vienna University of Technology, Vienna, Austria

    Michael Fink

Authors
  1. Alessandra Mileo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Minh Dao-Tran
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Thomas ​Eiter
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Michael Fink
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alessandra Mileo .

Editor information

Editors and Affiliations

  1. Georgia Institute of Technology College of Computing, Atlanta, Georgia, USA

    Ling Liu

  2. University of Waterloo School of Computer Science, Waterloo, Ontario, Canada

    M. Tamer Özsu

Section Editor information

  1. IIT, University of Skövde, Gothia Science Park, Portalen, Box 408, 54128, Skövde, Sweden

    Manfred Jeusfeld

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer Science+Business Media LLC

About this entry

Cite this entry

Mileo, A., Dao-Tran, M., ​Eiter, T., Fink, M. (2017). Stream Reasoning. In: Liu, L., Özsu, M. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4899-7993-3_80715-1

Download citation

  • DOI: https://doi.org/10.1007/978-1-4899-7993-3_80715-1

  • Received:

  • Accepted:

  • Published:

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4899-7993-3

  • Online ISBN: 978-1-4899-7993-3

  • eBook Packages: Springer Reference Computer SciencesReference Module Computer Science and Engineering

Publish with us

Policies and ethics

Search

Navigation