Architecture of the HeaRT Hybrid Rule Engine

  • Grzegorz J. Nalepa
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6114)


In this paper a new rule engine called HeaRT (HeKatE Run Time) is proposed. It uses a custom rule representation called XTT2, which is based on a formalized rule description and allows a formalized analysis of rule quality. The engine is integrated with a complete design environment that provides visual rule design capabilities. The engine supports modularized rule bases and custom inference mechanisms. The rule-based logic can be integrated with the environment using external callback functions in Prolog and Java. In the paper the architecture of the engine is discussed as well as selected implementation issues are given.


Rule Base Decision Table Rule Engine Rule Representation Rule Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    van Harmelen, F., Lifschitz, V., Porter, B. (eds.): Handbook of Knowledge Representation. Elsevier Science, Amsterdam (2007)Google Scholar
  2. 2.
    Liebowitz, J. (ed.): The Handbook of Applied Expert Systems. CRC Press, Boca Raton (1998)zbMATHGoogle Scholar
  3. 3.
    Giarratano, J., Riley, G.: Expert Systems. Principles and Programming, 4th edn. Thomson Course Technology, Boston (2005), ISBN 0-534-38447-1 Google Scholar
  4. 4.
    Ligęza, A.: Logical Foundations for Rule-Based Systems. Springer, Heidelberg (2006)zbMATHGoogle Scholar
  5. 5.
    Giurca, A., Gasevic, D., Taveter, K. (eds.): Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. Information Science Reference, Hershey (2009)Google Scholar
  6. 6.
    Ross, R.G.: Principles of the Business Rule Approach, 1st edn. Addison-Wesley Professional, Reading (2003)Google Scholar
  7. 7.
    Friedman-Hill, E.: Jess in Action, Rule Based Systems in Java. Manning (2003)Google Scholar
  8. 8.
    Browne, P.: JBoss Drools Business Rules. Packt Publishing (2009)Google Scholar
  9. 9.
    Forgy, C.: Rete: A fast algorithm for the many patterns/many objects match problem. Artif. Intell. 19(1), 17–37 (1982)CrossRefGoogle Scholar
  10. 10.
    Nalepa, G.J.: Languages and tools for rule modeling. In: Giurca, A., Dragan Gasevic, K.T. (eds.) Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pp. 596–624. IGI Global, Hershey (2009)Google Scholar
  11. 11.
    Ligęza, A., Nalepa, G.J.: Rules verification and validation. In: Giurca, A., Dragan Gasevic, K.T. (eds.) Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pp. 273–301. IGI Global, Hershey (2009)Google Scholar
  12. 12.
    Nalepa, G.J., Ligęza, A.: HeKatE methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science (2010) (accepted for publication)Google Scholar
  13. 13.
    Nalepa, G.J., Ligęza, A.: XTT+ rule design using the alsv(fd). In: Giurca, A., Analyti, A., Wagner, G. (eds.) ECAI 2008: 18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rule-based applications, RuleApps2008, July 22, pp. 11–15. University of Patras, Patras (2008)Google Scholar
  14. 14.
    Nalepa, G.J., Ligęza, A., Kaczor, K., Furmańska, W.T.: HeKatE rule runtime and design framework. In: Adrian Giurca, G.W., Nalepa, G.J. (eds.) Proceedings of the 3rd East European Workshop on Rule-Based Applications (RuleApps 2009) Cottbus, Germany, September 21, pp. 21–30 (2009)Google Scholar
  15. 15.
    Bobek, S., Gawędzki, M.: Design and implementation of a runtime environment for the XTT2 rule representation method. Master’s thesis, AGH University of Science and Technology (July 2009); Supervisor: G. J. NalepaGoogle Scholar
  16. 16.
    Nalepa, G.J., Bobek, S., Gawędzki, M., Ligęza, A.: HeaRT Hybrid XTT2 rule engine design and implementation. Technical Report CSLTR 4/2009, AGH University of Science and Technology (2009)Google Scholar
  17. 17.
    Ligęza, A., Nalepa, G.J.: Proposal of a formal verification framework for the XTT2 rule bases. In: Tadeusiewicz, R., Ligęza, A., Mitkowski, W., Szymkat, M. (eds.) CMS 2009: Computer Methods and Systems: 7th Conference, Kraków, Poland, November 26–27, pp. 105–110. AGH University of Science and Technology, Cracow, Oprogramowanie Naukowo-Techniczne (2009)Google Scholar
  18. 18.
    Bratko, I.: Prolog Programming for Artificial Intelligence, 3rd edn. Addison-Wesley, Reading (2000)Google Scholar
  19. 19.
    Erl, T.: Service-Oriented Architecture (SOA): Concepts, Technology and Design. Prentice Hall PTR, Englewood Cliffs (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Grzegorz J. Nalepa
    • 1
  1. 1.Institute of AutomaticsAGH University of Science and TechnologyKrakówPoland

Personalised recommendations