Towards distributed ontology reasoning for the Web

  • Schlicht A
  • Stuckenschmidt H
  • 21


    Mendeley users who have this article in their library.
  • 9


    Citations of this article.


The use of description logics as one of the primary logical languages for knowledge representation on the Web has created new challenges with respect to reasoning in these logics. In order to support the vision of a semantic Web of interrelated ontologies, reasoning procedures have to be highly scalable and able to deal with physically distributed knowledge models. A natural way of addressing these problems is to rely on distributed inference procedures that can distribute the load between different solvers, thus reducing potential bottlenecks both in terms of memory and computation time. In this paper, we propose a distributed resolution approach that solves the problem by local resolution and propagation of derived axioms between different reasoners. The method is complete for first order logic, terminates for ALC ontologies and avoids duplication of axioms and inferences. The work can be seen as a building block for a large scale distributed reasoning infrastructure for the semantic Web as envisioned in recent activities such as the large knowledge collider (LarKC) project.

Author-supplied keywords

  • Semantic Web
  • Web reasoning/inference engines

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Anne Schlicht

  • Heiner Stuckenschmidt

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free