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

• 作者: 彭立 杨恒伏
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 描述逻辑SHIQ ABox一致性判定 Tableau算法 阻塞机制 可终止性 合理性 完备性
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 开发研究与工程应用
• 页码范围: 308-315
• 页数: 8页
• 分类号: TP301.6
• 字数: 13381字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2013.12.066

摘要

为判定描述逻辑SHIQ的ABox一致性，提出一种Tableau算法。给定TBox T、ABox A和角色层次H，通过预处理将A转换成标准的ABox A’，按照特定的完整策略将一套Tableau规则应用于A’，从而不断地对A’进行扩展，直到将其扩展成完整的ABox A’’为止。A、T和H一致，当且仅当算法能产生一个完整且无冲突的ABox A’’。该算法采用的阻塞机制能防止Tableau规则被无限次执行，避免多余的规则应用。通过证明Tableau规则的执行次数为有限次，确认算法的可终止性。通过证明由A’’能构造一个同时满足A、T和H的解释，确认算法的合理性。通过证明Tableau规则的执行不会破坏A’与H的一致关系，确认算法的完备性。

作者信息

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