高级检索
    王海龙 马宗民 殷俊夫 程经纬. FRESG:一种模糊描述逻辑推理机[J]. 计算机研究与发展, 2009, 46(9): 1488-1497.
    引用本文: 王海龙 马宗民 殷俊夫 程经纬. FRESG:一种模糊描述逻辑推理机[J]. 计算机研究与发展, 2009, 46(9): 1488-1497.
    Wang Hailong, Ma Zongmin, Yin Junfu, and Cheng Jingwei. FRESG:A Kind of Fuzzy Description Logic Reasoner[J]. Journal of Computer Research and Development, 2009, 46(9): 1488-1497.
    Citation: Wang Hailong, Ma Zongmin, Yin Junfu, and Cheng Jingwei. FRESG:A Kind of Fuzzy Description Logic Reasoner[J]. Journal of Computer Research and Development, 2009, 46(9): 1488-1497.

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

    FRESG:A Kind of Fuzzy Description Logic Reasoner

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

       

      Abstract: Because description logic serves as the theoretical counterpart of the semantic Web and provide reasoning supports for it, the description logic reasoners are the basic supporting bodies for the semantic Web coming into use. Based on the fuzzy description logic F-ALC(G), the authors design and implement a description logic reasoner, named FRESG1.0, which can support the representation and reasoning of fuzzy customized data types and fuzzy customized data type predicates. Briefly introduced in this paper, are the reasoning services provided by FRESG1.0 and the program language of it. Also described are the overall architecture of FRESG1.0 and the design and implementation of its main components, where more attention is given to the features of the reasoner as well as the algorithms and technologies adopted in the process of implementations. From the testing cases, it can be seen that FRESG1.0 has more powerful reasoning capabilities in the representation and reasoning of the fuzzy customized data type information than other fuzzy description logic reasoners. FRESG1.0, which is open source under a very liberal license, is a complete and capable fuzzy description logic reasoner with acceptable good performance, extensive middleware, and a number of unique features, so it lays a foundation for its future investigations and extensions.

       

    /

    返回文章
    返回