| 模糊面向对象数据模型的描述逻辑表示与推理 |
| |
| 引用本文： | 张富,严丽,马宗民,程经纬. 模糊面向对象数据模型的描述逻辑表示与推理[J]. 软件学报, 2012, 23(3): 594-612 |
| |
| 作者姓名： | 张富 严丽 马宗民 程经纬 |
| |
| 作者单位： | 1. 东北大学信息科学与工程学院,辽宁沈阳,110819
2. 东北大学软件学院,辽宁沈阳,110819 |
| |
| 基金项目： | 国家自然科学基金(61073139,60873010);新世纪优秀人才支持计划(NCET-05-0288);中央高校基本科研业务专项资金(N090504005,N090604012) |
| |
| 摘 要： | 通过分析描述逻辑与面向对象数据模型之间的关系,研究了基于描述逻辑的模糊面向对象数据(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模糊概念知识的自动推理.
|
| 关 键 词： | 模糊面向对象数据(fuzzy object-oriented data,简称FOOD)模型 模糊描述逻辑 表示 推理 推理机 |
| 收稿时间： | 2010-08-23 |
| 修稿时间： | 2011-04-19 |
Representation and Reasoning of Fuzzy Object-Oriented Data Model with Description Logic |
| |
| ZHANG Fu,YAN Li,MA Zong-Min and CHENG Jing-Wei. Representation and Reasoning of Fuzzy Object-Oriented Data Model with Description Logic[J]. Journal of Software, 2012, 23(3): 594-612 |
| |
| Authors: | ZHANG Fu YAN Li MA Zong-Min CHENG Jing-Wei |
| |
| Affiliation: | 1(College of Information Science and Engineering,Northeastern University,Shenyang 110819,China) 2(School of Software,Northeastern University,Shenyang 110819,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
