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

• 作者: 史敏军
• 来源期刊: 计算机工程
• 学科: 地球科学
• 关键词: 描述逻辑 角色表达式 知识库 安全性
• 年，卷（期）: 2011,（17）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 26-28
• 分类号: N945
• 字数: 4301字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.17.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	史敏军	湖南工程职业技术学院信息工程系	12	20	3.0	4.0