不一致本体精确试的公理分割方法.PDFVIP

第３４卷第８期　　　 计算机应用与软件 Ｖｏｌ３４Ｎｏ．８ ２０１７年８月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ａｕｇ．２０１７ 不一致本体精确调试的公理分割方法 张 永 涛 （商丘工学院信息与电子工程学院　河南商丘４７６０００） 摘　要　　本体调试是解决本体不一致问题的主要手段。现有的本体调试方法能够求解出本体不一致性的一组 冲突公理集合，删除这些公理可使本体恢复到一致状态。然而，简单地删除这些冲突公理不可避免地会造成本体 信息的损失。为了解决这个问题，采用公理分割的思想，对冲突公理集合进行分割，基于分割后的公理集再次进 行调试。该方法能够保留与不一致性无关的本体信息，从而避免了信息损失的情况发生。实验结果表明，在各种 类型的实验本体上，所提出的精确调试算法在留存度与调试时间两方面都比类似相关的算法取得较好的效果。 关键词　　本体调试　不一致本体　不可满足概念　公理分割　不一致本体精确调试 中图分类号　ＴＰ３　　　　文献标识码　Ａ　　　　ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１７．０８．０１１ ＡＮＡＸＩＯＭＳＥＧＭＥＮＴＡＴＩＯＮＡＰＰＲＯＡＣＨＦＯＲＰＲＥＣＩＳＥＬＹＤＥＢＵＧＧＩＮＧ ＴＨＥＩＮＣＯＨＥＲＥＮＴＯＮＴＯＬＯＧＹ ＺｈａｎｇＹｏｎｇｔａｏ （ＣｏｌｌｅｇｅｏｆＩｎｆｏｒｍａｔｉｏｎＥｎｇｉｎｅｅｒｉｎｇ，ＳｈａｎｇｑｉｕＩｎｓｔｉｔｕｔｅｏｆＴｅｃｈｎｏｌｏｇｙ，Ｓｈａｎｇｑｉｕ４７６０００，Ｈｅｎａｎ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ｏｎｔｏｌｏｇｙｄｅｂｕｇｇｉｎｇｉｓｔｈｅｍａｉｎｍｅａｎｓｔｏｒｅｓｏｌｖｅｔｈｅｉｎｃｏｈｅｒｅｎｃｅｏｆｏｎｔｏｌｏｇｙ．Ｔｈｅｅｘｉｓｔｉｎｇｄｅｂｕｇｇｉｎｇ ｍｅｔｈｏｄｓｃａｎｐｒｏｖｉｄｅａｓｅｔｏｆｅｒｒｏｒａｘｉｏｍｓｒｅｓｐｏｎｓｉｂｌｅｆｏｒｔｈｅｉｎｃｏｈｅｒｅｎｃｅｏｆｔｈｅｏｎｔｏｌｏｇｙ，ａｎｄｒｅｍｏｖｉｎｇｔｈｅｓｅｔｏｆ ｐｒｏｂｌｅｍａｔｉｃａｘｉｏｍｓｃａｎｒｅｓｏｌｖｅｔｈｅｉｎｃｏｎｓｉｓｔｅｎｃｅ．Ｈｏｗｅｖｅｒ，ｒｅｍｏｖｉｎｇｔｈｅｓｅｐｒｏｂｌｅｍａｔｉｃａｘｉｏｍｓｃａｎｃａｕｓｅｓｅｖｅｒａｌ ｉｎｆｏｒｍａｔｉｏｎｏｆｔｈｅｏｎｔｏｌｏｇｙｔｏｂｅｌｏｓｔ．Ｉｎｏｒｄｅｒｔｏａｖｏｉｄｔｈｅｌｏｓｓｏｆｉｎｆｏｒｍａｔｉｏｎ，ｔｈｉｓｐａｐｅｒｐｒｅｓｅｎｔｓａｄｅｂｕｇｇｉｎｇａｐｐｒｏａｃｈ ｂａｓｅｄｏｎｔｈｅａｘｉｏｍｓｅｇｍｅｎｔａｔｉｏｎｍｅｔｈｏｄ．Ｔｈｉｓａｐｐｒｏａｃｈｐｅｒｆｏｒｍｓｔｈｅｄｅｂｕｇｇｉｎｇｏｎｔｈｅｓｕｂｓｅｔｓｏｆａｘｉｏｍｓｏｂｔａｉｎｅｄｂｙｔｈｅ ａｘｉｏｍｓｅｇｍｅｎｔａｔｉｏｎ．Ｉｎｔｈｉｓｗａｙ，ｔｈｅｌｏｓｓｏｆｏｎｔｏｌｏｇｙｉｎｆｏｒｍａｔｉｏｎｃａｎｂｅａｖｏｉｄｅｄ．Ｔｈｅｅｘｐｅｒｉｍｅｎｔｒｅｓｕｌｔｓｄｅｍｏｎｓｔｒａｔｅ ｔｈａｔｔｈｅｐｒｏｐｏｓｅｄａｐｐｒｏａｃｈｐｅｒｆｏｒｍｓｂｅｔｔｅｒｔｈａｎｔｈｅｅｘｉｓｔｉｎｇｄｅｂｕｇｇｉｎｇａｌｇｏｒｉｔｈｍｓｂｏｔｈｉｎｒｅｓｅｒｖａｔｉｏｎｒａｔｅａｎｄｄｅｂｕｇｇｉｎｇ ｔｉｍｅｏｖｅｒｔｈｅｍｏｓｔｔｙｐｅｓｏｆｉｎｃｏｈｅｒｅｎｔｏｎｔｏｌｏｇｉｅｓ． Ｋｅｙｗｏｒｄｓ　　Ｏｎｔｏｌｏｇｙｄｅｂｕｇｇｉｎｇ　Ｉｎｃｏｈｅｒｅｎｔｏｎｔｏｌｏｇｙ　Ｕｎｓａｔｉｓｆｉａｂｌｅｃｏｎｃｅｐｔ　Ａｘｉｏｍｓｅｇｍｅｎｔａｔｉｏｎ　Ｐｒｅｃｉｓｅｄｅｂｕｇ ｇｉｎｇｆｏｒｉｎｃｏｈｅｒｅｎｔｏｎｔｏｌｏｇｙ 且容易出错的过程［６］。此外，在本体的更新、合并与重 ０　引　言 用等应用中，逻辑矛盾的情况也经常发生。例如，多个 作者构建的小本体合并成一个较大本体时，由于知识