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