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

Approach for expanding description logic for improving role description ability

作　　者：黎明[1] 徐德智[2] 余志强[3] 

机构地区：[1]四川师范大学计算机科学学院,成都610068 [2]中南大学信息科学与工程学院,长沙410083 [3]成都飞机工业(集团)有限责任公司,成都610092

出　　处：《计算机工程与应用》2012年第12期116-119,152,共5页Computer Engineering and Applications

基　　金：国家自然科学基金(No.60970096)

摘　　要：本体描述知识的逻辑基础是描述逻辑(DL),虽然现有DL中对概念的描述方式非常丰富,但是角色却只能是原子角色。针对角色描述能力低的问题,在现有的DLSHIQ中增加了角色表达式来对角色进行描述,证明了如果知识库中所有角色表达式都是安全的,该知识库在现有的推理机KAON2上的推理仍然是Exp-Time,提出了一种判断角色表达式是否安全的算法。Description logic is the logical foundation of ontology to describe knowledge.There are many ways to describe concepts in current description logic,but roles can only be atom roles.The role description ability is limited.To solve this problem,this paper introduces role expression in current description logic SHIQ to describe roles,and proves that if all the role expressions of the knowledge base are safe role expressions,the complexity of the reasoning with KAON2 reasoner remains in ExpTime.From this point,an algorithm is brought forward to check whether the role expression is safe.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]