FRESG:一种模糊描述逻辑推理机

• 作者: 殷俊夫 王海龙 程经纬 马宗民
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 语义Web 模糊描述逻辑 F-ALC(G) 推理机 用户定制数据类型
• 年，卷（期）: 2009,（9）
• 所属期刊栏目: 人工智能
• 页码范围: 1488-1497
• 页数: 10页
• 分类号: TP18
• 字数: 7536字
• 语种: 中文

摘要

作为语义Web的逻辑基础,描述逻辑可为其提供推理支持,因而描述逻辑推理机是语义Web付诸应用的根本载体.基于模糊描述逻辑F-ALC(G),设计并实现了模糊描述逻辑推理机FRESG1.0,它支持含有模糊用户定制数据类型谓词的模糊数据类型信息的表示和推理.简要介绍了FRESG1.0的主要推理功能以及所使用的编程语言;详细描述了FRESG1.0的总体结构及其主要组成部分的设计与实现,其中着重阐述了FRESG1.0推理机的特色和设计实现过程中所采用的算法、实现技术.通过测试案例可以看出,FRESG1.0推理机具备较强的推理能力,尤其具备目前其他推理机所不具备的推理模糊用户定制数据信息的能力.FRESG1.0具有较强的模块化结构,有很好的可扩展性,为今后对其进行深入研究和扩展奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马宗民	东北大学信息科学与工程学院	85	820	15.0	24.0
2	程经纬	东北大学信息科学与工程学院	9	73	5.0	8.0
3	王海龙	东北大学信息科学与工程学院	9	62	4.0	7.0
4	殷俊夫	东北大学信息科学与工程学院	1	16	1.0	1.0