Real-time complex event recognition and reasoning-a logic programming approach

Applied Artificial Intelligence

Volumn 26, Issue 1-2, 2012, Pages 6-57

  Anicic, Darko ^a   Rudolph, Sebastian ^b   Fodor, Paul ^c   Stojanovic, Nenad ^a  

^a FZI RESEARCH CENTER FOR INFORMATION TECHNOLOGY   (Germany)

^b KARLSRUHE INSTITUTE OF TECHNOLOGY   (Germany)

^c STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX NETWORKS; COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING; SEMANTICS;

COMPLEX EVENTS; EVENT PROCESSING; EVENT RECOGNITION; FINANCIAL SERVICE; LOGIC-PROGRAMMING; REAL- TIME; SEMANTIC RELATIONS; SENSORS NETWORK; TIME COMPLEXES; TIME-CRITICAL;

PATTERN MATCHING;

EID: 84856946836     PISSN: 08839514     EISSN: 10876545     Source Type: Journal    
DOI: 10.1080/08839514.2012.636616     Document Type: Article

References (42)

1. Adaikkalavan, R., and S. Chakravarthy. 2006. SnoopIB: Interval-based event specification and detection for active databases. Data Knowledge Engineering 591:139-165. (Pubitemid 44119037)
2. Agrawal, J., Y. Diao, D. Gyllstrom, and N. Immerman. 2008. Efficient pattern matching over event streams. In Proceedings of the 28th ACM SIGMOD conference, SIGMOD'08, ed. J.T.-L. Wang, 147-160. New York, NY, USA.
3. Alferes, J. J., F. Banti, and A. Brogi. 2006. An event-condition-action logic programming language. In Proceedings of the 10th European conference on logics in artificial intelligence, JELIA'06, ed. M. Fisher, W. van der Hoek, B. Konev, and A. Lisitsa, 29-42. Berlin, Heidelberg: Springer-Verlag. (Pubitemid 44576956)
4. Allen, J. F. 1983. Maintaining knowledge about temporal intervals. Communications of the ACM 26:832-843. Available at http://doi.acm.org/10.1145/ 182.358434.
5. Anicic, D., P. Fodor, S. Rudolph, R. Stühmer, N. Stojanovic, and R. Studer. 2010. A rule-based language for complex event processing and reasoning. In Proceedings of the 4th international conference on web reasoning and rule systems, RR'10, ed. P. Hitzler and T. Lukasiewicz, 42-57. Berlin, Heidelberg: Springer-Verlag.
6. Anicic, D., P. Fodor, R. Stühmer, and N. Stojanovic. 2009. Event-driven approach for logic-based complex event processing. In Proceedings of the 12th IEEE international conference on computational science and engineering, CSE'09, 56-63. Washington, DC, USA: IEEE Computer Society.
7. Arasu, A., S. Babu, and J. Widom. 2006. The CQL continuous query language: Semantic foundations and query execution. Very Large Data Bases Journal 152:121-142. Available at http://dx.doi.org/10.1007/s00778-004-0147-z. (Pubitemid 43938935)
8. Artikis, A., G. Paliouras, F. Portet, and A. Skarlatidis. 2010. Logic-based representation, reasoning and machine learning for event recognition. In Proceedings of the 4th ACM international conference on distributed event-based systems, DEBS'10, ed. J. Bacon, P. R. Pietzuch, J. Sventek, and U. Çetintemel, 282-293. New York, NY, USA: ACM.
9. Barbieri, D. F., D. Braga, S. Ceri, and M. Grossniklaus. 2010. An execution environment for C-SPARQL queries. In Proceedings of the 13th international conference on extending database technology, EDBT'10, ed. I. Manolescu, S. Spaccapietra, J. Teubner, M. Kitsuregawa, A. Leger, F. Naumann, A. Ailamaki, and F. Ozcan, 441-452. ACM.
10. Barbieri, D. F., D. Braga, S. Ceri, E. D. Valle, and M. Grossniklaus. 2010. Incremental reasoning on streams and rich background knowledge. In Proceedings of the 7th extended semantic web conference, ESWC'10, 1-15, ed. L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral, and T. Tudorache. Berlin, Heidelberg: Springer-Verlag.
11. Barga, R. S., J. Goldstein, M. H. Ali, and M. Hong. 2007. Consistent streaming through time: A vision for event stream processing. In Proceedings of the 3rd biennial conference on innovative data systems research. CIDR'07, ed. G. Weikum, J. Hellerstein, and M. Stonebraker. 363-374.
12. Bolles, A., M. Grawunder, and J. Jacobi. 2008. Streaming SPARQL- Extending SPARQL to process data streams. In Proceedings of the 5th European semantic web conference, ESWC'08, ed. S. Bechhofer, M. Hauswirth, J. Hoffmann, and M. Koubarakis, 448-462. Berlin, Heidelberg: Springer-Verlag.
13. Brickley, D., R. Guha, and B. McBride, eds. 2004. RDF vocabulary description language 1.0: RDF schema. W3C Recommendation. Available at http://www.w3.org/TR/rdf-schema/
14. Bry, F., and Eckert, M. 2007. Rule-based composite event queries: The language xchangeeq and its semantics. In Proceedings of the 1st international conference on web reasoning and rule systems, RR'07, ed. M. Marchiori, J. Z. Pan, and C. de Sainte Marie, 16-30. Berlin, Heidelberg: Springer-Verlag.
15. Chakravarthy, S., and D. Mishra. 1994. Snoop: An expressive event specification language for active databases. Data and Knowledge Engineering 141:1-26.
16. Chandrasekaran, S., O. Cooper, A. Deshpande, M. J. Franklin, J. M. Hellerstein, W. Hong, S. Krishnamurthy, S. Madden, V. Raman, F. Reiss, and M. A. Shah. 2003. TelegraphCQ: Continuous dataflow processing for an uncertain world. In Proceedings of the 1st biennial conference on innovative data systems research, CIDR'03, ed. G. Weikum, J. Hellerstein, and M. Stonebraker. Available at www.crdrdb.org.
17. Cherniack, M., H. Balakrishnan, M. Balazinska, D. Carney, U. Çetintemel, Y. Xing, and S. B. Zdonik. 2003. Scalable distributed stream processing. In Proceedings of the 1st biennial conference on innovative data systems research,CIDR'03, ed. G. Weikum, J. Hellerstein, and M. Stonebraker. Available at www.crdrdb.org.
18. Dantsin, E., T. Eiter, G. Gottlob, and A. Voronkov. 2001. Complexity and expressive power of logic programming. ACM Computing Surveys 333:374-425. (Pubitemid 33768487)
19. Eckert, M. 2008. Complex event processing with XChangeEQ: Language design, formal semantics and incremental evaluation for querying events. Dissertation=PhD thesis, Institute of Computer Science, LMU, Munich. Available at http://www.pms.ifi.lmu.de/publikationen/#DISS-Michael.
20. Eckert PhDThesis, Institute for Informatics, University of Munich, 2008.
21. Gehani, N. H., H. V. Jagadish, and O. Shmueli. 1992. Composite event specification in active databases: Model and implementation. In Proceedings of the 18th international conference on very large data bases, VLDB'92, ed. L.-Y. Yuan, 327-338. San Francisco, CA, USA: Morgan Kaufmann.
22. Grandi, F. 2010. T-SPARQL: A TSQL2-like temporal query language for RDF. In International workshop on querying graph structured data, 21-30. CEUR online, ADBIS'10.
23. Gupta, A., and I. S. Mumick. 1999. Materialized views. ch. Maintenance of materialized views: problems, techniques, and applications. 145-157. Cambridge, MA, USA: MIT Press. Available at http://dl.acm. org/citation.cfm?id=310709. 310737.
24. Gutierrez, C., C. A. Hurtado, and A. A. Vaisman. 2007. Introducing time into RDF. The IEEE Transactions on Knowledge and Data Engineering 192:207-218. (Pubitemid 46104024)
25. Haley, P. 1987. Data-driven backward chaining. In International joint conferences on artificial intelligence. Milan, Italy.
26. Klyne, G., and J. J. Carroll, eds. 2004. Resource description framework RDF: Concepts and abstract syntax. W3C Recommendation. http://www.w3.org/TR/rdf- concepts/.
27. Koubarakis, M., and K. Kyzirakos. 2010. Modeling and querying metadata in the semantic sensorweb: The model stRDF and the query language stSPARQL. In Proceedings of the 7th extended semantic web conference, ESWC'10, ed. L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt,
28. L. Cabral, and T. Tudorache, 425-439. Lecture notes in computer science. Berlin, Heidelberg: Springer-Verlag.
29. Kowalski, R., and M. Sergot. 1986. A logic-based calculus of events. New Generation Computing 4:67-95. Available at http://portal.acm.org/citation.cfm? id=10030.10034.
30. Krämer, J., and B. Seeger. 2009. Semantics and implementation of continuous sliding window queries over data streams. ACM Transactions on Database Systems 341:1-49.
31. Lausen, G., B. Ludäscher, and W. May. 1998. On active deductive databases: The statelog approach. In Transactions and change in logic databases, ed. B. Freitag, H. Decker, M. Kifer, and A. Voronkov, 69-106. Lecture notes in computer science. Berlin, Heidelberg: Springer-Verlag. (Pubitemid 128162427)
32. Luckham, D. 2002. The power of events: An Introduction to complex event processing in distributed enterprise systems. Reading, MA, USA: Addison-Wesley.
33. Mei, Y., and S. Madden. 2009. Zstream: A cost-based query processor for adaptively detecting composite events. In Proceedings of the 29th ACM SIGMOD conference. Providence, Rhode Island, USA. 193-206.
34. Miller, R., and M. Shanahan. 1999. The event calculus in classical logic- Alternative axiomatisations. Electronic Transactions on Artificial Intelligence 3A:77-105.
35. Motakis, I., and C. Zaniolo. 1995. Composite temporal events in active database rules: A logic-oriented approach. In Proceedings of the 4th international conference on deductive and object-oriented databases, DOOD'95, ed. T. W. Ling, A. O. Mendelzon, and L. Vieille, 19-37. London, UK: Springer-Verlag. (Pubitemid 126003629)
36. Paschke, A., A. Kozlenkov, and H. Boley. 2010. A homogeneous reaction rule language for complex event processing. CoRR, abs=1008.0823.
37. Patni, H., S. S. Sahoo, C. Henson, and A. Sheth. 2010. Provenance aware linked sensor data. In Proceedings of the 2nd workshop on trust and privacy on the social and semantic web, Greece: CEUR Workshop Proceedings.
38. Perry, M., A. P. Sheth, and P. Jain. 2011. SPARQL-ST: Extending SPARQL to support spatiotemporal queries. In Geospatial semantics and the semantic web, ed. N. Ashish and A. P. Sheth, 61-86. Berlin, Heidelberg: Springer-Verlag.
39. Ray, O. 2009. Nonmonotonic abductive inductive learning. Journal of Applied Logic 73:329-340.
40. Tappolet, J. and A. Bernstein. 2009. Applied temporal RDF: Efficient temporal querying of RDF data with SPARQL. In Proceedings of the 6th European semantic web conference, ESWC'09, 308-322. Berlin, Heidelberg: Springer-Verlag.
41. Walavalkar, O., A. Joshi, T. Finin, and Y. Yesha. 2008. Streaming knowledge bases. In International workshop on scalable semantic web knowledge base systems. Karlsruhe, Germany.
42. Yoneki, E., and J. Bacon. 2005. Unified semantics for event correlation over time and space in hybrid network environments. In OTM conferences, ed. R. Meersman, Z. Tari, M.-S. Hacid, J. Mylopoulos, B. Pernici, Ö. Babaoglu, H.-A. Jacobsen, J. P. Loyall, M. Kifer, and S. Spaccapietra, 366-384. Lecture notes in computer science. Berlin, Heidelberg: Springer-Verlag. (Pubitemid 43734314)