知识图谱上的推理是一项具有挑战性的任务，因为它利用观察到的信息来预测缺失的信息。特别是，基于一阶逻辑回答复杂查询是验证学习推理能力的泛化和组合性的关键任务之一。最近，流行的方法是查询嵌入，它学习一组实体的嵌入，并将逻辑运算视为集合运算，并取得了巨大的经验成功。尽管已经有许多研究遵循相同的公式，但其许多说法缺乏正式和系统的检验。在本文中，我们重新思考了这种公式，并通过描述先前研究的查询范围，精确识别其公式与其目标之间的差距，以及对当前研究的查询进行复杂性分析，从而证明了许多先前的论断。此外，我们开发了一个新的数据集，其中包含十种新型查询，这些查询具有从未考虑过的特征，因此可以对复杂查询进行彻底的调查。最后，我们提出了一种新的神经符号方法——模糊推理与真值 (FIT)，我们用模糊逻辑理论装备神经链接预测器，以支持使用具有可证明推理能力的复杂查询进行端到端学习。实验结果表明，我们的方法在新数据集上显著优于以往的方法，同时也在现有数据集上超越了以往的方法。