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

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

Abstract: To solve the problem that the ability to describe roles is limited, this paper imports role expression in current description logic SHIQb to describe roles, forms description logic SHIQb. The relevant definitions are given, and proves that if all the role expressions of the knowledge base are safe role expressions, then the complexity of the reasoning with KAON2 reasoner is remain in Polynomia Time. From this point, an algorithm is put forward to check whether the role expression is safe.

Key words: description logic, role expression, knowledge base, safety

中图分类号: 

• N945