Skip to Content

TU Wien Fakultät für Informatik Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > research > projects > dhsr >

Tools: Drucken

Distributed Heterogeneous Stream Reasoning

supported by the Austrian Science Funds (FWF) under project number P26471.

Contents

Project team

Motivation and Background

With the development of the Web and data interlinkage, distributed computation has become essential for modern information systems. An increasing involvement of sensors, sensor networks and mobile devices, generates a trend towards pushing rather than pulling in data processing, and streamed data has become important. While simple stream processing tasks facilitate access to data streams, reasoning on streamed data recently gains special interest, as it enables improved computation results (such as query answers, decisions, problem solutions).

Consider a webservice that provides live recommendations for exploring Vienna based on the user’s profile, recent changes of her positions based on the GPS data from her smartphone, current traffic status, weather data, the city map and an ontology of objects on the map, etc. The service should respect all this information to dynamically suggest the most suitable route. In order to do so, reasoning needs to be performed in a streaming manner, taking continuously changing, streamed data into account. Compared to the state of the art in stream processing, advanced techniques are needed to cope with incomplete information (e.g., if a stream is off, or data, such as a classification, is missing), as well as with the distributedness and heterogeneity of the sources. To reason about the behavior of the system and verify the admissibility of the output, query answering should have a clear formal semantics. Moreover, a model-based approach enabling advanced AI techniques can add value to computation results, e.g., multiple choices, preference-/assumption-based conclusions. In other words, “thinking” components are needed rather than simple reactive entities. Current streaming engines are not able to offer such advanced features as they build on operational semantics of streamed data at either single nodes or distributed nodes with homogeneous processing models. The operational approach makes it difficult to predict the overall system behavior, which are very sensible to low-level streaming features (e.g., the streaming rate).

Goal of the project

This project will tackle the above issues and contribute a strong model-based semantic foundation to distributed heterogeneous stream reasoning, optimized algorithms for practicable realization and a prototype implementation and evaluation toolbox. These achievements and project results will make advanced stream reasoning a reality and enable novel applications where streaming data is essential.

Software

Publications

2017

Harald Beck, Minh Dao-Tran, and Thomas Eiter.
LARS: A Logic-based Framework for Analytic Reasoning over Streams.
Technical Report. INFSYS RR-1843-17-03. October 2017.
[ bib | paper ]

Hamid R. Bazoobandi, Harald Beck, and Jacopo Urbani.
Expressive Stream Reasoning with Laser.
ISWC, Oct. 21-25, 2017, Vienna, Austria.
[ bib | paper | arXiv: abs/1707.08876 ]

Harald Beck, Thomas Eiter, and Christian Folie.
Ticker: A System for Incremental ASP-based Stream Reasoning.
TPLP 17(5-6): 744-763 (2017)
[ bib | paper (arXiv) ]

Minh Dao-Tran and Thomas Eiter.
Streaming Multi-Context Systems.
Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI), Aug. 19-25 2017, Melbourne, Australia.
[ bib | paper ]

Harald Beck.
Reviewing Justification-based Truth Maintenance Systems from a Logic Programming Perspective.
Technical Report. INFSYS RR-1843-17-02. July 2017.
[ bib | paper ]

Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider.
Spatial Ontology-Mediated Query Answering over Mobility Streams.
Proceedings of the 14th European Semantic Web Conference (ESWC) May 28-June 1, 2017, Portoroz, Slovenia.
[ bib | paper ]

Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner and Konstantin Schekotihin.
Stream Reasoning-Based Control of Caching Strategies in CCN Routers.
Proceedings of the IEEE International Conference on Communications May 21-25, 2017, Paris, France.
[ bib | paper ]

Alessandra Mileo, Minh Dao-Tran, Thomas Eiter and Michael Fink
Stream Reasoning.
In book: Encyclopedia of Database Systems. January 2017.

2016

Edward Toth.
A Prototype for Incremental Rule-based Stream Reasoning.
Bachelor Thesis. Nov 25, 2016.
[ paper ]

Andreas Mossburger, Harald Beck, Minh Dao-Tran and Thomas Eiter.
A Benchmarking Framework for Stream Processors
20th International Conference on Knowledge Engineering and Knowledge Management (EKAW), Poster, November 19-23, 2016, Bologna, Italy, 2016.
[ paper | poster ]

Daniele Dell'Aglio, Minh Dao-Tran, Jean-Paul Calbimonte, Danh Le Phuoc, and Emanuele Della Valle.
A Query Model to Capture Event Pattern Matching in RDF Stream Processing Query Languages
20th International Conference on Knowledge Engineering and Knowledge Management (EKAW), November 19-23, 2016, Bologna, Italy, 2016.
[ bib | paper ]

Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, and Konstantin Schekotihin.
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks.
15th European Conference on Logics in Artificial Intelligence (JELIA), November 9-11, 2016, Larnaca, Cyprus.
[ bib | paper ]

