-
题名基于描述逻辑的模糊ER模型
被引量：30
- 1
-
-
作者
蒋运承
汤庸
王驹
-
机构
中山大学计算机科学系
广西师范大学数学与计算机科学学院
-
出处
《软件学报》
EI
CSCD
北大核心
2006年第1期20-30,共11页
-
基金
国家自然科学基金
国家高技术研究发展计划(863)
广东省自然科学重点基金~~
-
文摘
分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊ER模型.针对模糊ER模型的特点和需求,在描述逻辑ALNUI的基础上,对描述逻辑ALNUI进行了模糊化推广,提出了一种新的描述逻辑,即模糊描述逻辑FALNUI.研究了基于FALNUI的模糊ER模型,即研究了如何将模糊ER模型转化为FALNUI的知识库,并利用FALNUI的推理机制研究了模糊ER模型的可满足性、冗余性和包含关系等自动推理问题,证明了这些推理问题的正确性.
-
关键词
模糊数据库
模糊er模型
描述逻辑
模糊描述逻辑
-
Keywords
fuzzy database
fuzzy er model
description logic
fuzzy description logic
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名基于描述逻辑的模糊ER模型的表示与推理
被引量：1
- 2
-
-
作者
张富
马宗民
严丽
-
机构
东北大学信息科学与工程学院
-
出处
《计算机科学》
CSCD
北大核心
2008年第8期138-144,共7页
-
基金
教育部新世纪优秀人才支持计划(NCET20520288)
-
文摘
重点分析了将ER模型分别转化为描述逻辑ALNUI知识库和DLR知识库的不同之处。在深入研究了描述逻辑DLR的基础之上,对DLR进行了模糊化扩展,提出了一种新的模糊描述逻辑FDLR(fuzzyDLR)。定义了FDLR的语法结构、语义解释以及知识库的形式,研究了如何将模糊ER模型转化为FDLR的知识库。通过一个转化实例例证了FDLR能够很好地对模糊ER模型进行表示,并利用FDLR的推理机制研究了模糊ER模型的自动推理问题,同时给出了上述转化和推理问题的正确性证明。
-
关键词
er模型
模糊er模型
描述逻辑
模糊描述逻辑
-
Keywords
er model,Fuzzy er model,Description logic,Fuzzy description logic
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名模糊描述逻辑FALNUI的tableaux推理
被引量：7
- 3
-
-
作者
蒋运承
汤庸
王驹
申宇铭
-
机构
中山大学计算机科学系
广西师范大学计算机科学与信息工程学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2007年第8期1309-1316,共8页
-
基金
国家自然科学基金项目(60663001
60673135
+5 种基金
60373081
60573010)
中国博士后科学基金项目(20060400226)
广东省自然科学基金重点项目(04105503)
教育部新世纪优秀人才支持计划基金项目
广西青年科学基金项目(桂科青0640030)
-
文摘
分析了模糊描述逻辑FALNUI与模糊ER模型的关系,即模糊ER模型可以转化为FALNUI的知识库,并且模糊ER模型的可满足性、冗余性和包含关系等推理问题可以转化为FALNUI的包含推理问题,但FALNUI缺乏相应的推理算法.提出了一种基于描述逻辑tableaux的FALNUI的可满足性推理算法,证明了该推理算法的正确性,以及提出了FALNUI的Tbox扩展和去除方法,证明了FAL-NUI的包含推理问题可以转化为可满足性推理问题,并给出了FALNUI的包含推理算法.FALNUI的tableaux推理算法为模糊ER模型的可满足性、冗余性和包含关系等自动推理的实现提供了理论基础.
-
关键词
描述逻辑
模糊描述逻辑
FALNUI
TABLEAUX
推理算法
模糊er模型
-
Keywords
description logic
fuzzy description logic
FALNUI
tableaux
reasoning algorithm
fuzzy er model
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
