扩展角色表达能力的描述逻辑  

Description Logic of Expanding Role Expression Ability

作　　者：史敏军[1] 

机构地区：[1]湖南工程职业技术学院信息工程系,长沙410151

出　　处：《计算机工程》2011年第17期26-28,共3页Computer Engineering

摘　　要：针对角色描述能力较弱的问题,在现有描述逻辑SHIQ中增加角色表达式对角色进行描述,形成描述逻辑SHIQb。给出SHIQb的相关定义,并证明若SHIQb知识库中所有角色表达式都是安全的,那么该知识库在现有的推理机KAON2上的推理仍然是Polynomia Time这一定理。在此基础上,提出一种能够判断角色表达式是否安全的算法。To solve the problem that the ability to describe roles is limited,this paper imports role expression in current description logic SHIQb to describe roles,forms description logic SHIQb.The relevant definitions are given,and proves that if all the role expressions of the knowledge base are safe role expressions,then the complexity of the reasoning with KAON2 reasoner is remain in Polynomia Time.From this point,an algorithm is put forward to check whether the role expression is safe.

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

分 类 号：N945[自然科学总论—系统科学]