Thomas Eiter, Josiane Xavier Parreira, Patrik Schneider.
Towards Spatial Ontology-Mediated Query Answering over Mobility Streams.
Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops co-located with the 15th International Semantic Web Conference (ISWC 2016) October 17-18, 2016, Kobe, Japan.
[ bib | paper ]

Harald Beck, Minh Dao-Tran, and Thomas Eiter.
Equivalent Stream Reasoning Programs.
25th International Joint Conference on Artificial Intelligence (IJCAI), July 9-15, 2016, New York, USA.
[ bib | paper ]

2015

Andreas Moßburger.
Data Generation for Stream Reasoning Benchmarking.
Bachelor Thesis. Nov 19, 2015.
[ paper ]

Minh Dao-Tran, Harald Beck, and Thomas Eiter.
Contrasting RDF Stream Processing Semantics.
5th Joint International Semantic Technology Conference (JIST), November 11-13, 2015, YiChang, China.
[ bib | paper ]

Minh Dao-Tran, Harald Beck, and Thomas Eiter.
Towards Comparing RDF Stream Processing Semantics.
In 1st Workshop on High-Level Declarative Stream Processing (HiDeSt), September 22, 2015, Dresden, Germany, 2015.
[ bib | paper | slides ]

Minh Dao-Tran and Danh Le-Phuoc.
Towards Enriching CQELS with Complex Event Processing and Path Navigation.
In 1st Workshop on High-Level Declarative Stream Processing (HiDeSt), September 22, 2015, Dresden, Germany, 2015.
[ bib | paper ]

Harald Beck, Minh Dao-Tran, Thomas Eiter.
Answer Update for Rule-based Stream Reasoning.
24th International Joint Conference on Artificial Intelligence (IJCAI), July 25-31, 2015, Buenos Aires, Argentinia.
[ bib | paper | slides ]

Danh Le-Phuoc, Minh Dao-Tran, Anh Le Tuan, Manh Nguyen Duc, and Manfred Hauswirth.
DEBS Grand Challenge: RDF Stream Processing with CQELS Framework for Real-time Analysis.
In ACM International Conference on Distributed Event-Based Systems (DEBS), June 29-July 3, 2015, Oslo, Norway, 2015.
[ bib | paper | slides ]

Danh Le-Phuoc, Minh Dao-Tran, Chan Le Van, Anh Le Tuan, Manh Nguyen Duc, Tuan Tran Nhat, and Manfred Hauswirth.
Platform-Agnostic Execution Framework Towards RDF Stream Processing.
In RDF Stream Processing Workshop, May 31, Portoroz, Slovenia, 2015.
[ bib | paper | slides ]

Harald Beck, Minh Dao-Tran, and Thomas Eiter.
Semantics and Complexity of RDF Stream Processing & Reasoning: Expression of Interest.
In RDF Stream Processing Workshop, May 31, Portoroz, Slovenia, 2015.
[ bib | paper | slides ]

Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Distributed Evaluation of Nonmonotonic Multi-Context Systems.
Journal of Artificial Intelligence Research, 52:543-600, 2015.
[ bib | paper ]

Harald Beck, Minh Dao-Tran, Thomas Eiter, and Michael Fink.
LARS: A Logic-based Framework for Analyzing Reasoning over Streams.
29th AAAI Conference, January 25-30, 2015, Austin, Texas, USA.
[ bib | paper | slides ]

2014

Harald Beck, Minh Dao-Tran, Thomas Eiter, and Michael Fink.
Towards a Logic-Based Framework for Analyzing Stream Reasoning.
3rd International Workshop on Ordering and Reasoning, October 19-20, 2014, Riva del Garda, Trentino, Italy.
Best Paper.
[ bib | paper | extended version | slides ]

Harald Beck, Minh Dao-Tran, Thomas Eiter, and Michael Fink.
Towards Ideal Semantics for Analyzing Stream Reasoning.
International Workshop on Reactive Concepts in Knowledge Representation, August 19, 2014, Prague, Czech Republic.
[ bib | paper | slides ]

Cooperations

References

