本体与规则整合的推理方法研究及设计

在给出混合知识表示的基础上,提出基于Tableau演算的变种算法Model-Tableau,将其与以SLD原理为基础的Top-down算法混合,给出知识查询的推理方法设计。最后,给出了算法相关证明和系统原型。结果表明:该方案丰富了语义Web的知识表示能力,有效解决了由本体层和规则层结合所产生的查询推理问题。

Research and design of reasoning algorithm with ontologies and rules

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.