扩展角色表达能力的描述逻辑

摘要：

针对角色描述能力较弱的问题,在现有描述逻辑SHIQ中增加角色表达式对角色进行描述,形成描述逻辑SHIQb.给出SHIQb的相关定义,并证明若SHIQb知识库中所有角色表达式都是安全的,那么该知识库在现有的推理机KAON2上的推理仍然是PolynomiaTime这一定理.在此基础上,提出一种能够判断角色表达式是否安全的算法.

关键词：描述逻辑、角色表达式、知识库、安全性

所属期刊栏目：37

分类号：N945(系统科学)

在线出版日期：2012-01-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：26-28