%0 Journal Article %T 基于描述逻辑的模糊ER模型 %A 蒋运承 %A 汤庸 %A 王驹 %J 软件学报 %D 2006 %I %X 分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊ER模型.针对模糊ER模型的特点和需求,在描述逻辑ALNUI的基础上,对描述逻辑ALNUI进行了模糊化推广,提出了一种新的描述逻辑,即模糊描述逻辑FALNUI.研究了基于FALNUI的模糊ER模型,即研究了如何将模糊ER模型转化为FALNUI的知识库,并利用FALNUI的推理机制研究了模糊ER模型的可满足性、冗余性和包含关系等自动推理问题,证明了这些推理问题的正确性. %K 模糊数据库 %K 模糊ER模型 %K 描述逻辑 %K 模糊描述逻辑 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=B7196EC93D4AF176&yid=37904DC365DD7266&vid=BCA2697F357F2001&iid=CA4FD0336C81A37A&sid=A04140E723CB732E&eid=340AC2BF8E7AB4FD&journal_id=1000-9825&journal_name=软件学报&referenced_num=17&reference_num=22