[发明专利]一种基于归纳逻辑程序设计的数据本体逻辑推理方法

权利要求书

1.一种基于归纳逻辑程序设计的数据本体逻辑推理方法，其特征在于，包括以下具体步骤：

S1、对需要进行逻辑推理的数据本体进行预处理；

S2、提取数据本体中的主语、谓语和客体；

S3、根据数据本体中提取出来的主语、谓语和客体将数据本体转化为子句；并建立子句的集合；

S4、确定指定的论域A；

S5、对子句集合中每一个子句确定赫尔布兰德解释，得到不同的论域B；

S6、将论域B与论域A进行比对确定最终的论域范围C；

S7、基于论域范围C进行处理，得到推理结果。

2.根据权利要求1所述的基于归纳逻辑程序设计的数据本体逻辑推理方法，其特征在于，S1中对数据本体进行预处理包括去除数据本体中没有实在意义但使用频率很高的虚词和功能词。

3.根据权利要求1所述的基于归纳逻辑程序设计的数据本体逻辑推理方法，其特征在于，S3中根据数据本体中提取出来的主语、谓语和客体将数据本体转化为子句；还包括将对子句进行最小一般泛化；最小一般泛化包括将规则中的常量替换为逻辑变量和删除规则体中的某个文字。

4.根据权利要求1所述的基于归纳逻辑程序设计的数据本体逻辑推理方法，其特征在于，S4中通过人工选择的方式选择出指定的论域A。

5.根据权利要求1所述的基于归纳逻辑程序设计的数据本体逻辑推理方法，其特征在于，S5中对子句集合中每一个子句确定赫尔布兰德解释，得到不同的论域B包括将子句的个体符号解释为论域中的个体，将关系符号和函数符号分别解释为论域上的关系和函数。

6.根据权利要求1所述的基于归纳逻辑程序设计的数据本体逻辑推理方法，其特征在于，S6中对论域A和论域B进行比较；若论域A为论域B的子集则选取论域A记为论域C；若论域B为论域A的子集，则选取论域B记为论域C。

7.根据权利要求1所述的基于归纳逻辑程序设计的数据本体逻辑推理方法，其特征在于，S7中对论域范围C进行处理基于归结原理和逆归结原理，得到推理结果。