Rule-Based Systems and Semantic Web

  • Grzegorz J. NalepaEmail author
Part of the Intelligent Systems Reference Library book series (ISRL, volume 130)


This chapter discusses the practical application of the SKE approach in the context of Semantic Web technologies. In this chapter we present an original solution to a heterogeneous integration of forward chaining rules with Description logic. The Description And Attributive Logic formalism provides the integration of the ALSV(FD)-based rule solution with Description Logics. Furthermore, the Pellet-HeaRT framework enables practical runtime integration of an ontology reasoner a rule engine.


  1. 1.
    Furmańska, W.T., Nalepa, G.J.: Review of selected semantic web technologies. Technical report CSLTR 6/2009, AGH University of Science and Technology (2009)Google Scholar
  2. 2.
    Furmańska, W.T., Nalepa, G.J.: Nowe metody reprezentacji reguł dla sieci semantycznej. In: Grzech, A., et al. (eds.) Inżynieria Wiedzy i Systemy Ekspertowe. Problemy Współczesnej Nauki, Teoria i Zastosowania. Informatyka, Warszawa, Akademicka Oficyna Wydawnicza EXIT, pp. 265–275 (2009)Google Scholar
  3. 3.
    Nalepa, G.J., Furmańska, W.T.: New challenges in computational collective intelligence. In: 1st International Conference on Computational Collective Intelligence - Semantic Web, Social Networks and Multiagent Systems. Studies in Computational Intelligence, pp. 15–26. Springer (2009)Google Scholar
  4. 4.
    Nalepa, G.J., Furmańska, W.T.: Integration proposal for description logic and attributive logic - towards semantic web rules. In: Nguyen, N.T., Kowalczyk, R. (eds.) Transactions on Computational Collective Intelligence II. Lecture Notes in Computer Science, vol. 6450, pp. 1–23. Springer, Berlin (2010)Google Scholar
  5. 5.
    Nalepa, G.J., Furmańska, W.T.: Pellet-HeaRT – proposal of an architecture for ontology systems with rules. In: Dillmann, R., et al. (eds.) KI 2010: Advances in Artificial Intelligence: 33rd Annual German Conference on AI: Karlsruhe, Germany, 21–24 September 2010. Lecture Notes in Artificial Intelligence, vol. 6359, pp. 143–150. Springer, Berlin (2010)Google Scholar
  6. 6.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds) The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)Google Scholar
  7. 7.
    Adrian, W.T., Nalepa, G.J., Kaczor, K., Noga, M.: Overview of selected approaches to rule representation on the semantic web. Technical report CSLTR 2/2010, AGH University of Science and Technology (2010)Google Scholar
  8. 8.
    van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier Science, Amsterdam (2007)Google Scholar
  9. 9.
    Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: a semantic web rule language combining OWL and RuleML, W3C member submission 21 May 2004. Technical report, W3C (2004)Google Scholar
  10. 10.
    Krötzsch, M., Rudolph, S., Hitzler, P.: ELP: tractable rules for OWL 2. In: 7th International Semantic Web Conference (ISWC2008) (2008)Google Scholar
  11. 11.
    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.) The Seventh International Symposium on Frontiers of Combining Systems (FroCoS-2009). Lecture Notes in Computer Science, vol. 5749, pp. 149–164. Springer (2009)Google Scholar
  12. 12.
    Knorr, M., Hitzler, P., Maier, F.: Reconciling OWL and non-monotonic rules for the semantic web. In: Raedt, L.D., Bessière, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P.J.F. (eds.) ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, 27–31 August 2012. Frontiers in Artificial Intelligence and Applications, vol. 242, pp. 474–479. IOS Press (2012)Google Scholar
  13. 13.
    Martínez, D.C., Hitzler, P.: Extending description logic rules. In: Simperl, E., Cimiano, P., Polleres, A., Corcho, Ó., Presutti, V. (eds.) The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, 27–31 May 2012. Proceedings. Lecture Notes in Computer Science, vol. 7295, pp. 345–359. Springer (2012)Google Scholar
  14. 14.
    Mutharaju, R., Mateti, P., Hitzler, P.: Towards a rule based distributed OWL reasoning framework. In: Tamma, V.A.M., Dragoni, M., Gonçalves, R., Lawrynowicz, A. (eds.) Ontology Engineering - 12th International Experiences and Directions Workshop on OWL, OWLED 2015, Co-located with ISWC 2015, Bethlehem, PA, USA, 9-10 October 2015, Revised Selected Papers. Lecture Notes in Computer Science, vol. 9557, pp. 87–92. Springer (2015)Google Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.AGH University of Science and TechnologyKrakówPoland

Personalised recommendations