International Workshop on Rules and Rule Markup Languages for the Semantic Web

RuleML 2014: Rules on the Web. From Theory to Applications pp 1-21 | Cite as

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

  • Adrian Paschke
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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)CrossRefGoogle Scholar
  3. 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. 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)CrossRefGoogle Scholar
  5. 5.
    Boley, H., Kifer, M.: RIF Framework for Logic Dialects, W3C Recommendation, 2nd edn. (February 2013), http://www.w3.org/TR/rif-fld
  6. 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)MATHMathSciNetCrossRefGoogle Scholar
  7. 7.
    Battle, S., et al.: Semantic Web Services Language (SWSL), W3C Member Submission (September 2005)., http://www.w3.org/Submission/SWSF-SWSL/
  8. 8.
    Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-oriented and Frame-based Languages. J. ACM 42(4), 741–843 (1995)MATHMathSciNetCrossRefGoogle Scholar
  9. 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. 10.
    Paschke, A.: Rule Based Service Level Agreements (RBSLA), RuleML project (December 2006), http://rbsla.ruleml.org/
  11. 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. 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. 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)CrossRefGoogle Scholar
  14. 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. 15.
    Paschke, A., Boley, H.: Rule Responder, RuleML project (October 2007), http://responder.ruleml.org/
  16. 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. 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. 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)CrossRefGoogle Scholar
  19. 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. 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)CrossRefGoogle Scholar
  21. 21.
    Paschke, A., Kozlenkov, A.: Prova - Prolog + Java Rule Language, Open Source project (October 2006), https://prova.ws/
  22. 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)CrossRefGoogle Scholar
  23. 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. 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

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Adrian Paschke
    • 1
  1. 1.Freie Universitaet BerlinGermany

Personalised recommendations