Abstract:The relationships between description logics and object-oriented data models are analyzed, and the paper aims at investigating the representation and reasoning of fuzzy object-oriented data (FOOD) models with description logics. The FOOD models are investigated, and the formal definition and semantics of FOOD models are proposed first. Then, aiming at the characteristics and reasoning requirement of FOOD models, the fuzzy description logic f-ALCIQ is recalled. In particular, the considers the FOOD model and the corresponding database instances simultaneously, and translate them into f-ALCIQ knowledge base at both terminological (TBox) and assertional (ABox) levels, respectively. Furthermore, based on the translated f-ALCIQ knowledge bases, the reasoning tasks of FOOD models (e.g., consistency, subsumption, and redundancy) may be reasoned through the reasoning mechanism of f-ALCIQ. Finally, a fuzzy description logic reasonerd based on f-ALCIQ called FRsQ is designed and implemented, so as the reasoning problems above may be reasoned automatically.