Computer Engineering and Applications ›› 2012, Vol. 48 ›› Issue (12): 116-119.

Previous Articles     Next Articles

Approach for expanding description logic for improving role description ability

LI Ming1, XU Dezhi2, YU Zhiqiang3   

  1. 1.College of Computer Science, Sichuan Normal University, Chengdu 610068, China
    2.College of Information Science and Engineering, Central South University, Changsha 410083, China
    3.Chengdu Aircraft Industrial(Group)Co., Ltd, Chengdu 610092, China
  • Online:2012-04-21 Published:2012-04-20

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

黎  明1,徐德智2,余志强3   

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

Abstract: 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.

Key words: description logic, role expression, knowledge base

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

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