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

• 作者: 彭立 杨恒伏
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 支持补集 传递角色 角色层次 反向角色和数量约束的属性语言(SHIN) ABox一致性判定 Tableau算法 阻塞机制 可终止性 合理性 完备性
• 年，卷（期）: 2013,（20）
• 所属期刊栏目: 理论研究、研发设计
• 页码范围: 55-62
• 页数: 8页
• 分类号: TP301.2
• 字数: 14034字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1207-0372

摘要

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

作者信息

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