目前大型知识库的发展已经成为必然的趋势,而大型知识库在知识录入过程中会面临知识冗余与冲突的问题。本文给出了基于语义推理的知识冗余与冲突检测框架与实现方法。文本蕴涵识别技术是语义推理的研究重点。针对人类在语义推理过程中的推理特点,本文设计了一种基于词语比对的文本蕴涵识别方法。该方法采用多个大型知识库作为语义资源,结合机器学习与规则判断法对两个句子之间的语义推理关系做出判断。在此基础之上,本文研究了如何将语义推理应用于知识库中知识的冗余与冲突检测。针对知识库的数据量庞大,句子之间的语义推理会耗费大量时间的问题,本文运用文本检索技术将需要进行语义推理的范围缩小,从而减少运算时间。通过对相似知识特点的分析,本文提出了用于对冗余知识判断的文本局部性概念。对于常见的冲突知识,本文则采用基于规则的判断方法。