Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Scalable Distributed Ontology Reasoning Using DHT-Based Partitioning

  • Conference paper
The Semantic Web (ASWC 2008)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 5367))

Included in the following conference series:

  • 891 Accesses

Abstract

Ontology reasoning is an indispensable step to fully exploit the implicit semantics of Semantic Web data. The inherent distribution characteristic of the Semantic Web and huge amount of ontology instance data necessitates efficient and scalable distributed ontology reasoning. Current researches on distributed ontology reasoning mainly focus on dealing with the heterogeneity of different ontologies but pay little attention to the performance of distributed reasoning and have not presented practical approaches and systems. Our goal is to propose an efficient and scalable distributed ontology reasoning approach, making it practical in real semantic applications. We propose an approach in this paper, in which Description Logic reasoners for TBox reasoning are combined with rule engines for ABox reasoning to support both expressive ontologies and large amount of instance data. The published data from each node is distributed using a DHT-based partitioning and stored in well-designed relational databases to support convenient and efficient reasoning through cooperation of the distributed nodes. A practical distributed ontology reasoning and querying system called DORS is developed based on our proposed approach. Our experiments both in LANs and on PlanetLab using University Ontology Benchmark show high efficiency of DORS compared with the centralized OWL ontology reasoning system Minerva as well as good scalability with respect to the number of nodes and volume of data in the system.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American, 28–37 (2001)

    Google Scholar 

  2. Brickley, D., Guha, R. (eds.): RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation (2004), http://www.w3.org/TR/rdf-schema/

  3. Bechhofer, S., Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A. (eds.): OWL Web Ontology Language Reference. W3C Recommendation (2004), http://www.w3.org/TR/owl-ref/

  4. 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)

    MATH  Google Scholar 

  5. Sirin, E., Parsia, B., Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A Practical OWL-DL Reasoner. Journal of Web Semantics 5(2), 51–53 (2007)

    Google Scholar 

  6. Haarslev, V., Moller, R.: Racer: A Core Inference Engine for the Semantic Web Ontology Language (OWL). In: Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools (EON 2003), pp. 27–36 (2003)

    Google Scholar 

  7. Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: System description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS, vol. 4130, pp. 292–297. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  8. Motik, B., Studer, R.: KAON2 - A Scalable Reasoning Tool for the Semantic Web. In: ESWC 2005, Heraklion, Greece (2005)

    Google Scholar 

  9. Kiryakov, A., Ognyanov, D., Manov, D.: OWLIM – A pragmatic semantic repository for OWL. In: Dean, M., Guo, Y., Jun, W., Kaschek, R., Krishnaswamy, S., Pan, Z., Sheng, Q.Z. (eds.) WISE 2005 Workshops. LNCS, vol. 3807, pp. 182–192. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  10. Zhou, J., Ma, L., Liu, Q., Zhang, L., Yu, Y., Pan, Y.: Minerva: A scalable OWL ontology storage and inference system. In: Mizoguchi, R., Shi, Z.-Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol. 4185, pp. 429–443. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  11. Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating Information from Peer Sources. Journal of Data Semantics, 153–184 (2003)

    Google Scholar 

  12. Bechhofer, S., Horrocks, I., Turi, D.: The OWL instance store: System description. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS, vol. 3632, pp. 177–181. Springer, Heidelberg (2005)

    Google Scholar 

  13. Weithoner, T., Liebig, T., Luther, M., Bohm, S.: What’s Wrong with OWL Benchmarks? In: Proceedings of the Second International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2006), pp. 101–114 (2006)

    Google Scholar 

  14. Haarslev, V., Moller, R.: High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. In: International Joint Conference on Artificial Intelligence (IJCAI 2001), pp. 161–168. Morgan-Kaufmann, San Francisco (2001)

    Google Scholar 

  15. Serafini, L., Tamilin, A.: DRAGO: Distributed reasoning architecture for the semantic web. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 361–376. Springer, Heidelberg (2005)

    Google Scholar 

  16. Serafini, L., Borgida, A., Tamilin, A.: Aspects of Distributed and Modular Ontology Reasoning. In: International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 570–575 (2005)

    Google Scholar 

  17. Serafini, L., Tamilin, A.: Local Tableaux for Reasoning in Distributed Description Logics. In: International Workshop on Description Logics (DL 2004), pp. 100–109 (2004)

    Google Scholar 

  18. Bao, J., Caragea, D., Honavar, V.: A Distributed Tableau Algorithm for Package-based Description Logics. In: Proceedings of the 2nd International Workshop on Context Representation and Reasoning, CRR (2006)

    Google Scholar 

  19. Bao, J., Caragea, D., Honavar, V.: A Tableau-based Federated Reasoning Algorithm for Modular Ontologies. In: Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006), pp. 404–410 (2006)

    Google Scholar 

  20. Bao, J., Caragea, D., Honavar, V.G.: Modular ontologies - A formal investigation of semantics and expressivity. In: Mizoguchi, R., Shi, Z.-Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol. 4185, pp. 616–631. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  21. Weithoner, T., Liebig, T., Luther, M., Bohm, S., Henke, F., Noppens, O.: Real-world reasoning with OWL. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 296–310. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  22. Rock, J., Haase, P., Ji, Q., Volz, R.: Benchmarking OWL Reasoners. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 1–15. Springer, Heidelberg (2008)

    Google Scholar 

  23. Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proceedings of the 12th International Conference on World Wide Web (WWW 2003), pp. 48–57. ACM, New York (2003)

    Google Scholar 

  24. Rowstron, A., Druschel, P.: Pastry: Scalable, decentralized object location, and routing for large-scale peer-to-peer systems. In: Guerraoui, R. (ed.) Middleware 2001. LNCS, vol. 2218, pp. 329–349. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  25. Ma, L., Yang, Y., Qiu, Z., Xie, G.T., Pan, Y., Liu, S.: Towards a complete OWL ontology benchmark. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 125–139. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  26. Guo, Y., Pan, Z., Heflin, J.: An evaluation of knowledge base systems for large OWL datasets. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 274–288. Springer, Heidelberg (2004)

    Google Scholar 

  27. Prud’hommeaux, E., Seaborne, A. (eds.): SPARQL Query Language for RDF. W3C Recommendation (2008), http://www.w3.org/TR/rdf-sparql-query/

  28. Battre, D., Heine, F., Hoing, A., Kao, O.: Load-balancing in P2P Based RDF Stores. In: Proceedings of the 2nd International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2006), pp. 29–42. Springer, Heidelberg (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Tsinghua National Laboratory for Information Science and Technology Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China

    Qiming Fang, Ying Zhao, Guangwen Yang & Weimin Zheng

Authors
  1. Qiming Fang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ying Zhao
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Guangwen Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Weimin Zheng
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. The Open University Knowledge Media Institute, Walton Hall, MK6 7AA, Milton Keynes, United Kingdom

    John Domingue

  2. Shinawatra University 99 Moo 10 Bangtoey, Samkok, 12160, Pathum Thani, Thailand

    Chutiporn Anutariya

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fang, Q., Zhao, Y., Yang, G., Zheng, W. (2008). Scalable Distributed Ontology Reasoning Using DHT-Based Partitioning. In: Domingue, J., Anutariya, C. (eds) The Semantic Web. ASWC 2008. Lecture Notes in Computer Science, vol 5367. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89704-0_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89704-0_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-89703-3

  • Online ISBN: 978-3-540-89704-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation