Representation and Reasoning of Fuzzy Object-Oriented Data Model with Description Logic

Abstract

通过分析描述逻辑与面向对象数据模型之间的关系,研究了基于描述逻辑的模糊面向对象数据(fuzzy object-oriented data,简称FOOD)模型的表示与推理.首先,进一步研究了FOOD 模型,提出了FOOD 模型的形式化定义和语义定义,以便更好地在FOOD模型与模糊描述逻辑之间建立对应关系;然后,针对FOOD模型的特点和推理需求,介绍了模糊描述逻辑f-ALCIQ.在此基础上,研究了基于f-ALCIQ 的FOOD 模型的表示与推理,包括:实现了从 FOOD 模型到f-ALCIQ 知识库在结构层和实例层上的转化,即实现了从FOOD 模型到f-ALCIQ TBox 的转化,以及从FOOD 模型相应的数据库实例到f-ALCIQ ABox 的转化;进而,基于转化得到的f-ALCIQ 知识库,研究了如何利用 f-ALCIQ 的推理机制对FOOD 模型的推理问题(一致性、包含性和冗余性等)进行推理;最后,设计并实现了基于f-ALCIQ 的模糊描述逻辑推理机(FRsQ 推理机),实现了对FOOD 模型和f-ALCIQ 模糊概念知识的自动推理.