论文研究一种扩展DL角色描述能力的方法.pdf

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