本文讨论了RKIF规范的设计和推理引擎的实现。最终定义的RKIF实际上是一个默认封闭世界假设，并去掉了一些不常用的KIF语法特性的KIF子集。在此基础上，我们以Rete算法为核心，实现了一个RKIF推理引擎。在实现上，我们没有沿用传统的Rete网络的结点类型，而是根据RKIF的语义模型构造了5种对应的结点类型，并在Rete网络的运行和token的处理上有所创新。 为了验证该推理引擎的实用性和效率，我们将其作为一个推理应用系统——提问式检索系统的底层推理引擎。需要指出的是，这一系统本身是一项独立的工作。它实现了以一阶谓词推理为基础，在中文信息上进行语义推导的方法，并将其应用于提问式查询中。使用了基于规则的LFT方法产生自然语言的谓词表达式作为事实库源，从HowNet中抽取词汇浅层知识作为规则库，通过中心词的符号连接进行一阶谓词推理。该系统的推理模块正是建立在RKIF推理引擎之上的，因此本文的后半部分将详细介绍这个系统中的推理部分。在这一部分的最后给出了评估测试结果和可能的改进。