6.2 基于演绎的知识图谱推理