论文部分内容阅读
分析了描述逻辑ALNUI与ER模型的关系，特别是如何将ER模型转化为ALNUI的知识库，从而利用ALNUI的推理机制对ER模型进行自动推理的有效性，在此基础上，进一步研究了基于描述逻辑的模糊ER模型．针对模糊ER模型的特点和需求，在描述逻辑ALNUI的基础上，对描述逻辑ALNUI进行了模糊化推广。提出了一种新的描述逻辑，即模糊描述逻辑FALNUI．研究了基于FALNUI的模糊ER模型，即研究了如何将模糊ER模型转化为FALNUI的知识库，并利用FALNUI的推理机制研究了模糊ER模型的可满足性、冗余性和包