Research and Design of Reasoning Algorithm with Ontologies and Rules

YE Yu-xin,OUYANG Dan-tong,LING Ji,ZHANG Yong-gang
DOI: https://doi.org/10.13229/j.cnki.jdxbgxb2009.05.052
2009-01-01
Abstract:The motivation to integrate ontology layer with rule layer is to improve the features of knowledge presentation formalism,named the expressive power and the reasoning procedure of semantic web.Also the integration is not just simply unifying conclusions derived from each layer.In addition,when the expressive power is increased,problems will arise from reasoning.In this paper,we introduce an integrated knowledge representation formalism and an algorithm for reasoning on this formalism.A varietal approach,named Model-Tableau,is proposed,which is based on tableau calculus.This approach can be used to deal with expressive representation and complex reasoning under combing ontologies and rules.Furthermore,the reasoning algorithm is given that combines the Model-Tableau approach and the Top-down procedure based on SLD-Resolution.The soundness of this algorithm is proved and a prototype system is provided.The results show that both the expressive power and reasoning procedure are improved.
What problem does this paper attempt to address?