Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
See the DL Complexity Navigator at http://www.cs.man.ac.uk/~ezolin/dl.
- 3.
See http://dl.kr.org/dig.
- 4.
- 5.
While we use terms “moments” (time points), as well as “temporary” we do not refer to or address any temporal aspects. In fact, these terms are used only technically, to denote a sequence of ABoxes.
References
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)
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)
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)
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)
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)
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)
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)
van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier Science, Amsterdam (2007)
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)
Krötzsch, M., Rudolph, S., Hitzler, P.: ELP: tractable rules for OWL 2. In: 7th International Semantic Web Conference (ISWC2008) (2008)
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)
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)
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)
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)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
Nalepa, G.J. (2018). Rule-Based Systems and Semantic Web. In: Modeling with Rules Using Semantic Knowledge Engineering. Intelligent Systems Reference Library, vol 130. Springer, Cham. https://doi.org/10.1007/978-3-319-66655-6_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-66655-6_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-66654-9
Online ISBN: 978-3-319-66655-6
eBook Packages: EngineeringEngineering (R0)