一种扩展DL角色描述能力的方法

摘要：

本体描述知识的逻辑基础是描述逻辑(DL),虽然现有DL中对概念的描述方式非常丰富,但是角色却只能是原子角色.针对角色描述能力低的问题,在现有的DL SHIQ中增加了角色表达式来对角色进行描述,证明了如果知识库中所有角色表达式都是安全的,该知识库在现有的推理机KAON2上的推理仍然是Exp-Time,提出了一种判断角色表达式是否安全的算法.

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

所属期刊栏目：48

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60970096

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

页数：共5页

页码：116-119,152