Skip to main content

Reaction RuleML 1.0 for Rules, Events and Actions in Semantic Complex Event Processing

  • Conference paper
Rules on the Web. From Theory to Applications (RuleML 2014)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8620))

Abstract

Reaction RuleML is a standardized rule markup language for the representation and interchange of reaction rules. This paper gives an introduction to the core knowledge representation mechanisms of Reaction RuleML 1.0 such as multi-sorted signatures and their interpretation, action primitives for knowledge updates, interchange and testing, order-sorted external type systems and the Reaction RuleML metamodel, scopes and mode declarations, semantic profiles, imports of documents, modules and messages. These mechanisms form the basis for an adequate treatment of rules, events and actions, as needed in Semantic Complex Event Processing (SCEP), such as, interchange, translation and testing based on the intended semantics defined in semantic profiles; modularization and distribution of knowledge interfaces with their signatures defining, e.g., complex event detection patterns; closed scoped reasoning on top of scoped modules with dynamic constructive views on meta knowledge; transactional complex actions; conversation based message interchange for Question Answering (Q&A) and rule-based agent architectures such as RuleResponder, etc.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hallmark, G., Paschke, A., de SainteMarie, C.: RIF Production Rule Dialect, W3C Recommendation, 2nd edn. (February 2013), http://www.w3.org/TR/rif-prd/

  2. Boley, H., Paschke, A., Shafiq, O.: RuleML 1.0: The Overarching Specification of Web Rules. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 162–178. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  3. Boley, H.: Integrating Positional and Slotted Knowledge on the Semantic Web. Journal of Emerging Technologies in Web Intelligence 4(2), 343–353 (2010)

    Google Scholar 

  4. Boley, H.: A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011 - Europe. LNCS, vol. 6826, pp. 194–211. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  5. Boley, H., Kifer, M.: RIF Framework for Logic Dialects, W3C Recommendation, 2nd edn. (February 2013), http://www.w3.org/TR/rif-fld

  6. Chen, W., Kifer, M., Warren, D.S.: HiLog: A foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187–230 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  7. Battle, S., et al.: Semantic Web Services Language (SWSL), W3C Member Submission (September 2005)., http://www.w3.org/Submission/SWSF-SWSL/

  8. Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-oriented and Frame-based Languages. J. ACM 42(4), 741–843 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  9. Paschke, A.: The ContractLog Approach Towards Test-driven Verification and Validation of Rule Bases - A Homogeneous Integration of Test Cases and Integrity Constraints into Evolving Logic Programs and Rule Markup Languages (RuleML). International Journal of Interoperability in Business Information Systems (2005)

    Google Scholar 

  10. Paschke, A.: Rule Based Service Level Agreements (RBSLA), RuleML project (December 2006), http://rbsla.ruleml.org/

  11. Paschke, A.: A typed hybrid description logic programming language with polymorphic order-sorted dl-typed unification for semantic web type systems. In: OWLED (2006)

    Google Scholar 

  12. Paschke, A.: Rule based service level agreements: RBSLA; knowledge representation for automated e-contract, SLA and policy management. Idea Verlag GmbH (2007)

    Google Scholar 

  13. Paschke, A.: Rules and logic programming for the web. In: Polleres, A., d’Amato, C., Arenas, M., Handschuh, S., Kroner, P., Ossowski, S., Patel-Schneider, P. (eds.) Reasoning Web 2011. LNCS, vol. 6848, pp. 326–381. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  14. Paschke, A.: Semantic Complex Event Processing. Tutorial at Dem@Care Summer School on Ambient Assisted Living, Chania, Crete, Greece, September 16-20 (May 2013), http://www.slideshare.net/swadpasc/dem-aal-semanticceppaschke

  15. Paschke, A., Boley, H.: Rule Responder, RuleML project (October 2007), http://responder.ruleml.org/

  16. Paschke, A., Boley, H.: Rule Markup Languages and Semantic Web Rule Languages. In: Giurca, A., Gasevic, D., Taveter, K. (eds.) Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pp. 1–24. IGI Publishing (May 2009)

    Google Scholar 

  17. Paschke, A., Boley, H.: Rules Capturing Events and Reactivity. In: Giurca, A., Gasevic, D., Taveter, K. (eds.) Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pp. 215–252. IGI Publishing (May 2009)

    Google Scholar 

  18. Paschke, A., Boley, H.: Rule Responder: Rule-Based Agents for the Semantic-Pragmatic Web. International Journal on Artificial Intelligence Tools 20(6), 1043–1081 (2011)

    Article  Google Scholar 

  19. Paschke, A., Boley, H., Kozlenkov, A., Craig, B.L.: Rule responder: Ruleml-based agents for distributed collaboration on the pragmatic web. In: Proceedings of the 2nd International Conference on Pragmatic Web, ICPW 2007, Tilburg, The Netherlands, October 22-23. ACM International Conference Proceeding Series, vol. 280, pp. 17–28. ACM (2007)

    Google Scholar 

  20. Paschke, A., Boley, H., Zhao, Z., Teymourian, K., Athan, T.: Reaction RuleML 1.0: Standardized Semantic Reaction Rules. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol. 7438, pp. 100–119. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  21. Paschke, A., Kozlenkov, A.: Prova - Prolog + Java Rule Language, Open Source project (October 2006), https://prova.ws/

  22. Paschke, A., Kozlenkov, A.: Rule-based event processing and reaction rules. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 53–66. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  23. Paschke, A., Vincent, P., Alves, A., Moxey, C.: Tutorial on advanced design patterns in event processing. In: Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, DEBS 2012, Berlin, Germany, July 16-20, pp. 324–334. ACM (2012)

    Google Scholar 

  24. Polleres, A., Boley, H., Kifer, M.: RIF Datatypes and Built-ins 1.0, W3C Recommendation (June 2010), http://www.w3.org/TR/rif-dtb

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Paschke, A. (2014). Reaction RuleML 1.0 for Rules, Events and Actions in Semantic Complex Event Processing. In: Bikakis, A., Fodor, P., Roman, D. (eds) Rules on the Web. From Theory to Applications. RuleML 2014. Lecture Notes in Computer Science, vol 8620. Springer, Cham. https://doi.org/10.1007/978-3-319-09870-8_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-09870-8_1

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-09869-2

  • Online ISBN: 978-3-319-09870-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics