一种使用最小不一致集和可消解相关性的不一致本体推理方法

摘要

本发明涉及一种使用最小不一致集和可消解相关性的不一致本体推理方法。对于给定的一个推理任务，首先，进行公理标准式的转化并计算出不一致本体的所有最小不一致集；然后，使用可消解相关性来线性地选择和该推理任务相关的子公理集合，在选择过程中，采用最小不一致集来判断子公理集合的不一致性，如果子公理集合为不一致的，则通过去掉最后增加的导致不一致的公理来恢复一致性；最后，通过在一致的子公理集合上使用传统的推理方法得到推理任务的结果。并且，不一致本体中公理标准式的转化和最小不一致集的计算都可以离线进行。因此，使用本发明方法进行推理具有复杂性低、方法执行效率高的优点，适合于对大规模的不一致本体进行推理。