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

【文件属性】：
文件名称：论文研究-一种扩展DL角色描述能力的方法.pdf
文件大小：488KB
文件格式：PDF
更新时间：2022-10-01 16:39:04
论文研究 本体描述知识的逻辑基础是描述逻辑（DL），虽然现有DL中对概念的描述方式非常丰富，但是角色却只能是原子角色。针对角色描述能力低的问题，在现有的DL SHIQ中增加了角色表达式来对角色进行描述，证明了如果知识库中所有角色表达式都是安全的，该知识库在现有的推理机KAON2上的推理仍然是ExpTime，提出了一种判断角色表达式是否安全的算法。