主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第5期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
蒋运承,汤庸,王驹.基于描述逻辑的模糊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 
摘要点击次数: 3465
全文下载次数: 3474
中文摘要:
      分析了描述逻辑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阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利