12.4.1 基于符号逻辑的知识图谱推理