Parallel Computation Techniques for Ontology Reasoning

  • Jürgen Bock
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5318)


As current reasoning techniques are not designed for massive parallelisation, usage of parallel computation techniques in reasoning establishes a major research problem. I will propose two possibilities of applying parallel computation techniques to ontology reasoning: parallel processing of independent ontological modules, and tailoring the reasoning algorithms to parallel architectures.


  1. 1.
    Fensel, D., van Harmelen, F.: Unifying Reasoning and Search to Web Scale. IEEE Internet Computing 11(2), 94–96 (2007)CrossRefGoogle Scholar
  2. 2.
    Bergmann, F.W., Quantz, J.J.: Parallelizing Description Logics. In: Wachsmuth, I., Brauer, W., Rollinger, C.-R. (eds.) KI 1995. LNCS, vol. 981. Springer, Heidelberg (1995)Google Scholar
  3. 3.
    Quantz, J.J., Dunker, G., Bergmann, F., Keller, I.: The FLEX System. Technical Report 124, Technische Universität Berlin, Berlin (December 1995)Google Scholar
  4. 4.
    Liebig, T., Müller, F.: Parallelizing Tableaux-Based Description Logic Reasoning. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2007, Part II. LNCS, vol. 4806, pp. 1135–1144. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  5. 5.
    Gupta, G., Pontelli, E., Ali, K.A., Carlsson, M., Hermenegildo, M.V.: Parallel Execution of Prolog Programs: A Survey. ACM Trans. Program. Lang. Syst. 23(4), 472–602 (2001)CrossRefGoogle Scholar
  6. 6.
    Stuckenschmidt, H., Klein, M.C.A.: Structure-Based Partitioning of Large Concept Hierarchies. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 289–303. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  7. 7.
    Cuenca Grau, B., Parsia, B., Sirin, E., Kalyanpur, A.: Modularizing OWL Ontologies. In: Proceedings of the KCAP-2005 Workshop on Ontology Management. ACM, New York (2005)Google Scholar
  8. 8.
    Doran, P., Tamma, V.A.M., Iannone, L.: Ontology Module Extraction for Ontology Reuse: An Ontology Engineering Perspective. In: Proceedings of the 16th CIKM. ACM, New York (2007)Google Scholar
  9. 9.
    Cuenca Grau, B., Parsia, B., Sirin, E.: Tableau algorithms for \(\mathcal{E}\)-connections of Description Logics. Technical report, University of Maryland Institute for Advanced Computer Studies (UMIACS) (2004)Google Scholar
  10. 10.
    MacCartney, B., McIlraith, S.A., Amir, E., Uribe, T.E.: Practical Partition-Based Theorem Proving for Large Knowledge Bases. In: Proceedings of the 18th IJCAI. Morgan Kaufmann, San Francisco (2003)Google Scholar
  11. 11.
    Schlicht, A., Stuckenschmidt, H.: Distributed Resolution for ALC. In: Proceedings of DL2008. CEUR Workshop Proceedings, vol. 353 (May 2008)Google Scholar
  12. 12.
    Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL—A Polynomial-time Reasoner for Life Science Ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  13. 13.
    Acciarri, A., Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Palmieri, M., Rosati, R.: QuOnto: Querying Ontologies. In: Proceedings of the 20th AAAI. AAAI Press, Menlo Park (2005)Google Scholar
  14. 14.
    Horrocks, I.: Optimising Tableaux Decision Procedures for Description Logics. Ph.D thesis, University of Manchester (1997)Google Scholar
  15. 15.
    Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. Ph.D thesis, Universität Karlsruhe (TH), Institut AIFB, Karlsruhe, Germany (2006)Google Scholar
  16. 16.
    Bock, J., Haase, P., Ji, Q., Volz, R.: Benchmarking OWL Reasoners. In: Proceedings of the ARea2008 Workshop. CEUR Workshop Proceedings, vol. 350 (June 2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Jürgen Bock
    • 1
  1. 1.FZI Research Center for Information TechnologiesKarlsruheGermany

Personalised recommendations