###
Journal of Software:2012.23(3):594-612

模糊面向对象数据模型的描述逻辑表示与推理
张富,严丽,马宗民,程经纬
(东北大学 信息科学与工程学院,辽宁 沈阳 110819;东北大学 软件学院,辽宁 沈阳 110819)
Representation and Reasoning of Fuzzy Object-Oriented Data Model with Description Logic
ZHANG Fu,YAN Li,MA Zong-Min,CHENG Jing-Wei
(College of Information Science and Engineering, Northeastern University, Shenyang 110819, China;School of Software, Northeastern University, Shenyang 110819, China)
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3514   Download 2964
Received:August 23, 2010    Revised:April 19, 2011
> 中文摘要: 通过分析描述逻辑与面向对象数据模型之间的关系,研究了基于描述逻辑的模糊面向对象数据(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 模糊概念知识的自动推理.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金(61073139, 60873010); 新世纪优秀人才支持计划(NCET-05-0288); 中央高校基本科研业务专项资金(N090504005, N090604012) 国家自然科学基金(61073139, 60873010); 新世纪优秀人才支持计划(NCET-05-0288); 中央高校基本科研业务专项资金(N090504005, N090604012)
Foundation items:
Reference text:

张富,严丽,马宗民,程经纬.模糊面向对象数据模型的描述逻辑表示与推理.软件学报,2012,23(3):594-612

ZHANG Fu,YAN Li,MA Zong-Min,CHENG Jing-Wei.Representation and Reasoning of Fuzzy Object-Oriented Data Model with Description Logic.Journal of Software,2012,23(3):594-612