一种基于归纳逻辑程序设计的数据本体逻辑推理方法

摘要

一种基于归纳逻辑程序设计的数据本体逻辑推理方法，包括以下具体步骤：对需要进行逻辑推理的数据本体进行预处理；提取数据本体中的主语、谓语和客体；根据数据本体中提取出来的主语、谓语和客体将数据本体转化为子句；并建立子句的集合；确定指定的论域A；对子句集合中每一个子句确定赫尔布兰德解释，得到不同的论域B；将论域B与论域A进行比对确定最终的论域范围C；基于论域范围C进行处理，得到推理结果；本发明通过对数据本体进行预处理，再经过子句、赫尔布兰德解释确定论域范围后基于归结原理和逆归结原理，得到推理结果。