模糊面向对象数据模型的描述逻辑表示与推理

作者：张富; 严丽; 马宗民; 程经纬

来源：软件学报, 2012, (03): 594-612.

• 模糊面向对象数据(fuzzy object-oriented data
• 简称FOOD)模型
• 模糊描述逻辑
• 表示
• 推理
• 推理机 fuzzy object-oriented data(FOOD) model
• fuzzy description logic
• representation
• reasoning
• fuzzy description logic reasoner

通过分析描述逻辑与面向对象数据模型之间的关系,研究了基于描述逻辑的模糊面向对象数据(fuzzy object-oriented data,简称FOOD)模型的表示与推理.首先,进一步研究了FOOD模型,提出了FOOD模型的形式化定义和语义定义,以便更好地在FOOD模型与模糊描述逻辑之间建立对应关系;然后,针对FOOD模型的特点和推理需求,介绍了模糊描述逻辑f-ALCIQ.在此基础上,研究了基于f-ALCIQ的FOOD模型的表示与推理,包括:实现了从FOOD模型到f-ALCIQ知识库在结构层和实例层上的转化,即实现了从FOOD模型到f-ALCIQ TBox的转化,以及从FOOD模型相应的数据库实...

• 出版日期2012
• 单位东北大学