-
题名描述逻辑SHIN的ABox一致性判定算法
- 1
-
-
作者
彭立
杨恒伏
-
机构
湖南第一师范学院信息科学与工程系
-
出处
《计算机工程与应用》
CSCD
2013年第20期55-62,共8页
-
基金
国家自然科学基金(No.61073191)
湖南第一师范学院校级课题(No.XYS10N09)
-
文摘
为了判定描述逻辑SHIN的ABox一致性,提出了一种Tableau算法。给定TBox T、ABox A和角色层次H,该算法通过预处理将A转换成标准的ABox A′,按照特定的完整策略将一套Tableau规则应用于A′,直到将它扩展成完整的ABox A″为止。A与T和H一致,当且仅当算法能产生一个完整且无冲突的ABox A″。算法所采用的阻塞机制可以避免Tableau规则的无限次执行,该机制允许一个新个体被在其之前创建的任意新个体直接阻塞,而不仅仅局限于其祖先。通过对算法的可终止性、合理性和完备性进行证明,算法的正确性得以确认。
-
关键词
支持补集
传递角色
角色层次
反向角色和数量约束的属性语言(SHIN)
ABox一致性判定
TABLEAU算法
阻塞机
制
可终止性
合理性
完备性
-
Keywords
attributive language with Complement, Transitive role, role Hierarchy, Inverse role, and Number restriction（SHIN）
ABox consistency decision
Tableau algorithm
blocking mechanism
termination
soundness
completeness
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
-
