|
|||||
|
|
| 扩展角色表达能力的描述逻辑 | |
| 引用本文： | 史敏军.扩展角色表达能力的描述逻辑[J].计算机工程,2011,37(17):26-28. |
| 作者姓名： | 史敏军 |
| 作者单位： | 湖南工程职业技术学院信息工程系,长沙,410151 |
| 摘 要： | 针对角色描述能力较弱的问题，在现有描述逻辑SHIQ中增加角色表达式对角色进行描述，形成描述逻辑SHIQb。给出SHIQb的相关定义，并证明若SHIQb知识库中所有角色表达式都是安全的，那么该知识库在现有的推理机KAON2上的推理仍然是Polynomia Time这一定理。在此基础上，提出一种能够判断角色表达式是否安全的算法。 |
| 关 键 词： | 描述逻辑 角色表达式 知识库 安全性 |
| 收稿时间： | 2011-03-16 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程》浏览原始摘要信息 | |
| 点击此处可从《计算机工程》下载全文 | |