文献类型：期刊文章

作　　者：王海龙[1] 马宗民[1] 严丽[2] 程经纬[1]

机构地区：[1]东北大学信息科学与工程学院计算机应用技术研究所,沈阳110004 [2]东北大学软件学院软件工程研究所,沈阳110004

出　　处：《计算机学报》

基　　金：国家自然科学基金(60873010);教育部新世纪优秀人才支持计划(NCET-05-0288);教育部高等学校博士学科点专项科研基金(20050145024)资助~~

年　　份：2009

卷　　号：32

期　　号：8

起止页码：1511-1524

语　　种：中文

收录情况：BDHX、BDHX2008、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20093712302538)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数据类型域的概念和模糊数据类型表示的一般形式,在此基础上,定义了F-SHOIQ(G)的语法、语义及相应的知识库,进而给出了基于模糊Tableaux的F-SHOIQ(G)概念的可满足性推理算法.其次,将经典描述逻辑中的推理结构(该结构将Tableaux扩展规则推理和数据类型推理相分离)用于F-SHOIQ(G)的推理问题,设计了相应的模糊数据类型推理机.最后,详细证明了F-SHOIQ(G)概念的可满足性推理问题是可判定的.在数据类型表示方面,F-SHOIQ(G)具备比FSHOIQ更强的表达能力和推理能力,为语义Web表示和推理模糊数据信息提供了理论基础.

关 键 词：模糊描述逻辑 F-SHOIQ(G)  模糊数据类型表示  Tableaux算法  自定义模糊数据类型谓词  

分 类 号：TP301]