Document Type


Publication Date


Publication Title

International Journal on Advances in Intelligent Systems








In this paper we consider knowledge bases that organize information using ontologies. Specifically, we investigate reasoning over a semantic web where the underlying knowledge base covers linked data about science research that are being harvested from the Web and are supplemented and edited by community members. In the semantic web over which we want to reason, frequent changes occur in the underlying knowledge base, and less frequent changes occur in the underlying ontology or the rule set that governs the reasoning. Interposing a backward chaining reasoner between a knowledge base and a query manager yields an architecture that can support reasoning in the face of frequent changes. However, such an interposition of the reasoning introduces uncertainty regarding the size and effort measurements typically exploited during query optimization. We present an algorithm for dynamic query optimization in such an architecture. We also introduce new optimization techniques to the backward-chaining algorithm. We show that these techniques together with the query-optimization reported on earlier, will allow us to actually outperform forward-chaining reasoners in scenarios where the knowledge base is subject to frequent change. Finally, we analyze the impact of these techniques on a large knowledge base that requires external storage.


"The author(s) of a manuscript agree that, if the manuscript is accepted for publication in IARIA journals, the published article will be copyrighted using a Creative Commons 'Attribution-Non Commercial-Share Alike' license. This license allows the author(s) to retain the copyright, but also allows others to freely copy, distribute, and display the copyrighted work, and derivative works based upon it, under certain specified conditions."

Original Publication Citation

Shi, H., Maly, K., & Zeil, S. (2014). A scalable backward chaining-based reasoner for a semantic web. International Journal on Advances in Intelligent Systems, 7(1-2), 23-38.


0000-0003-1479-588X (Kurt Maly)