Abstract
The current challenge of the Semantic Web is the development of an expressive yet effective rule language. This paper presents an integration proposal for Description Logics (DL) and Attributive Logics (ALSV) is presented. These two formalisms stem from fields of Knowledge Representation and Artificial Intelligence. However, they are based on different design goals and therefore provide different description and reasoning capabilities. ALSV is the foundation of XTT2, an expressive language for rule-based systems. DL provide formulation for expressive ontology languages such as OWL2. An important research direction is the development of rule languages that can be integrated with ontologies. The contribution of the paper consists in introducing a possible transition from ALSV to DL. This opens up possibilities of using XTT2, a well-founded rule-based system modelling rule language, to improve the design of Semantic Web rules.
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
Nalepa, G.J., Furmańska, W.T.: Proposal of a New Rule-based Inference Scheme for the Semantic Web Applications. In: New Challenges in Computational Collective Intelligence. Studies in Computational Intelligence, pp. 15–26. Springer, Heidelberg (2009)
Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web: Scientific american. Scientific American (May 2001)
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)
Kifer, M., Boley, H.: RIF overview. W3C working draft, W3C (October 2009), http://www.w3.org/TR/rif-overview
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)
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)
Liebowitz, J. (ed.): The Handbook of Applied Expert Systems. CRC Press, Boca Raton (1998)
Giarratano, J., Riley, G.: Expert Systems. Principles and Programming, 4th edn. Thomson Course Technology, Boston (2005) ISBN 0-534-38447-1
Ligęza, A.: Logical Foundations for Rule-Based Systems. Springer, Heidelberg (2006)
Bratko, I.: Prolog Programming for Artificial Intelligence, 3rd edn. Addison-Wesley, Reading (2000)
Nalepa, G.J., Ligęza, A.: XTT+ rule design using the ALSV(FD). In: Giurca, A., Analyti, A., Wagner, G. (eds.) 18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rule-based applications RuleApps 2008 Patras, ECAI 2008, pp. 11–15. University of Patras, Patras (2008)
Nalepa, G.J., Ligęza, A.: HeKatE methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science (2010) (accepted for publication)
Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S.: OWL 2 web ontology language — primer. W3C recommendation, W3C (October 2009)
Nalepa, G.J., Ligęza, A.: On ALSV rules formulation and inference. In: Lane, H.C., Guesgen, H.W. (eds.) Proceedings of the twenty-second International Florida Artificial Intelligence Research Society Conference, FLAIRS-22, May 19–21, pp. 396–401. AAAI Press, Menlo Park (2009)
Klösgen, W., Żytkow, J.M. (eds.): Handbook of Data Mining and Knowledge Discovery. Oxford University Press, New York (2002)
Ligęza, A., Nalepa, G.J.: Rules verification and validation. In: Giurca, A., Dragan Gasevic, K.T. (eds.) Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pp. 273–301. IGI Global, Hershey (2009)
Ligęza, A.: Logical Foundations for Rule-Based Systems. Uczelniane Wydawnictwa Naukowo-Dydaktyczne AGH w Krakowie, Kraków (2005)
Motik, B., Horrocks, I., Sattler, U.: Bridging the gap between OWL and relational databases. Web Semantics: Science, Services and Agents on the World Wide Web 7(2), 74–89 (2009)
Negnevitsky, M.: Artificial Intelligence. A Guide to Intelligent Systems. Addison-Wesley, Harlow (2002) ISBN 0-201-71159-1
Antoniou, G., van Harmelen, F.: A Semantic Web Primer. The MIT Press, Cambridge (2008)
Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol. I. Computer Science Press, Rockville (1988)
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741–843 (1995)
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)
Levy, A.Y., Rousset, M.C.: Combining horn rules and description logics in CARIN. Artif. Intell. 104(1-2), 165–209 (1998)
Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H.: Reasoning with rules and ontologies. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol. 4126, pp. 93–127. Springer, Heidelberg (2006)
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)
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)
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., Parsia, B., Patel-Schneider, P., Hendler, J.: Semantic web architecture: Stack or two towers? In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, pp. 37–41. Springer, Heidelberg (2005)
McGuinness, D.L., Welty, C., Smith, M.K.: OWL web ontology language guide. W3C recommendation, W3C (February 2004), http://www.w3.org/TR/2004/REC-owl-guide-20040210
Motik, B., Sattler, U., Studer, R.: Query answering for owl-dl with rules. Journal of Web Semantics, 549–563 (2004)
Krötzsch, M., Rudolph, S., Hitzler, P.: ELP: Tractable rules for OWL 2. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 649–664. Springer, Heidelberg (2008)
Szostek-Janik, J.: Translations of knowledge representations for rule-based systems. AGH University of Science and Technology, MSc Thesis (2008)
Baader, F., Lutz, C., Miličic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: first results. In: Proceedings of the 20th National Conference on Artificial intelligence, AAAI 2005, pp. 572–577. AAAI Press, Menlo Park (2005)
Bong, Y.: Description logic ABox updates revisited. Master thesis, TU Dresden, Germany (2007)
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. 149–164. Springer, Heidelberg (2009)
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)
Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman and Hall, Boca Raton (2009)
Matzner, T., Hitzler, P.: Any-world access to OWL from Prolog. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol. 4667, pp. 84–98. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Nalepa, G.J., Furmańska, W.T. (2010). 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. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17155-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-17155-0_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17154-3
Online ISBN: 978-3-642-17155-0
eBook Packages: Computer ScienceComputer Science (R0)