# 反向推理机
RacePro推理机
RacePro推理机是本体推理的必备工具，csdn上有一个但不能用，故发一个能用的
pellet推理机
Pellet是一种基于Tableau算法的描述逻辑推理机，由美国马里兰大学（CollegePark分校）的MindSwap实验室
racer推理机
Jena中的推理引擎和RACER都是针对具体本体语言的推理机，针对性强，效率高。
racerpro推理机
很好的推理工具，能够在本体应用中发挥很好的作用
protege推理机RacerPro
这是protege的推理机，可以用于本体推理。很多人找，放在这儿共享啦。
Jena查询推理机
我在自己电脑上实现了！在Myeclipse中使用Jena实现对本体的查询！
protege推理机racer
这是领域本体构建工具protege中的推理机racer，对于研究本体构建有重要参考价值。
JESS推理机插件
jess的推理插件，可以直接拷贝到相应的工具目录下
论文研究FPN并行反向推理算法研究.pdf
通过对Petri网模型和专家系统推理方法的研究，建立了模糊Petri网（FPN）推理模型。在此基础上提出了专家系统的FPN反向推
产生式系统正反向推理MFC实现和操作步骤
产生式系统正反向推理 MFC 实现和操作步骤。 产生式系统正反向推理MFC实现和操作步骤.rar 可直接运行 实验内容与要求 运