REAL-TIME COMPLEX EVENT RECOGNITION AND REASONING–A LOGIC PROGRAMMING APPROACH

REFERENCES

• Adaikkalavan , R. , and S. Chakravarthy . 2006 . SnoopIB: Interval-based event specification and detection for active databases . Data Knowledge Engineering 591 : 139 – 165 .
   Web of Science ®Google Scholar
• 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.
   Google Scholar
• 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 .
   Google Scholar
• 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 .
   Web of Science ®Google Scholar
• 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 .
   Google Scholar
• 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.
   Google Scholar
• 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 .
   Web of Science ®Google Scholar
• 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 .
   Google Scholar
• 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.
   Google Scholar
• 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.
   Google Scholar
• 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.
   Google Scholar
• 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 .
   Google Scholar
• 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/
   Google Scholar
• 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 .
   Google Scholar
• Chakravarthy , S. , and D. Mishra . 1994. Snoop: An expressive event specification language for active databases. Data and Knowledge Engineering 141:1–26.
   Web of Science ®Google Scholar
• 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.
   Google Scholar
• 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.
   Google Scholar
• Dantsin , E. , T. Eiter , G. Gottlob , and A. Voronkov . 2001 . Complexity and expressive power of logic programming . ACM Computing Surveys 333 : 374 – 425 .
   Web of Science ®Google Scholar
• 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.Eckert PhDThesis, Institute for Informatics, University of Munich, 2008.
   Google Scholar
• 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.
   Google Scholar
• 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.
   Google Scholar
• 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 .
   Google Scholar
• 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 .
   Web of Science ®Google Scholar
• Haley , P. 1987 . Data-driven backward chaining . In International joint conferences on artificial intelligence . Milan , Italy .
   Google Scholar
• 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/.
   Google Scholar
• 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, L. Cabral, and T. Tudorache, 425–439. Lecture notes in computer science. Berlin, Heidelberg: Springer-Verlag.
   Google Scholar
• 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 .
   Web of Science ®Google Scholar
• 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 .
   Web of Science ®Google Scholar
• 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 .
   Google Scholar
• Luckham , D. 2002 . The power of events: An Introduction to complex event processing in distributed enterprise systems . Reading , MA , USA : Addison-Wesley .
   Google Scholar
• 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.
   Google Scholar
• Miller , R. , and M. Shanahan . 1999 . The event calculus in classical logic – Alternative axiomatisations . Electronic Transactions on Artificial Intelligence 3A : 77 – 105 .
   Google Scholar
• 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 .
   Google Scholar
• Paschke , A. , A. Kozlenkov , and H. Boley . 2010 . A homogeneous reaction rule language for complex event processing. CoRR, abs/1008.0823.
   Google Scholar
• 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.
   Google Scholar
• 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 .
   Google Scholar
• Ray , O. 2009 . Nonmonotonic abductive inductive learning . Journal of Applied Logic 73 : 329 – 340 .
   Web of Science ®Google Scholar
• 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.
   Google Scholar
• 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.
   Google Scholar
• 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 .
   Google Scholar