一种推理树数据的合成方法、系统、电子设备及存储介质

1.一种推理树数据的合成方法，其特征在于，包括：获取本体；基于所述本体，合成图数据，所述图数据包括正例断言集和负例断言集；采用第一推理机对所述本体和所述图数据进行推理，以获得断言和推导匹配所述断言的解释；利用DL2Prolog将所述解释转换为Prolog知识库、将所述断言转换为Prolog询问；以及利用第二推理机对所述Prolog知识库和所述Prolog询问进行推理，以获得从所述Prolog知识库出发推导所述Prolog询问的推理树；所述采用第一推理机对所述本体和所述图数据进行推理，以获得断言和推导匹配所述断言的解释，包括：使用Pellet推理机对所述本体和所述正例断言集共同构成的知识库进行推理；对每个新推出的所述断言，使用所述Pellet推理机获得推导所述断言的一个解释，并以所述断言和对应的所述解释组成一个断言-解释对；以及对所述负例断言集中的每个负例断言，使用所述Pellet推理机对所述本体、所述正例断言集和所述负例断言进行推理，以获得不一致的一个解释，并以所述负例断言的否定断言和对应的所述解释组成一个断言-解释对；所述利用DL2Prolog将所述解释转换为Prolog知识库、将所述断言转换为Prolog询问，包括：利用DL2Prolog将所述断言-解释对中的解释转换为Prolog知识库；利用DL2Prolog将所述断言-解释对中的断言转换为Prolog询问；以及基于所述Prolog知识库和所述Prolog询问，形成询问-知识库对；所述利用第二推理机对所述Prolog知识库和所述Prolog询问进行推理，以获得从所述Prolog知识库出发推导所述Prolog询问的推理树，包括：利用tuProlog对每一个询问-知识库对，分别使用所述Prolog知识库、所述Prolog询问作为tuProlog的理论和询问输入进行推理，以获取从所述Prolog知识库出发推导所述Prolog询问的推理树。 2.根据权利要求1所述的推理树数据的合成方法，其特征在于，所述获取本体，包括：获取一个Web本体语言和语义Web规则语言表示的所述本体；以及使用Pellet推理机对所述本体进行推理，检测所述本体是否具有一致性，如果所述本体具有一致性则进入所述基于所述本体，合成图数据的步骤。 3.根据权利要求2所述的推理树数据的合成方法，其特征在于，所述利用第二推理机对所述Prolog知识库和所述Prolog询问进行推理，以获得从所述Prolog知识库出发推导所述Prolog询问的推理树，还包括：如果所述tuProlog不在预设时间内获取推理树，则停止所述推理，并将所述Prolog知识库中的所有子句顺序随机排列，使用重排顺序的所述Prolog知识库、所述Prolog询问作为所述tuProlog的理论和询问输入进行推理，直到在所述预设时间内成功获取一个从所述Prolog知识库出发推导所述Prolog询问的推理树。 4.一种使用如权利要求1-3任一项所述的推理树数据的合成方法的系统，其特征在于，包括：获取模块，用于获取本体；图数据合成模块，用于基于所述本体，合成图数据，所述图数据包括正例断言集和负例断言集；第一推理模块，用于采用第一推理机对所述本体和所述图数据进行推理，以获得断言和推导匹配所述断言的解释；转换模块，用于利用DL2Prolog将所述解释转换为Prolog知识库、将所述断言转换为Prolog询问；以及第二推理模块，用于利用第二推理机对所述Prolog知识库和所述Prolog询问进行推理，以获得从所述Prolog知识库出发推导所述Prolog询问的推理树；所述采用第一推理机对所述本体和所述图数据进行推理，以获得断言和推导匹配所述断言的解释，包括：使用所述Pellet推理机对所述本体和所述正例断言集共同构成的知识库进行推理；对每个新推出的所述断言，使用所述Pellet推理机获得推导所述断言的一个解释，并以所述断言和对应的所述解释组成一个断言-解释对；以及对所述负例断言集中的每个负例断言，使用所述Pellet推理机对所述本体、所述正例断言集和所述负例断言进行推理，以获得不一致的一个解释，并以所述负例断言的否定断言和对应的所述解释组成一个断言-解释对；所述利用DL2Prolog将所述解释转换为Prolog知识库、将所述断言转换为Prolog询问，包括：利用DL2Prolog将所述断言-解释对中的解释转换为Prolog知识库；利用DL2Prolog将所述断言-解释对中的断言转换为Prolog询问；以及基于所述Prolog知识库和所述Prolog询问，形成询问-知识库对；所述利用第二推理机对所述Prolog知识库和所述Prolog询问进行推理，以获得从所述Prolog知识库出发推导所述Prolog询问的推理树，包括：利用tuProlog对每一个询问-知识库对，分别使用所述Prolog知识库、所述Prolog询问作为tuProlog的理论和询问输入进行推理，以获取从所述Prolog知识库出发推导所述Prolog询问的推理树。 5.一种电子设备，包括存储器、处理器及存储在所述存储器上并可在所述处理器上运行的计算机程序，其特征在于，所述处理器执行所述计算机程序时实现如权利要求1至3中任一项所述的推理树数据的合成方法。 6.一种计算机可读存储介质，其特征在于，所述计算机可读存储介质存储有计算机程序，当所述计算机程序被处理器执行时实现如权利要求1至3中任一项所述的推理树数据的合成方法。