文献类型：期刊文章

作　　者：蒋运承[1] 汤庸[1] 王驹[2]

机构地区：[1]中山大学计算机科学系,广东广州510275 [2]广西师范大学数学与计算机科学学院,广西桂林541004

出　　处：《软件学报》

基　　金：国家自然科学基金;国家高技术研究发展计划(863);广东省自然科学重点基金~~

年　　份：2006

卷　　号：17

期　　号：1

起止页码：20-30

语　　种：中文

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

摘　　要：分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊ER模型.针对模糊ER模型的特点和需求,在描述逻辑ALNUI的基础上,对描述逻辑ALNUI进行了模糊化推广,提出了一种新的描述逻辑,即模糊描述逻辑FALNUI.研究了基于FALNUI的模糊ER模型,即研究了如何将模糊ER模型转化为FALNUI的知识库,并利用FALNUI的推理机制研究了模糊ER模型的可满足性、冗余性和包含关系等自动推理问题,证明了这些推理问题的正确性.

关 键 词：模糊数据库 模糊ER模型  描述逻辑 模糊描述逻辑

分 类 号：TP301]