基于描述逻辑的模糊ER模型的表示与推理  

Representation and Reasoning of Fuzzy ER Model with Description Logic

作　　者：张富[1] 马宗民[1] 严丽[1] 

机构地区：[1]东北大学信息科学与工程学院

出　　处：《计算机科学》2008年第8期138-144,共7页Computer Science

基　　金：教育部新世纪优秀人才支持计划(NCET20520288)

摘　　要：重点分析了将ER模型分别转化为描述逻辑ALNUI知识库和DLR知识库的不同之处。在深入研究了描述逻辑DLR的基础之上,对DLR进行了模糊化扩展,提出了一种新的模糊描述逻辑FDLR(fuzzyDLR)。定义了FDLR的语法结构、语义解释以及知识库的形式,研究了如何将模糊ER模型转化为FDLR的知识库。通过一个转化实例例证了FDLR能够很好地对模糊ER模型进行表示,并利用FDLR的推理机制研究了模糊ER模型的自动推理问题,同时给出了上述转化和推理问题的正确性证明。The differences translating the ER model into the ALNUI knowledge bases and DLR knowledge bases are analized. Based on that the description logic DLR is investigated, the description logic DLR is generalized through fuzzy logic. And a kind of new fuzzy description logic FDLR （fuzzy DLR） is presented thoroughly. The definitions of syntax structure,semantic interpretation, knowledge base form are given for the FDLR. How to translate the fuzzy model into the FDLR knowledge bases is studied. With an illustration, the fact that the fuzzy ER model can be well expressed by the fuzzy description logic FDLR can be explained. The reasoning problems of fuzzy ER model may reason automatically through reasoning mechanism of fuzzy description logic FDLR,and the correctnesses of the translation and the reasoning problems are proved.

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

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论] TP18[自动化与计算机技术—计算机科学与技术]