论文部分内容阅读
作为语义Web的逻辑基础,描述逻辑可为其提供推理支持,因而描述逻辑推理机是语义web付诸应用的根本载体。基于模糊描述逻辑F-ALC(G),设计并实现了模糊描述逻辑推理机FRESG1.0,它支持含有模糊用户定制数据类型谓词的模糊数据类型信息的表示和推理。简要介绍了FRESG1.0的主要推理功能以及所使用的编程语言;详细描述了FRESG1.0的总体结构及其主要组成部分的设计与实现,其中着重阐述了FRESG1.0推理机的特色和设计实现过程中所采用的算法、实现技术。通过测试案例可以看出,FRESG1.0推理机具备