一种基于图的DLLite本体最小不可满足保持子集的计算方法.PDFVIP

第９期 电　　子　　学　　报 Ｖｏｌ．４４　Ｎｏ．９ ２０１６年９月 ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｓｅｐ．　２０１６ 一种基于图的ＤＬＬｉｔｅ本体最小 不可满足保持子集的计算方法 １ ２ ２ 付雪峰 ，漆桂林 ，张　勇 （１．南昌工程学院信息工程学院，江西南昌３３００９９；２．东南大学计算机科学与工程学院，江苏南京２１００９６） 　　摘　要：　演变中的本体常出现不一致性问题，这将导致标准推理失效．针对不一致性问题，最小不可满足保持子 集能够提供本体中概念不可满足的解释．计算最小不可满足保持子集是本体工程中的一项重要的非标准推理任务，但 多数计算方法须借助外部的推理机，导致计算的效率不高．为了减少对推理机的依赖，本文提出了一种基于图的最小 不可满足保持子集的计算方法．新的方法面向ＤＬＬｉｔｅ描述逻辑家族，将 ＤＬＬｉｔｅ本体转换成图，将本体中的最小不可 满足保持子集转换成图上的最小不可满足保持路径对．对比实验表明，基于图的方法提高了计算的效率和稳定性． 关键词：　本体；描述逻辑；不一致处理；最小不可满足保持子集 中图分类号：　ＴＰ３９１　　　文献标识码：　Ａ　　　文章编号：　０３７２２１１２（２０１６）０９２０４００６ 电子学报ＵＲＬ：ｈｔｔｐ：／／ｗｗｗ．ｅｊｏｕｒｎａｌ．ｏｒｇ．ｃｎ　 ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．０３７２２１１２．２０１６．０９．００２ ＡＧｒａｐｈＢａｓｅｄＡｐｐｒｏａｃｈｆｏｒＣａｌｃｕｌａｔｉｎｇＭｉｎｉｍａｌ ＵｎｓａｔｉｓｆｉａｂｉｌｉｔｙＰｒｅｓｅｒｖｉｎｇＳｕｂｓｅｔｓｏｆＯｎｔｏｌｏｇｙｉｎＤＬＬｉｔｅ １ ２ ２ ＦＵＸｕｅｆｅｎｇ，ＱＩＧｕｉｌｉｎ，ＺＨＡＮＧＹｏｎｇ （１．ＳｃｈｏｏｌｏｆＩｎｆｏｒｍａｔｉｏｎＥｎｇｉｎｅｅｒｉｎｇ，ＮａｎｃｈａｎｇＩｎｓｔｉｔｕｔｅｏｆＴｅｃｈｎｏｌｏｇｙ，Ｎａｎｃｈａｎｇ，Ｊｉａｎｇｘｉ３３００９９，Ｃｈｉｎａ； ２．ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＥｎｇｉｎｅｅｒｉｎｇ，ＳｏｕｔｈｅａｓｔＵｎｉｖｅｒｓｉｔｙ，Ｎａｎｊｉｎｇ，Ｊｉａｎｇｓｕ２１００９６，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：　Ｉｎｃｏｎｓｉｓｔｅｎｃｙｏｆｔｅｎｏｃｃｕｒｓｄｕｒｉｎｇｏｎｔｏｌｏｇｙｅｖｏｌｕｔｉｏｎ，ａｎｄｌｅａｄｓｔｏｔｈｅｉｎｖａｌｉｄｉｔｙｏｆｓｔａｎｄａｒｄｒｅａｓｏｎｉｎｇ． ＭｉｎｉｍａｌｕｎｓａｔｉｓｆｉａｂｌｉｌｉｔｙｐｒｅｓｅｒｖｉｎｇｓｕｂＴＢｏｘ（ＭＵＰＳ）ｃａｎｐｒｏｖｉｄｅａｎｅｘｐｌａｎａｔｉｏｎｏｆｔｈｅｕｎｓａｔｉｓｆｉａｂｉｌｉｔｙｏｆａｃｏｎｃｅｐｔｉｎａｎ ｏｎｔｏｌｏｇｙ．ＦｉｎｄｉｎｇａｌｌＭＵＰＳｉｓａｎｉｍｐｏｒｔａｎｔｎｏｎｓｔａｎｄａｒｄｒｅａｓｏｎｉｎｇｔａｓｋｉｎｏｎｔｏｌｏｇｙｅｎｇｉｎｅｅｒｉｎｇ．Ｍｏｓｔｏｆｔｈｅａｐｐｒｏａｃｈｅｓｆｏｒ ｃａｌｃｕｌａｔｉｎｇＭＵＰＳａｒｅｂｕｉｌｔｏｎｅｘｔｅｒｎａｌｄｅｓｃｒｉｐｔｉｏｎｌｏｇｉｃｒｅａｓｏｎｅｒｓ．Ｈｏｗｅｖｅｒ，ａｒｅａｓｏｎｅｒｂａｓｅｄｍｅｔｈｏｄｃａｎｈａｒｄｌｙａｃｈｉｅｖｅ ｐｏｓｉｔｉｖｅｅｆｆｉｃｉｅｎｃｙａｎｄｓｔａｂｉｌｉｔｙ．Ｉｎｔｈｉｓｐａｐｅｒ，ｗｅｐｒｏｐｏｓｅａｒｅａｓｏｎｅｒｉｎｄｅｐｅｎｄｅｎｔａｐｐｒｏａｃｈｔｏｃａｌｃｕｌａｔｉｎｇＭＵＰＳｕｓｉｎｇｇｒａｐｈ ｒｅｐｒｅｓｅｎｔａｔｉｏｎ．Ｗｅｆｉｒｓｔｔｒａｎｓ