Abstract
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) systems which rely on in-memory structures or (b) not so expressive ontology languages, which can be dealt with by using database technologies.
In this paper we introduce a method to perform query answering for semi-expressive ontologies without the limit of in-memory structures. Our main idea is to compute small and characteristic representations of the assertional part of the input ontology. Query answering is then more efficiently performed over a reduced set of these small represenations. We show that query answering can be distributed in a network of description logic reasoning systems to scale for reasoning. Our initial results are encouraging.
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.: The Description Logic Handbook. Cambridge University Press, New York (2007)
Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. J. of Data Semantics (2003)
Bechhofer, S., Volz, R., Lord, P.: Cooking the Semantic Web with the OWL API (2003)
Dolby, J., Fokoue, A., Kalyanpur, A., Schonberg, E., Srinivas, K.: Efficient reasoning on large SHIN Aboxes in relational databases. In: SSWS 2009 (2009)
Dean, J., Ghemawat, S.: MapReduce: Simplified data processing on large clusters. In: OSDI 2004, pp. 137–150 (2004)
Fokoue, A., Kershenbaum, A., Ma, L., Schonberg, E., Srinivas, K.: The Summary ABox: Cutting ontologies down to size. In: SSWS 2006, Athens, GA, USA, November 2006, pp. 61–74 (2006)
Guo, Y., Heflin, J.: A Scalable Approach for Partitioning OWL Knowledge Bases. In: SSWS 2006, Athens, GA, USA (November 2006)
Guo, Y., Pan, Z., Heflin, J.: Lubm: A benchmark for owl knowledge base systems. J. Web Sem. 3(2-3), 158–182 (2005)
Ganguly, S., Silberschatz, A., Tsur, S.: A framework for the parallel processing of datalog queries. SIGMOD Rec. 19(2), 143–152 (1990)
Haarslev, V., Möller, R.: Description of the RACER System and its Applications. In: Proceedings International Workshop on Description Logics (DL 2001), Stanford, USA, August 1-3, pp. 131–141 (2001)
Kaplunova, A., Möller, R., Wandelt, S., Wessel, M.: Approximation and ABox Segmentation. Technical report, Institute for Software Systems (STS), Hamburg University of Technology, Germany (2008), http://www.sts.tu-harburg.de/tech-reports/papers.html
Soma, R., Prasanna, V.K.: Parallel inferencing for OWL knowledge bases. In: 37th International Conference on Parallel Processing, ICPP 2008, September 2008, pp. 75–82 (2008)
Urbani, J., Kotoulas, S., Oren, E., van Harmelen, F.: Scalable distributed reasoning using MapReduce. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 634–649. Springer, Heidelberg (2009)
Wandelt, S., Möller, R.: Island reasoning for ALCHI ontologies. In: Proceedings of the 2008 conference on Formal Ontology in Information Systems, pp. 164–177. IOS Press, Amsterdam (2008)
Wandelt, S., Möller, R.: Distributed island simulation for reasoning over ontologies - technical report (2010), http://www.sts.tu-harburg.de/tech-reports/papers.html
Zhang, W., Wang, K., Chau, S.-C.: Data partition and parallel evaluation of datalog programs. IEEE Transactions on Knowledge and Data Engineering 7(1), 163–176 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wandelt, S., Moeller, R. (2010). Distributed Island-Based Query Answering for Expressive Ontologies. In: Bellavista, P., Chang, RS., Chao, HC., Lin, SF., Sloot, P.M.A. (eds) Advances in Grid and Pervasive Computing. GPC 2010. Lecture Notes in Computer Science, vol 6104. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13067-0_48
Download citation
DOI: https://doi.org/10.1007/978-3-642-13067-0_48
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13066-3
Online ISBN: 978-3-642-13067-0
eBook Packages: Computer ScienceComputer Science (R0)