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

重点分析了将er模型分别转化为描述逻辑alnui知识库和dlr知识库的不同之处。在深入研究了描述逻辑dlr的基础之上，对dlr进行了模糊化扩展，提出了一种新的模糊描述逻辑fdlr（fuzzydlr）。定义了fdlr的语法结构、语义解释以及知识库的形式，研究了如何将模糊er模型转化为fdlr的知识库。通过一个转化实例例证了fdlr能够很好地对模糊er模型进行表示，并利用fdlr的推理机制研究了模糊er模型的自动推理问题，同时给出了上述转化和推理问题的正确性证明。