Representation and reasoning of fuzzy ER model with description logic

Information imprecision and uncertainty exist in many real-world applications and hence fuzzy data modeling has been extensively investigated in various data models. This paper focuses on the representation and reasoning of fuzzy ER data model with description logic. Firstly, we give the formal definition and semantics of fuzzy ER model. Then based on the description logic DLR, a kind of new fuzzy description logic, i.e., fuzzy description logic FDLR (fuzzy DLR), is presented thoroughly. The definitions of syntax, semantics, and knowledge base form are given for FDLR. The fuzzy ER model with fuzzy description logic FDLR is investigated to translate fuzzy ER model into FDLR knowledge bases. With an example, the fact that the fuzzy ER model can be well represented by FDLR can be explained. The reasoning problem of satisfiability, subsumption relation, and redundancy of fuzzy ER model may reason automatically through reasoning mechanism of fuzzy description logic FDLR. The correctness of translation and reasoning problems are proved.