期刊导航
作者导航
机构导航
期刊评价报告
2025版
期刊开放获取
下载APP
欢迎
四川轻化工大学
请使用中文期刊手机助手
APP扫描二维码获取权限
登录
期刊文献
+
任意字段
题名或关键词
题名
关键词
摘要
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
摘要
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
检索历史
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选
0
条
导出题录
批量处理
导出题录
下载全文
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度
被引量
时效性
模糊描述逻辑FALNUI的tableaux推理
认领
引用
被引量:
7
1
作者
蒋运承
汤庸
+1 位作者
王驹
申宇铭
《计算机研究与发展》
EI
北大核心
2007年第8期1309-1316,共8页
分析了模糊描述逻辑FALNUI与模糊ER模型的关系,即模糊ER模型可以转化为FALNUI的知识库,并且模糊ER模型的可满足性、冗余性和包含关系等推理问题可以转化为FALNUI的包含推理问题,但FALNUI缺乏相应的推理算法.提出了一种基于描述逻辑table...
分析了模糊描述逻辑FALNUI与模糊ER模型的关系,即模糊ER模型可以转化为FALNUI的知识库,并且模糊ER模型的可满足性、冗余性和包含关系等推理问题可以转化为FALNUI的包含推理问题,但FALNUI缺乏相应的推理算法.提出了一种基于描述逻辑tableaux的FALNUI的可满足性推理算法,证明了该推理算法的正确性,以及提出了FALNUI的Tbox扩展和去除方法,证明了FAL-NUI的包含推理问题可以转化为可满足性推理问题,并给出了FALNUI的包含推理算法.FALNUI的tableaux推理算法为模糊ER模型的可满足性、冗余性和包含关系等自动推理的实现提供了理论基础.
展开更多
关键词
描述逻辑
模糊描述逻辑
FALNUI
tableaux
推理算法
模糊ER模型
暂未订购
下载PDF
支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G)
认领
引用
被引量:
10
2
作者
王海龙
马宗民
+1 位作者
严丽
程经纬
《计算机学报》
EI
CAS
北大核心
2009年第8期1511-1524,共14页
分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数...
分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数据类型域的概念和模糊数据类型表示的一般形式,在此基础上,定义了F-SHOIQ(G)的语法、语义及相应的知识库,进而给出了基于模糊Tableaux的F-SHOIQ(G)概念的可满足性推理算法.其次,将经典描述逻辑中的推理结构(该结构将Tableaux扩展规则推理和数据类型推理相分离)用于F-SHOIQ(G)的推理问题,设计了相应的模糊数据类型推理机.最后,详细证明了F-SHOIQ(G)概念的可满足性推理问题是可判定的.在数据类型表示方面,F-SHOIQ(G)具备比FSHOIQ更强的表达能力和推理能力,为语义Web表示和推理模糊数据信息提供了理论基础.
展开更多
关键词
模糊描述逻辑
F-SHOIQ(G)
模糊数据类型表示
Tableaux
算法
自定义模糊数据类型谓词
暂未订购
下载PDF
Vague ALC(D):一种基于vague集的模糊描述逻辑
认领
引用
被引量:
2
3
作者
王星
马宗民
+1 位作者
吕艳辉
王海龙
《东北大学学报(自然科学版)》
EI
CAS
北大核心
2008年第11期1556-1559,1580,共4页
针对普通的模糊描述逻辑使用单个隶属度无法准确表示不精确知识,而且描述逻辑是在抽象层次上描述知识,对实体的数值信息缺乏强有力的表达手段的问题,提出了一种基于vague集并结合具体域的模糊描述逻辑——vague ALC(D).介绍了用隶属度...
针对普通的模糊描述逻辑使用单个隶属度无法准确表示不精确知识,而且描述逻辑是在抽象层次上描述知识,对实体的数值信息缺乏强有力的表达手段的问题,提出了一种基于vague集并结合具体域的模糊描述逻辑——vague ALC(D).介绍了用隶属度区间来表示模糊知识的vague集,给出了vague ALC(D)的语法和语义,指出了它的推理问题,同时也给出了相应的tableaux算法.vague ALC(D)能够更准确地表示和推理含有数值信息的模糊知识,增强了模糊描述逻辑的表达能力和推理能力.
展开更多
关键词
语义Web
描述逻辑
vague集
具体域
vagueALC(D)
tableaux
算法
暂未订购
下载PDF
基于描述逻辑的领域本体知识逻辑检测
认领
引用
被引量:
2
4
作者
朱利君
张友华
+2 位作者
李绍稳
程波波
吉喆
《农业网络信息》
2008年第9期138-141,共4页
对本体库进行逻辑检测是本体构建的一个重要环节。基于描述逻辑的领域本体知识逻辑检测主要归结为判断概念关于TBox的可满足性以及判断ABox关于TBox的一致性。本文采用基于Tableaux算法的Pellet推理机对茶虫害本体库进行逻辑检测,验证...
对本体库进行逻辑检测是本体构建的一个重要环节。基于描述逻辑的领域本体知识逻辑检测主要归结为判断概念关于TBox的可满足性以及判断ABox关于TBox的一致性。本文采用基于Tableaux算法的Pellet推理机对茶虫害本体库进行逻辑检测,验证了本体逻辑定义的有效性、完备性,为茶虫害本体的评价和二次开发以及后期应用奠定基础。
展开更多
关键词
茶虫害本体
描述逻辑
Tableaux
算法
Pellet推理机
逻辑检测
暂未订购
下载PDF
题名
模糊描述逻辑FALNUI的tableaux推理
认领
引用
被引量:
7
1
作者
蒋运承
汤庸
王驹
申宇铭
机构
中山大学计算机科学系
广西师范大学计算机科学与信息工程学院
出处
《计算机研究与发展》
EI
北大核心
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 [自动化与计算机技术—控制理论与控制工程]
暂未订购
下载PDF
题名
支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G)
认领
引用
被引量:
10
2
作者
王海龙
马宗民
严丽
程经纬
机构
东北大学信息科学与工程学院计算机应用技术研究所
东北大学软件学院软件工程研究所
出处
《计算机学报》
EI
CAS
北大核心
2009年第8期1511-1524,共14页
基金
国家自然科学基金(60873010)
教育部新世纪优秀人才支持计划(NCET-05-0288)
教育部高等学校博士学科点专项科研基金(20050145024)资助~~
摘要
分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数据类型域的概念和模糊数据类型表示的一般形式,在此基础上,定义了F-SHOIQ(G)的语法、语义及相应的知识库,进而给出了基于模糊Tableaux的F-SHOIQ(G)概念的可满足性推理算法.其次,将经典描述逻辑中的推理结构(该结构将Tableaux扩展规则推理和数据类型推理相分离)用于F-SHOIQ(G)的推理问题,设计了相应的模糊数据类型推理机.最后,详细证明了F-SHOIQ(G)概念的可满足性推理问题是可判定的.在数据类型表示方面,F-SHOIQ(G)具备比FSHOIQ更强的表达能力和推理能力,为语义Web表示和推理模糊数据信息提供了理论基础.
关键词
模糊描述逻辑
F-SHOIQ(G)
模糊数据类型表示
Tableaux
算法
自定义模糊数据类型谓词
Keywords
fuzzy description logic
F-SHOIQ(G)
representation of fuzzy data types
Tableaux algorithm
customized fuzzy data type predicate
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
暂未订购
下载PDF
题名
Vague ALC(D):一种基于vague集的模糊描述逻辑
认领
引用
被引量:
2
3
作者
王星
马宗民
吕艳辉
王海龙
机构
东北大学信息科学与工程学院
出处
《东北大学学报(自然科学版)》
EI
CAS
北大核心
2008年第11期1556-1559,1580,共4页
基金
教育部新世纪优秀人才支持计划项目(NCET-05-0288)
摘要
针对普通的模糊描述逻辑使用单个隶属度无法准确表示不精确知识,而且描述逻辑是在抽象层次上描述知识,对实体的数值信息缺乏强有力的表达手段的问题,提出了一种基于vague集并结合具体域的模糊描述逻辑——vague ALC(D).介绍了用隶属度区间来表示模糊知识的vague集,给出了vague ALC(D)的语法和语义,指出了它的推理问题,同时也给出了相应的tableaux算法.vague ALC(D)能够更准确地表示和推理含有数值信息的模糊知识,增强了模糊描述逻辑的表达能力和推理能力.
关键词
语义Web
描述逻辑
vague集
具体域
vagueALC(D)
tableaux
算法
Keywords
semantic web
description logic
vague sets
concrete domain
vague ALC (D)
tableaux algorithm
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
暂未订购
下载PDF
题名
基于描述逻辑的领域本体知识逻辑检测
认领
引用
被引量:
2
4
作者
朱利君
张友华
李绍稳
程波波
吉喆
机构
安徽农业大学信息与计算机学院
出处
《农业网络信息》
2008年第9期138-141,共4页
基金
中国高技术研究发展(863)计划(20060110Z2041)资助
摘要
对本体库进行逻辑检测是本体构建的一个重要环节。基于描述逻辑的领域本体知识逻辑检测主要归结为判断概念关于TBox的可满足性以及判断ABox关于TBox的一致性。本文采用基于Tableaux算法的Pellet推理机对茶虫害本体库进行逻辑检测,验证了本体逻辑定义的有效性、完备性,为茶虫害本体的评价和二次开发以及后期应用奠定基础。
关键词
茶虫害本体
描述逻辑
Tableaux
算法
Pellet推理机
逻辑检测
Keywords
Tea pest ontology
Description logics
Tableaux algorithm
Pellet reasoner
Logic checking
分类号
TP391.1 [自动化与计算机技术—计算机应用技术]
暂未订购
下载PDF
题名
作者
出处
发文年
被引量
操作
1
模糊描述逻辑FALNUI的tableaux推理
蒋运承
汤庸
王驹
申宇铭
《计算机研究与发展》
EI
北大核心
2007
7
暂未订购
下载PDF
2
支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G)
王海龙
马宗民
严丽
程经纬
《计算机学报》
EI
CAS
北大核心
2009
10
暂未订购
下载PDF
3
Vague ALC(D):一种基于vague集的模糊描述逻辑
王星
马宗民
吕艳辉
王海龙
《东北大学学报(自然科学版)》
EI
CAS
北大核心
2008
2
暂未订购
下载PDF
4
基于描述逻辑的领域本体知识逻辑检测
朱利君
张友华
李绍稳
程波波
吉喆
《农业网络信息》
2008
2
暂未订购
下载PDF
已选
0
条
导出题录
批量处理
导出题录
下载全文
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
帐号登录
手机快捷登录
扫码登录
登录
IP登录
《用户服务协议》
与
《隐私政策》
注册新用户
忘记密码
第三方登录
微信登录
QQ登录
馆外登录
中国科技云登录
中国科学院
中国医学科学院
获取短信验证码
登 录
《用户服务协议》
与
《隐私政策》
第三方登录
微信登录
QQ登录
馆外登录
中国科技云登录
中国科学院
中国医学科学院
使用
中文期刊助手
扫描二维码
批量处理
在线咨询
使用帮助
返回顶部
意见反馈
标题
*
邮箱
*
反馈意见
*
验证码
看不清楚?点击换一个
*
保存
取消
请在输入框中输入下图中的验证字符。
看不清楚?点击换一个
提交