A rule-based language for complex event processing and reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6333 LNCS, Issue , 2010, Pages 42-57

  Anicic, Darko ^a   Fodor, Paul ^b   Rudolph, Sebastian ^a   Stühmer, Roland ^a   Stojanovic, Nenad ^a   Studer, Rudi ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLICKSTREAMS; COMPLEX EVENT PROCESSING; DECLARATIVE SEMANTICS; DEDUCTIVE REASONING; DRIVEN SYSTEM; EXECUTION MODEL; FINANCIAL SERVICE; FORMAL SEMANTICS; LOGIC-BASED APPROACH; LOGIC-BASED LANGUAGES; LOGIC-BASED REPRESENTATION; MULTIPLE STREAMS; PROCESSING SYSTEMS; RULE-BASED LANGUAGE; RUNTIMES; SENSOR DEVICE;

COMPETITION; SEMANTICS; SENSORS;

FORMAL METHODS;

EID: 78049388341     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15918-3_5     Document Type: Conference Paper

References (17)

1. Agrawal, J., Diao, Y., Gyllstrom, D., Immerman, N.: Efficient pattern matching over event streams. In: SIGMOD (2008)
2. Alferes, J. J., Banti, F., Brogi, A.: An event-condition-action logic programming language. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 29-42. Springer, Heidelberg (2006)
3. Allen, J. F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832-843 (1983)
4. Alves, A.: Extensions to logic programming inference engines to support cep. In: RuleML'09 (2009)
5. Anicic, D., Fodor, P., Rudolph, S., Stühmer, R., Stojanovic, N., Studer, R.: Etalis: Rule-based reasoning in event processing. In: Helmer, S., Poulovassilis, A., Xhafa, F. (eds.) Reasoning in Event-based Distributed Systems, Studies in Computational Intelligence Series. LNCS. Springer, Heidelberg (2010)
6. Arasu, A., Babu, S., Widom, J.: The cql continuous query language: Semantic foundations and query execution. In: VLDB Journal (2003)
7. Bry, F., Eckert, M.: Rule-based composite event queries: The language xchangeeq and its semantics. In: Marchiori, M., Pan, J. Z., Marie, C.d. S. (eds.) RR 2007. LNCS, vol. 4524, pp. 16-30. Springer, Heidelberg (2007)
8. Chakravarthy, S., Mishra, D.: Snoop: an expressive event specification language for active databases. In: Data Knowledge Engineering, Elsevier Science Publishers B. V., Amsterdam (1994)
9. Etzion, O., Niblett, P.: Event Processing in Action. Manning Publications Co., Greenwich (2010)
10. Forgy, C. L.: Rete: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence (1982)
11. Gatziu, S., Dittrich, K. R.: Samos: an active object-oriented database system. In: IEEE Bulletin of the TC on Data Engineering (1992)
12. Haley, P.: Data-driven backward chaining. In: International Joint Conferences on Artificial Intelligence, Milan, Italy (1987)
13. Kowalski, R., Sergot, M.: A logic-based calculus of events. In: New Generation Computing, Ohmsha (1986)
14. Krämer, J., Seeger, B.: Semantics and implementation of continuous sliding window queries over data streams. ACM Trans. Database Syst. (2009)
15. Lausen, G., Ludäscher, B., May, W.: On active deductive databases: The statelog approach. In: ILPS'97 (1998)
16. Miller, R., Shanahan, M.: The event calculus in classical logic - alternative axiomatisations. Electron. Trans. Artif. Intell. (1999)
17. Paschke, A., Kozlenkov, A., Boley, H.: A homogenous reaction rules language for complex event processing. In: International Workshop on Event Drive Architecture for Complex Event Process. ACM, New York (2007)