A First Step Towards Stream Reasoning

While reasoners are year after year scaling up in the classical, time invariant domain of ontological knowledge, reasoning upon rapidly changing information has been neglected or forgotten. On the contrary, processing of data streams has been largely investigated and specialized Stream Database Management Systems exist. In this paper, by coupling reasoners with powerful, reactive, throughput-efficient stream management systems, we introduce the concept of Stream Reasoning. We expect future realization of such concept to have high impact on the future Internet because it enables reasoning in real time, at a throughput and with a reactivity not obtained in previous works.

[1]  Atanas Kiryakov.  D5.5.1 Measurable Targets for Scalable Reasoning (formerly: Definition of validation goals for the prototyping phase) , 2008 .

[2]  Deborah L. McGuinness,et al.  Tracking RDF Graph Provenance using RDF Molecules , 2005 .

[3]  Steffen Staab,et al.  Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases , 2005, J. Data Semant..

[4]  David Maier,et al.  Exploiting Punctuation Semantics in Continuous Data Streams , 2003, IEEE Trans. Knowl. Data Eng..

[5]  Dieter Fensel,et al.  Unifying Reasoning and Search to Web Scale , 2007, IEEE Internet Computing.

[6]  Burton H. Bloom,et al.  Space/time trade-offs in hash coding with allowable errors , 1970, CACM.

[7]  Alberto O. Mendelzon,et al.  Indexing Temporal XML Documents , 2004, VLDB.

[8]  Amr El Abbadi,et al.  Proceedings of the 26th International Conference on Very Large Data Bases , 1984, Very Large Data Bases Conference.

[9]  Michael Stonebraker,et al.  Load Shedding in a Data Stream Manager , 2003, VLDB.

[10]  Paul Dourish,et al.  Underground Aesthetics: Rethinking Urban Computing , 2007, IEEE Pervasive Computing.

[11]  Dieter Fensel,et al.  Towards LarKC: A Platform for Web-Scale Reasoning , 2008, 2008 IEEE International Conference on Semantic Computing.

[12]  Jennifer Widom,et al.  Continuous queries over data streams , 2001, SGMD.

[13]  Sudipto Guha,et al.  Dynamic multidimensional histograms , 2002, SIGMOD '02.

[14]  Jennifer Widom,et al.  Models and issues in data stream systems , 2002, PODS.

[15]  Rajeev Rastogi,et al.  Data Stream Management: Processing High-Speed Data Streams (Data-Centric Systems and Applications) , 2019 .

[16]  Frank van Harmelen,et al.  Benchmarking methodology for good enough answers , 2008 .

[17]  Carlo Ratti,et al.  Cellular Census: Explorations in Urban Data Collection , 2007, IEEE Pervasive Computing.

[18]  Setsuo Ohsuga,et al.  INTERNATIONAL CONFERENCE ON VERY LARGE DATA BASES , 1977 .

[19]  Kyuseok Shim,et al.  Approximate query processing using wavelets , 2001, The VLDB Journal.

[20]  Matthew Chalmers,et al.  Guest Editors' Introduction: Urban Computing , 2007, IEEE Pervasive Computing.

[21]  Masatoshi Arikawa,et al.  Navitime: Supporting Pedestrian Navigation in the Real World , 2007, IEEE Pervasive Computing.