 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
蒋运承,汤庸,王驹.基于描述逻辑的模糊ER模型.软件学报,2006,17(1):20-30 |
基于描述逻辑的模糊ER模型 |
Fuzzy ER Modeling with Description Logics |
投稿时间:2005-06-22 修订日期:2005-08-15 |
DOI: |
中文关键词: 模糊数据库 模糊ER模型 描述逻辑 模糊描述逻辑 |
英文关键词:fuzzy database fuzzy ER model description logic fuzzy description logic |
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60373081, 60473005, 60573010 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2003AA115220 (国家高技术研究发展计划(863));the Natural Science Key Fou |
作者 | 单位 | 蒋运承 | 中山大学,计算机科学系,广东,广州,510275 广西师范大学,数学与计算机科学学院,广西,桂林,541004 | 汤庸 | 中山大学,计算机科学系,广东,广州,510275 | 王驹 | 广西师范大学,数学与计算机科学学院,广西,桂林,541004 |
|
摘要点击次数: 4279 |
全文下载次数: 3895 |
中文摘要: |
分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊ER模型.针对模糊ER模型的特点和需求,在描述逻辑ALNUI的基础上,对描述逻辑ALNUI进行了模糊化推广,提出了一种新的描述逻辑,即模糊描述逻辑FALNUI.研究了基于FALNUI的模糊ER模型,即研究了如何将模糊ER模型转化为FALNUI的知识库,并利用FALNUI的推理机制研究了模糊ER模型的可满足性、冗余性和包含关系等自动推理问题,证明了这些推理问题的正确性. |
英文摘要: |
The relationship of description logic ALNUI and ER model is analyzed, especially how to translate ER model into ALNUI knowledge bases for reducing the reasoning on ER model to model reasoning on ALNUI knowledge bases is investigated, and the problem of fuzzy ER modeling with description logic is further studied. Aiming at the characteristics and requirement of fuzzy ER model and based on the description logic ALNUI, the description logic ALNUI is generalized through fuzzy logic. And a kind of new description logic, i.e., fuzzy description logic FALNUI (fuzzy ALNUI), is presented. The fuzzy ER modeling with description logic FALNUI is studied to translate fuzzy ER model into FALNUI knowledge bases. The reasoning problem of satisfiability, redundancy, and subsumption relation of fuzzy ER model may reason automatically through reasoning mechanism of fuzzy description logic FALNUI, and the correctness of these reasoning problems is proved. |
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |
|
|
|
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|