一种描述逻辑SHIF的ABox一致性判定算法

• 作者: 彭立 杨恒伏
• 来源期刊: 计算机应用研究
• 关键词: 描述逻辑SHIF ABox一致性判定 Tableau算法 阻塞机制 正确性
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 423-428
• 页数: 6页
• 分类号: TP301.2
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2013.02.029

摘要

为了判定SHIF的ABox一致性,提出了一种Tableau算法.该算法先通过预处理将ABox转换成标准形式,然后按照特定的完整策略将一套Tableau规则应用于ABox,直到将它扩展成完整的ABox为止.ABox与TBox一致,当且仅当算法能产生一个无冲突的完整的ABox.算法所采用的阻塞机制可以避免Tableau规则的无限次执行.为了提高算法的效率,该机制允许一个新个体被在其之前创建的任意新个体直接阻塞,而不仅仅局限于其祖先.通过对算法的可终止性、合理性和完备性进行证明,算法的正确性得以确认.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨恒伏	湖南第一师范学院信息科学与工程系	31	138	7.0	9.0
2	彭立	湖南第一师范学院信息科学与工程系	12	46	4.0	6.0