文献类型：期刊文章

作　　者：蒋运承[1] 史忠植[2] 汤庸[1] 王驹[3]

机构地区：[1]中山大学计算机科学系,广东广州510275 [2]中国科学院计算技术研究所,北京100080 [3]广西师范大学计算机科学与信息工程学院,广西桂林541004

出　　处：《软件学报》

基　　金：国家自然科学基金Nos.60663001;60673135;60373081;60573010;国家重点基础研究发展计划(973)No.2003CB317004;广东省自然科学重点基金No.04105503;新世纪优秀人才支持计划;广西青年科学基金No.GUIKEQING-0640030~~

年　　份：2007

卷　　号：18

期　　号：6

起止页码：1257-1269

语　　种：中文

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

摘　　要：分析了语义Web语义表示理论的研究现状及存在的问题,提出了一种新的面向语义Web语义表示的模糊描述逻辑FSHOIQ(fuzzy SHOIQ).给出了FSHOIQ的语法和语义,提出了FSHOIQ的模糊Tableaux的概念,给出了一种基于模糊Tableaux的FSHOIQ的ABox约束下的可满足性推理算法,证明了可满足性推理算法的正确性.提出了FSHOIQ的TBox扩展和去除方法,并证明了FSHOIQ的TBox约束下的包含推理问题可以转化为ABox约束下的可满足性推理问题.FSHOIQ为语义Web表示和推理模糊知识提供了理论基础.

关 键 词：语义WEB 描述逻辑 FSHOIQ(fuzzy  SHOIQ)  语义表示

分 类 号：TP301]