[akk12]
Y. Ahmad, O. Kennedy, C. Koch, and M. Nikolic. DBToaster: Higher-order delta processing for dynamic, frequently fresh views. PVLDB, 5(10):968-979, 2012.
[ak09]
Y. Ahmad and C. Koch. DBToaster: A SQL compiler for high-performance delta processing in main-memory databases. PVLDB, 2(2):1566-1569, 2009.
[arf12]
D. Anicic, S. Rudolph, P. Fodor, and N. Stojanovic. Stream reasoning and complex event processing in etalis. Semantic Web Journal, 2012.
[abb03]
A. Arasu, B. Babcock, S. Babu, M. Datar, K. Ito, I. Nishizawa, J. Rosenstein, and J. Widom. Stream: The stanford stream data manager. In SIGMOD Conference, page 665, 2003.
[abw06]
A. Arasu, S. Babu, and J. Widom. The CQL continuous query language: semantic foundations and query execution. VLDB J., 15(2):121-142, 2006.
[bbd02]
B. Babcock, S. Babu, M. Datar, R. Motwani, and J. Widom. Models and issues in data stream systems. In PODS, pages 1-16, 2002.
[bde10]
S. E.-D. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, and T. Krennwallner. Decomposition of distributed nonmonotonic multi-context systems. In JELIA, pages 24-37, 2010.
[bde10]
S. E.-D. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, and T. Krennwallner. The DMCS solver for distributed nonmonotonic multi-context systems. In JELIA, pages 352-355, 2010.
[bbc10]
D. F. Barbieri, D. Braga, S. Ceri, E. D. Valle, Y. Huang, V. Tresp, A. Rettinger, and H. Wermser. Deductive and inductive stream reasoning for semantic social media analytics. IEEE Intelligent Systems, 25(6):32-41, 2010.
[be07]
G. Brewka and T. Eiter. Equilibria in heterogeneous nonmonotonic multi-context systems. In AAAI, pages 385-390, 2007.
[bet11]
G. Brewka, T. Eiter, and M. Truszczyski. Answer set programming at a glance. Communications of the ACM, 54(12):92-103, 2011.
[bee07]
F. Bry, N. Eisinger, T. Eiter, T. Furche, G. Gottlob, C. Ley, B. Linse, R. Pichler, and F. Wei. Foundations of rule-based query answering. In Reasoning Web, pages 1-153, 2007.
[ccg10]
J.-P. Calbimonte, O. Corcho, and A. J. G. Gray. Enabling ontology-based access to streaming data sources. In ISWC, pages 96-111, 2010.
[cf04]
S. Chandrasekaran and M. J. Franklin. Remembrance of streams past: Overload-sensitive management of archived streams. In VLDB, pages 348-359, 2004.
[cwy05]
Y. Chi, H. Wang, and P. S. Yu. Loadstar: Load shedding in data stream mining. In VLDB, pages 1303-1305, 2005.
[deg01]
E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov. Complexity and Expressive Power of Logic Programming. ACM Computing Surveys, 33(3):374-425, 2001.
[def10]
M. Dao-Tran, T. Eiter, M. Fink, and T. Krennwallner. Distributed nonmonotonic multi-context systems. In KR, 2010.
[dll11]
T. M. Do, S. W. Loke, and F. Liu. Answer set programming for stream reasoning. In C. J. Butz and P. Lingras, editors, Canadian Conf, AI, LNCS 6657, pages 104-109. Springer, 2011.
[efs10]
T. Eiter, M. Fink, P. Sch&uumlller, and A. Weinzierl. Finding explanations of inconsistency in multi-context systems. In KR, 2010.
[eis06]
T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. dlvhex: A prover for semantic-web reasoning under the answer-set semantics. In Web Intelligence, pages 1073-1074, 2006.
[ekp12]
T. Eiter, T. Krennwallner, M. Prandtstetter, C. Rudloff, P. Schneider, and M. Straub. Semantically Enriched Multi-Modal Routing. In 19th ITS World Congress, 2012.
[ggk12]
M. Gebser, T. Grote, R. Kaminski, P. Obermeier, O. Sabuncu, and T. Schaub. Stream reasoning with answer set programming. In KR, 2012.
[ggk11]
M. Gebser, T. Grote, R. Kaminski, and T. Schaub. Reactive answer set programming. In LPNMR, pages 54-66, 2011.
[gss11]
M. Gebser, O. Sabuncu, and T. Schaub. An incremental answer set programming based system for finite model computation. AI Commun., 24(2):195-212, 2011.
[kak11]
O. Kennedy, Y. Ahmad, and C. Koch. DBToaster: Agile views for a dynamic data management system. In CIDR, pages 284-295, 2011.
[koch10]
C. Koch. Incremental query evaluation in a ring of databases. In PODS, pages 87-98, 2010.
[pdp11]
D. L. Phuoc, M. Dao-Tran, J. X. Parreira, and M. Hauswirth. A native and adaptive approach for unified processing of linked streams and linked data. In ISWC, pages 370-388, 2011.
[pdp12]
D. L. Phuoc, M. Dao-Tran, M.-D. Pham, P. Boncz, T. Eiter, and M. Fink. Linked stream data processing engines: Facts and figures. In ISWC, 2012
[pph12]
D. L. Phuoc, J. X. Parreira, and M. Hauswirth. Linked stream data processing. In Reasoning Web, 2012.
[rp11]
Y. Ren and J. Z. Pan. Optimising ontology stream reasoning with truth maintenance system. In CIKM, pages 831-836, 2011.
[vchf09]
E. D. Valle, S. Ceri, F. van Harmelen, and D. Fensel. It’s a streaming world! reasoning upon rapidly changing information. IEEE Intelligent Systems, 24:83-89, 2009.

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.