含传递角色和存在限制描述逻辑系统的匹配推理  

MATCHING INFERENCE WITH TRANSITIVE ROLES AND EXISTENTIAL RESTRICTION IN DESCRIPTION LOGIC SYSTEM

作　　者：张维[1,2] 郑添健[3] 王驹[4] 

机构地区：[1]黔南民族师范学院数学系,贵州都匀558000 [2]中山大学信息科学与技术学院,广东广州510006 [3]黔南民族师范学院计算机系,贵州都匀558000 [4]广西师范大学计算机科学与信息工程学院,广西桂林541004

出　　处：《计算机应用与软件》2014年第7期267-271,319,共6页Computer Applications and Software

基　　金：贵州省教育厅自然科学基金项目(黔教科20090047);贵州省科学技术基金项目(黔科合J字[2012]2310)

摘　　要：分析了描述逻辑非标准推理的重要性和匹配推理的研究现状以及存在的问题。针对匹配推理在处理带传递属性角色符号的不足,研究含传递角色符号和存在量词描述逻辑系统EL+中的匹配推理。通过引入前向边给出EL+中概念的描述图和描述树,基于描述图和描述树给出EL+中两类匹配问题的匹配算法。说明算法的可靠性,并分析算法的复杂性。In the paper we analyse the importance of nonstandard inference in description logic and the status quo of matching inference research as well as its problems. Aiming at the insufficiency of matching inference in handling the roles symbol with transitive attribute, we study the matching inference in description logic system EL ＊ which contains transitive roles symbol and existential quantifier. Concept de- scription graph and description tree in EL ＊ are given by introducing the forward edge, then the matching algorithms for two kinds of matching problem in EL ＊ are presented as well based on description graph and description tree, the reliability and the complexity of the algorithms are also explained and analysed.

关 键 词：描述逻辑 概念模式 传递角色 匹配推理 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]