×

zbMATH — the first resource for mathematics

LARS: a logic-based framework for analytic reasoning over streams. (English) Zbl 1448.68395
Summary: The increasing availability of streaming data has accelerated advances in information processing tools that no longer store data for static querying but push information to consumers as soon as it becomes available. Stream processing aims at providing languages and tools for data that changes at a high rate. To cope with the volume of data, query languages often extend existing approaches for static data by means of window operators that return snapshots of recent data. However, the semantics of these languages are often given only informally or operationally, which makes their analysis and comparison difficult. A formal means to express the declarative semantics of such systems seems to be missing. This lack of theory is of particular relevance for the emerging research in stream reasoning which shifts the focus from throughput to higher expressiveness. To fill this gap, we present LARS, a Logic-based framework for Analytic Reasoning over Streams. At its core, LARS formulas extend propositional logic with generic window operators and additional controls to handle temporal information. On top of this, LARS programs extend Answer Set Programming (ASP) with rich stream reasoning capabilities; the latter can be exploited to target AI applications in a streaming context, such as diagnosis, configuration or planning. Specifically, we study in this article the computational complexity of LARS formulas and programs, their relationship to Linear Temporal Logic (LTL) and the well-known Continuous Query Language (CQL). Furthermore, we discuss the modeling capabilities of LARS in notes on the SPARQL extensions C-SPARQL and CQELS, and on the interval-based approach of the complex event processing language ETALIS. We finally briefly touch available implementations, in particular, the recent prototype engines Laser and Ticker that aim for high throughput and high expressiveness, respectively. Notably, both engines specify their semantics in LARS, indicating the desired flexibility of the framework and its potential as stream reasoning language itself, which is further explored in other works.

