计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (12): 116-119.
黎 明1,徐德智2,余志强3
LI Ming1, XU Dezhi2, YU Zhiqiang3
摘要: 本体描述知识的逻辑基础是描述逻辑(DL),虽然现有DL中对概念的描述方式非常丰富,但是角色却只能是原子角色。针对角色描述能力低的问题,在现有的DL SHIQ中增加了角色表达式来对角色进行描述,证明了如果知识库中所有角色表达式都是安全的,该知识库在现有的推理机KAON2上的推理仍然是ExpTime,提出了一种判断角色表达式是否安全的算法。