Abstract
The current challenge of the Semantic Web is the development of an expressive yet effective rule language. In this paper an overview of an integration proposal for Description Logics (DL) and Attributive Logics (ALSV) is presented. These two formalisms stem from the field of Knowledge Representation and Artificial Intelligence, and provide different description and reasoning capabilities. The contribution of the paper consists in introducing a possible transition from ALSV to DL. This opens up possibilities of using well-founded expert systems modeling languages to improve the design of Semantic Web rules.
The paper is supported by the HeKatE Project funded from 2007–2009 resources for science as a research project.
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
Preview
Unable to display preview. Download preview PDF.
References
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)
van Harmelen, F., Lifschitz, V., Porter, B. (eds.): Handbook of Knowledge Representation. Elsevier Science, Amsterdam (2007)
Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice-Hall, Englewood Cliffs (2003)
Giarratano, J., Riley, G.: Expert Systems. Principles and Programming, 4th edn. Thomson Course Technology, Boston (2005)
Ligęza, A.: Logical Foundations for Rule-Based Systems. Springer, Heidelberg (2006)
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, RuleApps 2008, July 22, 2008, pp. 11–15. University of Patras, Patras (2008)
Klösgen, W., Żytkow, J.M. (eds.): Handbook of Data Mining and Knowledge Discovery. Oxford University Press, New York (2002)
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the Twelfth International World Wide Web Conference, WWW 2003, pp. 48–57 (2003)
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)
Ligęza, A., Nalepa, G.J.: Logical Representation and Verification of Rules. In: Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. Information Science Reference (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Nalepa, G.J., Furmańska, W.T. (2009). Proposal of a New Rule-Based Inference Scheme for the Semantic Web Applications. In: Nguyen, N.T., Katarzyniak, R.P., Janiak, A. (eds) New Challenges in Computational Collective Intelligence. Studies in Computational Intelligence, vol 244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03958-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-03958-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03957-7
Online ISBN: 978-3-642-03958-4
eBook Packages: EngineeringEngineering (R0)