Abstract
In many application scenarios, the use of the Web ontology language OWL is hampered by the complexity of the underlying logic that makes reasoning in OWL intractable in the worst case. In this paper, we address the question whether approximation techniques known from the knowledge representation literature can help to simplify OWL reasoning. In particular, we carry out experiments with approximate deduction techniques on the problem of classifying new concept expressions into an existing OWL ontology using existing Ontologies on the web. Our experiments show that a direct application of approximate deduction techniques as proposed in the literature in most cases does not lead to an improvement and that these methods also suffer from some fundamental problems.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Schaerf, M., Cadoli, M.: Tractable reasoning via approximation. Artificial Intelligence 74, 249–310 (1995)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook - Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
Borgida, A., Etherington, D.W.: Hierarchical knowledge bases and efficient disjunctive reasoning. In: Brachman, R.J., Levesque, H.J., Reiter, R. (eds.) KR 1989: Principles of Knowledge Representation and Reasoning, pp. 33–43. Morgan Kaufmann, San Mateo (1989)
Baader, F., Küsters, R., Molitor, R.: Rewriting concepts using terminologies. In: Cohn, A.G., Giunchiglia, F., Selman, B. (eds.) Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2000), pp. 297–308. Morgan Kaufmann, San Francisco (2000)
Brandt, S., Küsters, R., Turhan, A.Y.: Approximation and difference in description logics. In: Fensel, D., Giunchiglia, F., McGuiness, D., Williams, M.-A. (eds.) Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), pp. 203–214. Morgan Kaufmann, San Francisco (2002)
McAllester, D.: Truth maintenance. In: Proceedings of AAAI 1990, pp. 1109–1116. Morgan Kaufmann, San Francisco (1990)
OWL test suite, http://www.w3.org/TR/owl-test/
Donini, F., Hollunder, B., Lenzerini, M., Spaccamela, A.M., Nardi, D., Nutt, W.: The complexity of existential quantification in concept languages. Artificial Intelligence 53, 309–327 (1992)
Groot, P., ten Teije, A., van Harmelen, F.: Towards a Structured Analysis of Approximate Problem Solving: a Case Study in Classification. In: Dubois, D., Welty, C., Williams, M. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), Whistler, BC, Canada, pp. 399–406. AAAI Press, Menlo Park (2004)
ten Teije, A., van Harmelen, F.: Exploiting domain knowledge for approximate diagnosis. In: Pollack, M. (ed.) Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI 1997), Nagoya, Japan, vol. 1, pp. 454–459. Morgan Kaufmann, San Francisco (1997)
ten Teije, A., van Harmelen, F.: Computing approximate diagnoses by using approximate entailment. In: Aiello, G., Doyle, J. (eds.) Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR 1996), Boston, Massachusetts. Morgan Kaufman, San Francisco (1996)
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proc. of the Twelfth International World Wide Web Conference (WWW 2003), pp. 48–57. ACM, New York (2003)
Horrocks, I.: The FaCT system. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol. 1397, pp. 307–312. Springer, Heidelberg (1998)
Haarslev, V., Möller, R.: Race system description. In: Proceedings of the 1999 Description Logic Workshop (DL 1999). CEUR Electronic Workshop Proceedings, pp. 130–132 (1999)
Haarslev, V., Möller, R.: Racer system description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701–705. Springer, Heidelberg (2001)
Bechhofer, S., Möller, R., Crowther, P.: The dig description logic interface. In: Proceedings of DL 2003 International Workshop on Description Logics, Rome (2003)
Baker, P., Brass, A., Bechhofer, S., Goble, C., Paton, N., Stevens, R.: TAMBIS: Transparent Access to Multiple Bioinformatics Information Sources. An Overview. In: Proceedings of the Sixth International Conference on Intelligent Systems for Molecular Biology (ISMB 1998), pp. 25–34. AAAI Press, Menlow Park (1998)
Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A.: Ontology Library. WonderWeb Deliverable D18. Laboratory For Applied Ontology - ISTC-CNR (20003)
Rector, A.L., Nowlan, W.A., Glowinski, A.: Goals for concept representation in the galen project. In: Proceedings of the Seventeenth Annual Symposium on Computer Applications in Medical Care (SCAMC 1993), Washington DC, USA, pp. 414–418 (1993)
Caprotti, O., Dewar, M., Turi, D.: Mathematical service matching using description logic and owl. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 73–87. Springer, Heidelberg (2004) (to appear)
Bechhofer, S.: OWL Reasoning Examples. University of Manchester (2003), http://owl.man.ac.uk/2003/why/latest/
Horrocks, I., Tessaris, S.: A conjunctive query language for description logic aboxes. In: National conference on artificial intelligence (AAAI 2000), pp. 399–404 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Groot, P., Stuckenschmidt, H., Wache, H. (2005). Approximating Description Logic Classification for Semantic Web Reasoning. In: Gómez-Pérez, A., Euzenat, J. (eds) The Semantic Web: Research and Applications. ESWC 2005. Lecture Notes in Computer Science, vol 3532. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11431053_22
Download citation
DOI: https://doi.org/10.1007/11431053_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26124-7
Online ISBN: 978-3-540-31547-6
eBook Packages: Computer ScienceComputer Science (R0)