MSC:
68T27 Logic in artificial intelligence
68N17 Logic programming
68P15 Database theory
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Abiteboul, S.; Hull, R.; Vianu, V., Foundations of databases, vol. 8, (1995), Addison-Wesley
[2] Aguado, F.; Cabalar, P.; Diéguez, M.; Pérez, G.; Vidal, C., Temporal equilibrium logic: a survey, J. Appl. Non-Class. Log., 23, 1-2, 2-24, (2013) · Zbl 1400.68199
[3] Allen, J. F., Maintaining knowledge about temporal intervals, Commun. ACM, 26, 11, 832-843, (1983) · Zbl 0519.68079
[4] Alur, R.; Feder, T.; Henzinger, T. A., The benefits of relaxing punctuality, J. ACM, 43, 1, 116-146, (1996) · Zbl 0882.68021
[5] Alur, R.; Henzinger, T. A., Real-time logics: complexity and expressiveness, Inf. Comput., 104, 1, 35-77, (1993) · Zbl 0791.68103
[6] Alviano, M.; Calimeri, F.; Dodaro, C.; Fuscà, D.; Leone, N.; Perri, S.; Ricca, F.; Veltri, P.; Zangari, J., The ASP system DLV2, (Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, Lecture Notes in Computer Science, vol. 10377, (2017), Springer), 215-221 · Zbl 06769663
[7] Anicic, D.; Fodor, P.; Rudolph, S.; Stojanovic, N., EP-SPARQL: a unified language for event processing and stream reasoning, (Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28-April 1, 2011, (2011), ACM), 635-644
[8] Anicic, D.; Fodor, P.; Rudolph, S.; Stühmer, R.; Stojanovic, N.; Studer, R., A rule-based language for complex event processing and reasoning, (Web Reasoning and Rule Systems - 4th International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010, Proceedings, Lecture Notes in Computer Science, vol. 6333, (2010), Springer), 42-57
[9] Arasu, A.; Babcock, B.; Babu, S.; Datar, M.; Ito, K.; Motwani, R.; Nishizawa, I.; Srivastava, U.; Thomas, D.; Varma, R.; Widom, J., STREAM: the Stanford stream data manager, IEEE Data Eng. Bull., 26, 1, 19-26, (2003)
[10] Arasu, A.; Babu, S.; Widom, J., CQL: a language for continuous queries over streams and relations, (Database Programming Languages - 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers, Lecture Notes in Computer Science, vol. 2921, (2003), Springer), 1-19
[11] Arasu, A.; Babu, S.; Widom, J., The CQL continuous query language: semantic foundations and query execution, VLDB J., 15, 2, 121-142, (2006)
[12] Babu, S.; Widom, J., Continuous queries over data streams, SIGMOD Rec., 30, 3, 109-120, (2001)
[13] Baral, C., Knowledge representation, reasoning and declarative problem solving, (2010), Cambridge University Press · Zbl 1192.68666
[14] Barbieri, D. F.; Braga, D.; Ceri, S.; Valle, E. D.; Grossniklaus, M., C-SPARQL: a continuous query language for RDF data streams, Int. J. Semant. Comput., 4, 1, 3-25, (2010) · Zbl 1209.68186
[15] Bazoobandi, H. R.; Beck, H.; Urbani, J., Expressive stream reasoning with laser, (16th International Semantic Web Conference, ISWC 2017, Vienna, Austria, October 21-25, 2017, Proceedings, Part I, Lecture Notes in Computer Science, vol. 10587, (2017), Springer), 87-103
[16] Beck, H., Reviewing justification-based truth maintenance systems from a logic programming perspective, (2017), Institute of Information Systems, TU Vienna, Tech. rep. INFSYS RR-1843-17-02
[17] Beck, H.; Bierbaumer, B.; Dao-Tran, M.; Eiter, T.; Hellwagner, H.; Schekotihin, K., Rule-based stream reasoning for intelligent administration of content-centric networks, (Michael, L.; Kakas, A. C., Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings, Lecture Notes in Computer Science, vol. 10021, (2016)), 522-528 · Zbl 06658182
[18] Beck, H.; Bierbaumer, B.; Dao-Tran, M.; Eiter, T.; Hellwagner, H.; Schekotihin, K., Stream reasoning-based control of caching strategies in CCN routers, (IEEE International Conference on Communications, ICC 2017, Paris, France, May 21-25, 2017, (2017), IEEE), 1-6
[19] Beck, H.; Dao-Tran, M.; Eiter, T., Answer update for rule-based stream reasoning, (Yang, Q.; Wooldridge, M., Proceedings of the 24th International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, (2015), AAAI Press), 2741-2747
[20] Beck, H.; Dao-Tran, M.; Eiter, T., Equivalent stream reasoning programs, (Kambhampati, S., Proceedings of the 25th International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, (2016), IJCAI/AAAI Press), 929-935
[21] Beck, H.; Dao-Tran, M.; Eiter, T.; Fink, M., LARS: a logic-based framework for analyzing reasoning over streams, (Bonet, B.; Koenig, S., Proceedings of the 29th AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA, (2015), AAAI Press), 1431-1438
[22] Beck, H.; Eiter, T.; Folie, C., Ticker: a system for incremental ASP-based stream reasoning, Theory Pract. Log. Program., 17, 5-6, 744-763, (2017) · Zbl 1422.68218
[23] Brandt, S.; Kalayci, E. G.; Kontchakov, R.; Ryzhikov, V.; Xiao, G.; Zakharyaschev, M., Ontology-based data access with a Horn fragment of metric temporal logic, (Singh, S. P.; Markovitch, S., Proceedings of the 31st AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA, (2017), AAAI Press), 1070-1076
[24] Brewka, G.; Eiter, T.; Truszczyński, M., Answer set programming at a glance, Commun. ACM, 54, 12, 92-103, (2011)
[25] Brewka, G.; Eiter, T.; Truszczyński, M., AI Mag.: Special Issue on Answer Set Programming, 37, 3, (2016), (Fall issue), AAAI Press
[26] Brewka, G.; Eiter, T., Equilibria in heterogeneous nonmonotonic multi-context systems, (Proceedings of the 22nd AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada, (2007), AAAI Press), 385-390
[27] Büchi, J. R., On a decision method in restricted second-order arithmetic, (Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress, Stanford, California, USA, August 24-September 2, 1960, (1960), Stanford University Press Stanford, CA), 1-11
[28] Büchi, J. R., Weak second-order arithmetic and finite automata, Z. Math. Log. Grundl. Math., 6, 66-92, (1960) · Zbl 0103.24705
[29] Cabalar, P.; Vega, G. P., Temporal equilibrium logic: a first approach, (Computer Aided Systems Theory - 11th International Conference on Computer Aided Systems Theory, EUROCAST 2007, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers, Lecture Notes in Computer Science, vol. 4739, (2007), Springer), 241-248 · Zbl 1394.03032
[30] Calbimonte, J.; Corcho, Ó.; Gray, A. J.G., Enabling ontology-based access to streaming data sources, (9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I, Lecture Notes in Computer Science, vol. 6496, (2010), Springer), 96-111
[31] Calvanese, D.; Kalayci, E. G.; Ryzhikov, V.; Xiao, G., Towards practical OBDA with temporal ontologies, (Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings, Lecture Notes in Computer Science, vol. 9898, (2016)), 18-24, (position paper)
[32] Carbone, P.; Katsifodimos, A.; Ewen, S.; Markl, V.; Haridi, S.; Tzoumas, K., Apache flink™: stream and batch processing in a single engine, IEEE Data Eng. Bull., 38, 4, 28-38, (2015)
[33] Ceri, S.; Gottlob, G.; Tanca, L., Logic programming and databases, Surveys in Computer Science, (1990), Springer
[34] Chandra, A. K.; Merlin, P. M., Optimal implementation of conjunctive queries in relational data bases, (Proceedings of the 9th Annual ACM Symposium on Theory of Computing, STOC 1977, STOC, (1977), ACM New York, NY, USA), 77-90
[35] Dadashzadeh, M.; Stemple, D. W., Converting SQL queries into relational algebra, Inf. Manag., 19, 5, 307-323, (1990)
[36] Dao-Tran, M.; Beck, H.; Eiter, T., Contrasting RDF stream processing semantics, (Semantic Technology - 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers, Lecture Notes in Computer Science, vol. 9544, (2015), Springer), 289-298
[37] Dao-Tran, M.; Beck, H.; Eiter, T., Towards comparing RDF stream processing semantics, (Proceedings of the 1st Workshop on High-Level Declarative Stream Processing co-located with the 38th German AI conference, KI 2015, Dresden, Germany, September 22, 2015, Proceedings, CEUR Workshop Proceedings, vol. 1447, (2015)), 15-27
[38] Dao-Tran, M.; Eiter, T., Streaming multi-context systems, (Sierra, C., Proceedings of the 26th International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, (2017)), 1000-1007
[39] de Leng, D.; Heintz, F., Qualitative spatio-temporal stream reasoning with unobservable intertemporal spatial relations using landmarks, (Schuurmans, D.; Wellman, M. P., Proceedings of the 30th AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA, (2016), AAAI Press), 957-963
[40] Della Valle, E.; Ceri, S.; van Harmelen, F.; Fensel, D., It’s a streaming world! reasoning upon rapidly changing information, IEEE Intell. Syst., 24, 83-89, (2009)
[41] DellAglio, D.; Della Valle, E.; van Harmelen, F.; Bernstein, A., Stream reasoning: a survey and outlook, Data Sci., 1, 1-2, 59-83, (2017)
[42] Demri, S.; Schnoebelen, P., The complexity of propositional linear temporal logics in simple cases, Inf. Comput., 174, 1, 84-103, (2002) · Zbl 1009.68072
[43] Dindar, N.; Tatbul, N.; Miller, R. J.; Haas, L. M.; Botan, I., Modeling the execution semantics of stream processing engines with SECRET, VLDB J., 22, 4, 421-446, (2013)
[44] Do, T. M.; Loke, S. W.; Liu, F., Answer set programming for stream reasoning, (Advances in Artificial Intelligence - 24th Canadian Conference on Artificial Intelligence, St. John’s, Canada, May 25-27, 2011, Proceedings, Lecture Notes in Computer Science, vol. 6657, (2011), Springer), 104-109
[45] Doherty, P.; Kvarnström, J.; Heintz, F., A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems, Auton. Agents Multi-Agent Syst., 19, 3, 332-377, (2009)
[46] Doyle, J., A truth maintenance system, Artif. Intell., 12, 3, 231-272, (1979)
[47] Eiter, T.; Faber, W.; Fink, M.; Woltran, S., Complexity results for answer set programming with bounded predicate arities, Ann. Math. Artif. Intell., 51, 2-4, 123-165, (2007) · Zbl 1138.68017
[48] Eiter, T.; Gottlob, G., On the computational cost of disjunctive logic programming: propositional case, Ann. Math. Artif. Intell., 15, 3/4, 289-323, (1995) · Zbl 0858.68016
[49] Eiter, T.; Fink, M., Uniform equivalence of logic programs under the stable model semantics, (Logic Programming - 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings, Lecture Notes in Computer Science, vol. 2916, (2003), Springer), 224-238 · Zbl 1204.68052
[50] Eiter, T.; Fink, M.; Ianni, G.; Krennwallner, T.; Redl, C.; Schüller, P., A model building framework for answer set programming with external computations, Theory Pract. Log. Program., 16, 4, 418-464, (2016) · Zbl 1379.68058
[51] Eiter, T.; Fink, M.; Krennwallner, T.; Redl, C., Domain expansion for ASP-programs with external sources, Artif. Intell., 233, 84-121, (2014) · Zbl 1351.68265
[52] Eiter, T.; Gottlob, G.; Mannila, H., Disjunctive Datalog, ACM Trans. Database Syst., 22, 3, 364-417, (1997)
[53] Eiter, T.; Ianni, G.; Krennwallner, T., Answer set programming: a primer, (Reasoning Web. Semantic Technologies for Information Systems - 5th International, Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009, Tutorial Lectures, Lecture Notes in Computer Science, vol. 5689, (2009), Springer), 40-110 · Zbl 1254.68248
[54] Eiter, T.; Ianni, G.; Schindlauer, R.; Tompits, H., Dlvhex: a prover for semantic-web reasoning under the answer-set semantics, (IEEE/WIC/ACM International Conference on Web Intelligence, 18-22 December 2006, Hong Kong, China, (2006), IEEE Computer Society), 1073-1074
[55] Elgot, C. C., Decision problems of finite automata design and related arithmetics, Trans. Am. Math. Soc., 98, 21-51, (1961) · Zbl 0111.01102
[56] Elkan, C., A rational reconstruction of nonmonotonic truth maintenance systems, Artif. Intell., 43, 2, 219-234, (1990) · Zbl 0717.68081
[57] Erdem, E.; Gelfond, M.; Leone, N., Applications of answer set programming, AI Mag., 37, 3, 53-68, (2016)
[58] Etessami, K.; Vardi, M. Y.; Wilke, T., First-order logic with two variables and unary temporal logic, Inf. Comput., 179, 2, 279-295, (2002) · Zbl 1096.03013
[59] Faber, W.; Leone, N.; Pfeifer, G., Recursive aggregates in disjunctive logic programs: semantics and complexity, (Alferes, J. J.; Leite, J. A., Logics in Artificial Intelligence - 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, Lecture Notes in Computer Science, vol. 3229, (2004), Springer), 200-212 · Zbl 1111.68380
[60] Gabbay, D. M., The declarative past and imperative future: executable temporal logic for interactive systems, (Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, Lecture Notes in Computer Science, vol. 398, (1987), Springer), 409-448
[61] Garcia-Molina, H.; Ullman, J. D.; Widom, J., Database systems - the complete book, (2009), Pearson Education
[62] Gebser, M.; Kaminski, R.; Kaufmann, B.; Schaub, T., Clingo = ASP + control: preliminary report, 30th International Conference on Logic Programming, Technical Communications, Theory Pract. Log. Program., 14, 4-5, (2014), Online Supplement
[63] Gebser, M.; Grote, T.; Kaminski, R.; Obermeier, P.; Sabuncu, O.; Schaub, T., Stream reasoning with answer set programming: preliminary report, (Brewka, G.; Eiter, T.; McIlraith, S. A., Principles of Knowledge Representation and Reasoning: Proceedings of the 20th International Conference, KR 2012, Rome, Italy, June 10-14, 2012, (2012), AAAI Press)
[64] Gebser, M.; Grote, T.; Kaminski, R.; Schaub, T., Reactive answer set programming, (Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings, Lecture Notes in Computer Science, vol. 6645, (2011), Springer), 54-66 · Zbl 1327.68063
[65] Gebser, M.; Kaminski, R.; Kaufmann, B.; Ostrowski, M.; Schaub, T.; Thiele, S., Engineering an incremental ASP solver, (de la Banda, G.; Pontelli, E., Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13, 2008, Proceedings, Lecture Notes in Computer Science, vol. 5366, (2008), Springer), 190-205 · Zbl 1185.68159
[66] Gebser, M.; Kaminski, R.; Kaufmann, B.; Schaub, T., Multi-shot ASP solving with clingo, (2017), CoRR
[67] Gebser, M.; Kaminski, R.; Obermeier, P.; Schaub, T., Ricochet robots reloaded: a case-study in multi-shot ASP solving, (Eiter, T.; Strass, H.; Truszczynski, M.; Woltran, S., Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, vol. 9060, (2015), Springer), 17-32 · Zbl 1432.68414
[68] Gelfond, M.; Lifschitz, V., Classical negation in logic programs and disjunctive databases, New Gener. Comput., 9, 3/4, 365-386, (1991) · Zbl 0735.68012
[69] Golab, L.; Özsu, M. T., Data stream management, Synthesis Lectures on Data Management, (2010), Morgan & Claypool Publishers · Zbl 1207.68124
[70] Gupta, A.; Mumick, I. S.; Subrahmanian, V. S., Maintaining views incrementally, (Buneman, P.; Jajodia, S., Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, Washington, D.C., May 26-28, 1993, (1993), ACM Press), 157-166
[71] Gurevich, Y., Logic and the challenge of computer science, 1-57, (1988), Computer Science Press
[72] Heintz, F.; Doherty, P., Dyknow: an approach to middleware for knowledge processing, J. Intell. Fuzzy Syst., 15, 1, 3-13, (2004)
[73] Heyting, A., Die formalen regeln der intuitionistischen logik, (Sitzungsberichte der preußischen Akademie der Wissenschaften. phys.-math. Klasse, (1930)), 42-65, 57-71, 158-169 · JFM 56.0823.01
[74] Kontchakov, R.; Pandolfo, L.; Pulina, L.; Ryzhikov, V.; Zakharyaschev, M., Temporal and spatial OBDA with many-dimensional Halpern-shoham logic, (Kambhampati, S., Proceedings of the 25th International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, (2016), IJCAI/AAAI Press), 1160-1166
[75] Koymans, R., Specifying real-time properties with metric temporal logic, Real-Time Syst., 2, 4, 255-299, (1990)
[76] Laroussinie, F.; Markey, N.; Schnoebelen, P., Temporal logic with forgettable past, (17th IEEE Symposium on Logic in Computer Science, LICS 2002, 22-25 July 2002, Copenhagen, Denmark, Proceedings, (2002), IEEE Computer Society), 383-392
[77] Leone, N.; Pfeifer, G.; Faber, W.; Eiter, T.; Gottlob, G.; Perri, S.; Scarcello, F., The DLV system for knowledge representation and reasoning, ACM Trans. Comput. Log., 7, 3, 499-562, (2006) · Zbl 1367.68308
[78] Lifschitz, V.; Pearce, D.; Valverde, A., Strongly equivalent logic programs, ACM Trans. Comput. Log., 2, 4, 526-541, (2001) · Zbl 1365.68149
[79] Markey, N., Temporal logic with past is exponentially more succinct, concurrency column, Bull. EATCS, 79, 122-128, (2003) · Zbl 1169.03332
[80] Mileo, A.; Abdelrahman, A.; Policarpio, S.; Hauswirth, M., Streamrule: a nonmonotonic stream reasoning system for the semantic web, (Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013, Proceedings, Lecture Notes in Computer Science, vol. 7994, (2013), Springer), 247-252
[81] Mileo, A.; Dao-Tran, M.; Eiter, T.; Fink, M., Stream reasoning, (Encyclopedia of Database Systems, (2017), Springer Science+Business Media), 7
[82] Motik, B.; Nenov, Y.; Piro, R. E.F.; Horrocks, I., Incremental update of Datalog materialisation: the backward/forward algorithm, (Bonet, B.; Koenig, S., Proceedings of the 29th AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA, (2015), AAAI Press), 1560-1568
[83] Nickles, M.; Mileo, A., Web stream reasoning using probabilistic answer set programming, (Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014, Proceedings, Lecture Notes in Computer Science, vol. 8741, (2014), Springer), 197-205
[84] Nickles, M.; Mileo, A., A hybrid approach to inference in probabilistic non-monotonic logic programming, (2nd International Workshop on Probabilistic Logic Programming co-located with 31st International Conference on Logic Programming, ICLP 2015, Cork, Ireland, August 31st, 2015, Proceedings, CEUR Workshop Proceedings, vol. 1413, (2015)), 57-68
[85] Oikarinen, E.; Janhunen, T., Modular equivalence for normal logic programs, (Brewka, G.; Coradeschi, S.; Perini, A.; Traverso, P., 17th European Conference on Artificial Intelligence, ECAI 2006, August 29-September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems, PAIS 2006, Proceedings, Frontiers in Artificial Intelligence and Applications, vol. 141, (2006), IOS Press), 412-416
[86] Özçep, Ö. L.; Möller, R.; Neuenstadt, C., Stream-query compilation with ontologies, (Pfahringer, B.; Renz, J., Advances in Artificial Intelligence - 28th Australasian Joint Conference, AI 2015, Canberra, ACT, Australia, November 30 - December 4, 2015, Proceedings, Lecture Notes in Computer Science, vol. 9457, (2015), Springer), 457-463
[87] Pearce, D., Equilibrium logic, Ann. Math. Artif. Intell., 47, 1-2, 3-41, (2006) · Zbl 1117.03039
[88] Phuoc, D. L.; Dao-Tran, M.; Parreira, J. X.; Hauswirth, M., A native and adaptive approach for unified processing of linked streams and linked data, (10th International Semantic Web Conference, ISWC 2011, Bonn, Germany, October 23-27, 2011, Proceedings, Part I, Lecture Notes in Computer Science, vol. 7031, (2011), Springer), 370-388
[89] Phuoc, D. L.; Dao-Tran, M.; Pham, M.; Boncz, P. A.; Eiter, T.; Fink, M., Linked stream data processing engines: facts and figures, (11th International Semantic Web Conference, ISWC 2012, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II, Lecture Notes in Computer Science, vol. 7650, (2012), Springer), 300-312
[90] Phuoc, D. L.; Nguyen-Mau, H. Q.; Parreira, J. X.; Hauswirth, M., A middleware framework for scalable management of linked streams, J. Web Semant., 16, 42-51, (2012)
[91] Pnueli, A., The temporal logic of programs, (18th Annual Symposium on Foundations of Computer Science, FOCS 1977, Providence, Rhode Island, USA, 31 October-1 November 1977, (1977), IEEE Computer Society), 46-57
[92] Polleres, A., From SPARQL to rules (and back), (Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007, (2007), ACM), 787-796
[93] Prior, A., Past, present and future, (1967), Oxford University Press · Zbl 0169.29802
[94] Ren, Y.; Pan, J. Z., Optimising ontology stream reasoning with truth maintenance system, (Proceedings of the 20th ACM Conference on Information and Knowledge Management, CIKM 2011, Glasgow, United Kingdom, October 24-28, 2011, (2011), ACM), 831-836
[95] Savitch, W. J., Relationships between nondeterministic and deterministic tape complexities, J. Comput. Syst. Sci., 4, 2, 177-192, (1970) · Zbl 0188.33502
[96] Sistla, A. P.; Clarke, E. M., The complexity of propositional linear temporal logics, J. ACM, 32, 3, 733-749, (1985) · Zbl 0632.68034
[97] Srivastava, U.; Widom, J., Flexible time management in data stream systems, (Proceedings of the 23rd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Paris, France, June 14-16, 2004, (2004), ACM), 263-274
[98] Stephens, R., A survey of stream processing, Acta Inform., 34, 7, 491-541, (1997) · Zbl 0879.68026
[99] Tiger, M.; Heintz, F., Stream reasoning using temporal logic and predictive probabilistic state models, (Dyreson, C. E.; Hansen, M. R.; Hunsberger, L., 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, Kongens Lyngby, Denmark, October 17-19, 2016, (2016), IEEE Computer Society), 196-205
[100] Trakhtenbrot, B., Finite automata and the logic of monadic predicates, Dokl. Akad. Nauk SSSR, 140, 326-329, (1961)
[101] Woltran, S., Characterizations for relativized notions of equivalence in answer set programming, (Alferes, J. J.; Leite, J. A., Logics in Artificial Intelligence - 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, Lecture Notes in Computer Science, vol. 3229, (2004), Springer), 161-173 · Zbl 1111.68695
[102] Zaniolo, C., Logical foundations of continuous query languages for data streams, (Datalog in Academia and Industry - 2nd International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012, Proceedings, Lecture Notes in Computer Science, vol. 7494, (2012), Springer), 177-189
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.