Abstract
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.
The paper is supported by the BIMLOQ Project funded from 2010–2012 resources for science as a research project.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
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)
Levy, A.Y., Rousset, M.C.: Combining horn rules and description logics in CARIN. Artif. Intell. 104(1-2), 165–209 (1998)
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), http://dx.doi.org/10.1007/11926078_36
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nalepa, G.J., Furmańska, W.T. (2010). Pellet-HeaRT – Proposal of an Architecture for Ontology Systems with Rules. In: Dillmann, R., Beyerer, J., Hanebeck, U.D., Schultz, T. (eds) KI 2010: Advances in Artificial Intelligence. KI 2010. Lecture Notes in Computer Science(), vol 6359. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16111-7_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-16111-7_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16110-0
Online ISBN: 978-3-642-16111-7
eBook Packages: Computer ScienceComputer Science (R0)