{"type":"ScholarlyArticle","title":"Streaming Multi-Context Systems","authors":[{"name":"Minh Dao-Tran","slug":"minh-dao-tran","given":"Minh","family":"Dao-Tran","affiliation":"Institute of Information Systems , Vienna University of Technology Favoritenstraße 9-11 , A-1040 Vienna , Austria"},{"name":"Thomas Eiter","slug":"thomas-eiter","given":"Thomas","family":"Eiter","affiliation":"Institute of Information Systems , Vienna University of Technology Favoritenstraße 9-11 , A-1040 Vienna , Austria"}],"abstract":"Multi-Context Systems (MCS) are a powerful framework to interlink heterogeneous knowledge bases under equilibrium semantics. Recent extensions of MCS to dynamic data settings either abstract from computing time, or abandon a dynamic equilibrium semantics. We thus present streaming MCS, which have a run-based semantics that accounts for asynchronous, distributed execution and supports obtaining equilibria for contexts in cyclic exchange (avoiding infinite loops); moreover, they equip MCS with native stream reasoning features. Ad-hoc query answering is NP-complete while prediction is PSpace-complete in relevant settings (but undecidable in general); tractability results for suitable restrictions.","doi":"10.24963/ijcai.2017/139","url":"https://ijcai.org/proceedings/2017/139","pdf":"https://ijcai.org/proceedings/2017/0139.pdf","markdown":"https://ijcai.org/proceedings/2017/139.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/139","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Knowledge Representation, Reasoning, and Logic","track":"Main track","number":139,"pages":{"first":1000,"last":1007},"keywords":["Knowledge Representation, Reasoning, and Logic: Computational Complexity of Reasoning","Knowledge Representation, Reasoning, and Logic: Non-monotonic Reasoning","Knowledge Representation, Reasoning, and Logic: Knowledge Representation Languages"],"videos":[],"references":[{"position":1,"raw":"[Alvaro et al., 2010] Peter Alvaro, William R. Marczak, Neil Conway, Joseph M. Hellerstein, David Maier, and Russell Sears. Dedalus: Datalog in time and space. In Datalog Reloaded -First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, LNCS, pages 262-281, 2010.","title":"Dedalus: Datalog in time and space","authors":"Peter Alvaro, William R Marczak, Neil Conway, Joseph M Hellerstein, David Maier, Russell Sears","year":"2010","venue":"Datalog Reloaded -First International Workshop, Datalog 2010","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Ameloot et al., 2015] Tom J. Ameloot, Jan Van Den Buss- che, William R. Marczak, Peter Alvaro, and Joseph M. Hellerstein. Putting logic-based distributed systems on stable grounds. TPLP, FirstView:1-40, 12 2015.","title":"Putting logic-based distributed systems on stable grounds","authors":"Tom J Ameloot, Jan Van Den, William R Bussche, Peter Marczak, Joseph M Alvaro, Hellerstein","year":"2015","venue":"TPLP","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Arasu et al., 2006] Arvind Arasu, Shivnath Babu, and Jen- nifer Widom. The CQL continuous query language: seman- tic foundations and query execution. VLDB J., 15(2):121- 142, 2006.","title":"The CQL continuous query language: semantic foundations and query execution","authors":"Arvind Arasu, Shivnath Babu, Jennifer Widom","year":"2006","venue":"VLDB J","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Beck et al., 2015] Harald Beck, Minh Dao-Tran, Thomas Eiter, and Michael Fink. LARS: A Logic-based Framework for Analyzing Reasoning over Streams. In AAAI, 2015.","title":"LARS: A Logic-based Framework for Analyzing Reasoning over Streams","authors":"Beck","year":"2015","venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Beck et al., 2017] Harald Beck, Thomas Eiter, and Christian Folie. Ticker: A System for Incremental ASP-based Stream Reasoning. Manuscript, 2017.","title":"Ticker: A System for Incremental ASP-based Stream Reasoning","authors":"Beck","year":"2017","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Bikakis and Antoniou, 2010] Antonis Bikakis and Grigoris Antoniou. Defeasible contextual reasoning with arguments in ambient intelligence. IEEE Transactions on Knowledge and Data Engineering, 22(11):1492-1506, 2010.","title":"Defeasible contextual reasoning with arguments in ambient intelligence","authors":"Antoniou Bikakis, Antonis Bikakis, Grigoris Antoniou","year":"2010","venue":"IEEE Transactions on Knowledge and Data Engineering","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Brewka and Eiter, 2007] Gerhard Brewka and Thomas Eiter. Equilibria in heterogeneous nonmonotonic multi-context systems. In AAAI, pages 385-390, 2007.","title":"Equilibria in heterogeneous nonmonotonic multi-context systems","authors":"Eiter Brewka, Gerhard Brewka, Thomas Eiter","year":"2007","venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Brewka et al., 2007] Gerhard Brewka, Floris Roelofsen, and Luciano Serafini. Contextual default reasoning. In In- ternational Joint Conference on Artificial Intelligence (IJ- CAI'07), pages 268-273, 2007.","title":"Contextual default reasoning","authors":"Gerhard Brewka, Floris Roelofsen, Luciano Serafini","year":"2007","venue":"ternational Joint Conference on Artificial Intelligence (IJ-CAI'07)","doi":null,"url":null,"internal_url":"/proceedings/2007/41"},{"position":9,"raw":"[Brewka et al., 2011] Gerhard Brewka, Thomas Eiter, Michael Fink, and Antonius Weinzierl. Managed Multi-Context Systems. In IJCAI, pages 786-791, 2011.","title":"Managed Multi-Context Systems","authors":"Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl","year":"2011","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2011/138"},{"position":10,"raw":"[Brewka et al., 2014] Gerhard Brewka, Stefan Ellmauthaler, and Jörg Pührer. Multi-Context Systems for Reactive Rea- soning in Dynamic Environments. In ECAI, pages 159-164, 2014.","title":"Multi-Context Systems for Reactive Reasoning in Dynamic Environments","authors":"Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer","year":"2014","venue":"ECAI","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Dao-Tran et al., 2015] 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.","title":"Distributed Evaluation of Nonmonotonic Multi-Context Systems","authors":"Dao-Tran","year":"2015","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Della Valle et al., 2009] Emanuele Della Valle, Stefano Ceri, Frank van Harmelen, and Dieter Fensel. It's a Streaming World! Reasoning upon Rapidly Changing Information. IEEE Intelligent Systems, 24:83-89, 2009.","title":"It's a Streaming World! Reasoning upon Rapidly Changing Information","authors":"Della Emanuele, Stefano Valle, Frank Ceri, Dieter Van Harmelen, Fensel","year":"2009","venue":"IEEE Intelligent Systems","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Ellmauthaler and Pührer, 2015] Stefan Ellmauthaler and Jörg Pührer. Asynchronous Multi-Context Systems. In Advances in Knowledge Representation, Logic Program- ming, and Abstract Argumentation -Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, pages 141-156, 2015.","title":"Asynchronous Multi-Context Systems","authors":"Pührer Ellmauthaler, Stefan Ellmauthaler, Jörg Pührer","year":"2015","venue":"Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Ghidini and Giunchiglia, 2001] Chiara Ghidini and Fausto Giunchiglia. Local models semantics, or contextual rea- soning = locality + compatibility. Artificial Intelligence, 127(2):221-259, 2001.","title":"Local models semantics, or contextual reasoning = locality + compatibility","authors":"Chiara Ghidini, Fausto Giunchiglia","year":"2001","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Giunchiglia and Serafini, 1994] Fausto Giunchiglia and Lu- ciano Serafini. Multilanguage hierarchical logics or: How we can do without modal logics. Artificial Intelligence, 65(1):29-70, 1994.","title":"Multilanguage hierarchical logics or: How we can do without modal logics","authors":"Serafini ; Giunchiglia, Serafini","year":"1994","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Gonc ¸alves et al., 2014] Ricardo Gonc ¸alves, Matthias Knorr, and João Leite. Evolving Multi-Context Systems. In ECAI, pages 375-380, 2014.","title":"Evolving Multi-Context Systems","authors":"Ricardo Gonc ¸alves, Matthias Knorr, João Leite","year":"2014","venue":"ECAI","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Heintz et al., 2010] Fredrik Heintz, Jonas Kvarnström, and Patrick Doherty. Stream-Based Reasoning in DyKnow. In Cognitive Robotics, 21.02. -26.02.2010, volume 10081 of Dagstuhl Seminar Proceedings, 2010.","title":"Stream-Based Reasoning in DyKnow","authors":"Heintz","year":"2010","venue":"Dagstuhl Seminar Proceedings","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[McCarthy, 1993] John McCarthy. Notes on formalizing con- text. In International Joint Conference on Artificial Intelli- gence (IJCAI'93), pages 555-562, 1993.","title":"Notes on formalizing context","authors":"John Mccarthy, Mccarthy","year":"1993","venue":"International Joint Conference on Artificial Intelligence (IJCAI'93)","doi":null,"url":null,"internal_url":"/proceedings/1993/78"}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}