Pellet-HeaRT – Proposal of an Architecture for Ontology Systems with Rules

  • Grzegorz J. Nalepa
  • Weronika T. Furmańska
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6359)


The ongoing research on integration of rules and ontologies has resulted in multiple solutions, rule languages and systems. They differ in terms of aims and scope, semantics and architecture. The paper describes a proposal of a hybrid system combining a Description Logics reasoner with a forward-chaining rule engine. An integration of a dedicated tool for modularized rule bases, called HeaRT, and a widely-used DL reasoner Pellet, is sketched. An outline of main concepts and architecture of HeaRT-Pellet system is given, explained on an example case. The benefit of this solution is the ability to use a mature rule design, analysis and inference solution together with large fact bases from ontologies.


Description Logic Formal Description Inference Task Rule Engine Inference Solution 
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.
    Baader, F., Bauer, A., Baumgartner, P., Cregan, A., Gabaldon, A., Ji, K., Lee, K., Rajaratnam, D., Schwitter, R.: A novel architecture for situation awareness systems. In: Giese, M., Waaler, A. (eds.) TABLEAUX 2009. LNCS, vol. 5607, pp. 77–92. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  2. 2.
    Baader, F., Lutz, C., Miličic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: first results. In: AAAI 2005: Proceedings of the 20th National Conference on Artificial Intelligence, pp. 572–577. AAAI Press, Menlo Park (2005)Google Scholar
  3. 3.
    Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: integrating datalog and description logics. J. of Intelligent and Cooperative Information Systems 10, 227–252 (1998)CrossRefzbMATHGoogle Scholar
  4. 4.
    Drescher, C., Liu, H., Baader, F., Guhlemann, S., Petersohn, U., Steinke, P., Thielscher, M.: Putting abox updates into action. In: Ghilardi, S., Sebastiani, R. (eds.) FroCoS 2009. LNCS, vol. 5749, pp. 214–229. Springer, Heidelberg (2009)Google Scholar
  5. 5.
    Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artificial Intelligence 172(12-13) (2008)Google Scholar
  6. 6.
    Levy, A.Y., Rousset, M.C.: Combining horn rules and description logics in CARIN. Artif. Intell. 104(1-2), 165–209 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and logic programming live together happily ever after? In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 501–514. Springer, Heidelberg (2006), CrossRefGoogle Scholar
  8. 8.
    Nalepa, G.J.: Architecture of the heart hybrid rule engine. In: Rutkowski, L., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2010. LNCS (LNAI), vol. 6114, pp. 598–605. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  9. 9.
    Nalepa, G.J., Furmańska, W.T.: Integration proposal for description logic and attributive logic– towards semantic web rules. Transactions on Computational Collective Intelligence 1(1) (to be published 2010)Google Scholar
  10. 10.
    Nalepa, G.J., Ligȩza, A.: HeKatE methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science 20(1), 35–53 (2010)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Grzegorz J. Nalepa
    • 1
  • Weronika T. Furmańska
    • 1
  1. 1.Institute of AutomaticsAGH University of Science and TechnologyKrakówPoland

Personalised recommendations