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

• 作者: 张维 王驹 郑添健
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 描述逻辑 概念模式 传递角色 匹配推理
• 年，卷（期）: 2014,（7）
• 所属期刊栏目: 算法
• 页码范围: 267-271,319
• 页数: 6页
• 分类号: TP18
• 字数: 7021字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2014.07.068

摘要

分析了描述逻辑非标准推理的重要性和匹配推理的研究现状以及存在的问题.针对匹配推理在处理带传递属性角色符号的不足,研究含传递角色符号和存在量词描述逻辑系统EL+中的匹配推理.通过引入前向边给出EL+中概念的描述图和描述树,基于描述图和描述树给出EL+中两类匹配问题的匹配算法.说明算法的可靠性,并分析算法的复杂性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王驹	广西师范大学计算机科学与信息工程学院	53	458	11.0	19.0