期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
D3L(ccy)的属性及分布式Tableaux推理算法的研究
被引量：
1
1
作者
赵晓非
田东平
+1 位作者
张文波
史忠植
《计算机研究与发展》
EI
CSCD
北大核心
2014年第3期570-579,共10页
分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑(dynamic description logics,DDL)本体之间桥规则构成链的情况下,知识并不总是按预期的方式...
分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑(dynamic description logics,DDL)本体之间桥规则构成链的情况下,知识并不总是按预期的方式正确传播.借鉴了基于包的描述逻辑(P-DL)的思想,引入了组合一致性语义对D3L进行了扩展从而很好地解决了上述问题.系统地研究了扩展得到的描述逻辑D3L(ccy)的属性及分布式推理理论.证明了该描述逻辑的单调性(D3L(ccy)是一种单调逻辑)、有向性(桥规则的影响具有方向性)及冲突局部性(局部本体的冲突不会传播到整个分布式系统);通过对原有Tableaux推理算法的扩展,为D3L(ccy)提出了分布式Tableaux推理算法并研究了算法的性质,证明了该算法是可终止的、可靠的和完备的.与传统的D3L相比,扩展后的D3L可以为信息集成系统、语义Web等分布式、动态的系统提供更为合理的逻辑基础.
展开更多
关键词
分布式
动态
描述
逻辑
知识传播
组合一致性
分布式
推理
Tab
l
eaux推理算法
d
ISTRIBUTE
d
d
YNAMIC
d
ESCRIPTION
l
OGICS
(
d
3
l
)
在线阅读
下载PDF
职称材料
支持链式桥规则的分布式动态描述逻辑
2
作者
张建华
史忠植
+3 位作者
岳金朋
齐保元
蒋运承
王晓峰
《高技术通讯》
CAS
CSCD
北大核心
2014年第5期452-457,共6页
研究了链式桥规则在分布式动态描述逻辑(D3L)中的应用,旨在使得现有的分布式动态描述逻辑可以在多个系统中进行推理和发挥其在信息集成中的重要作用。在动态描述逻辑(DDL)推理和D3L推理的基础上,提出了支持链式桥规则的分布式动态描述逻...
研究了链式桥规则在分布式动态描述逻辑(D3L)中的应用,旨在使得现有的分布式动态描述逻辑可以在多个系统中进行推理和发挥其在信息集成中的重要作用。在动态描述逻辑(DDL)推理和D3L推理的基础上,提出了支持链式桥规则的分布式动态描述逻辑(CD3L)推理算法。该算法首先判断能否在一个DDL系统内部进行推理,然后再判断能否在两个D3L系统间进行推理,最后通过CD3L在多个D3L系统中进行推理。与D3L相比,新提出的CD3L弥补了传统桥规则描述逻辑系统的不足,为信息系统集成和语义网提供了更为合理的逻辑基础。
展开更多
关键词
描述
逻辑
(
d
l
)
动态
描述
逻辑
(
d
d
l
)
分布式
动态
描述
逻辑
(
d
3
l
)
桥规则
链式桥规则
在线阅读
下载PDF
职称材料
链式桥规则导致的D3L知识传播及推理
被引量：
1
3
作者
赵晓非
田东平
+1 位作者
史颖欢
史忠植
《计算机学报》
EI
CSCD
北大核心
2014年第12期2419-2426,共8页
作为分布式、模块化本体的逻辑基础,分布式动态描述逻辑(D3L)使得通过有向语义映射连接的多个动态描述逻辑本体之上的推理成为可能.文中针对复合桥规则的知识传播进行了研究.作者发现当桥规则构成合取链的情况下,D3L的原始语义不能保证...
作为分布式、模块化本体的逻辑基础,分布式动态描述逻辑(D3L)使得通过有向语义映射连接的多个动态描述逻辑本体之上的推理成为可能.文中针对复合桥规则的知识传播进行了研究.作者发现当桥规则构成合取链的情况下,D3L的原始语义不能保证本体元素的局部语义关系正确传播到目标本体.通过引入合取映射桥规则,作者对D3L进行了扩展.由于对合取映射对应的目标元素属性进行了约束,新的桥规则可以支持局部语义关系在分布式本体间的正确传播,并且不改变D3L的原始属性.最后提出了合取映射桥规则到传统桥规则的转换语义,并证明了基于该语义的Tableaux推理算法的正确性.扩展后的D3L更好地实现了在本体间导入和重用知识的思想,因此可以为语义Web提供较完备的逻辑基础.
展开更多
关键词
分布式
动态
描述
逻辑
(
d
3
l
)
知识传播
合取映射
链式桥规则
在线阅读
下载PDF
职称材料
题名
D3L(ccy)的属性及分布式Tableaux推理算法的研究
被引量：
1
1
作者
赵晓非
田东平
张文波
史忠植
机构
天津工业大学计算机科学与软件学院
中国科学院计算技术研究所智能信息处理重点实验室
中罔科学院大学
出处
《计算机研究与发展》
EI
CSCD
北大核心
2014年第3期570-579,共10页
基金
国家自然科学基金重点项目(61035003)
国家自然科学基金面上项目(61072085,60970088)
国家"九七三"重点基础研究发展计划基金项目(2007CB311004)
文摘
分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑(dynamic description logics,DDL)本体之间桥规则构成链的情况下,知识并不总是按预期的方式正确传播.借鉴了基于包的描述逻辑(P-DL)的思想,引入了组合一致性语义对D3L进行了扩展从而很好地解决了上述问题.系统地研究了扩展得到的描述逻辑D3L(ccy)的属性及分布式推理理论.证明了该描述逻辑的单调性(D3L(ccy)是一种单调逻辑)、有向性(桥规则的影响具有方向性)及冲突局部性(局部本体的冲突不会传播到整个分布式系统);通过对原有Tableaux推理算法的扩展,为D3L(ccy)提出了分布式Tableaux推理算法并研究了算法的性质,证明了该算法是可终止的、可靠的和完备的.与传统的D3L相比,扩展后的D3L可以为信息集成系统、语义Web等分布式、动态的系统提供更为合理的逻辑基础.
关键词
分布式
动态
描述
逻辑
知识传播
组合一致性
分布式
推理
Tab
l
eaux推理算法
d
ISTRIBUTE
d
d
YNAMIC
d
ESCRIPTION
l
OGICS
(
d
3
l
)
Keywords
d
istribute
d
d
ynamic
d
escription
l
ogics （
d
3
l
）
know
l
e
d
ge propagation
compositiona
l
consistency
d
istribute
d
reasoning
Tab
l
eaux reasoning a
l
gorithm
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
支持链式桥规则的分布式动态描述逻辑
2
作者
张建华
史忠植
岳金朋
齐保元
蒋运承
王晓峰
机构
中国科学院计算技术研究所智能信息处理重点实验室
中国科学院大学
华南师范大学计算机学院
中国科学院计算技术研究所无线传感器网络实验室
出处
《高技术通讯》
CAS
CSCD
北大核心
2014年第5期452-457,共6页
基金
973计划(2013CB329502)
国家自然科学基金(61035003
+7 种基金
60933004
61202212
61072085
)
863计划(2012AA011003)
国家科技支撑计划(2012BA107B02)
中国信息安全测评中心课题(CNITSEC-KY-2012-006/1)资助项目
文摘
研究了链式桥规则在分布式动态描述逻辑(D3L)中的应用,旨在使得现有的分布式动态描述逻辑可以在多个系统中进行推理和发挥其在信息集成中的重要作用。在动态描述逻辑(DDL)推理和D3L推理的基础上,提出了支持链式桥规则的分布式动态描述逻辑(CD3L)推理算法。该算法首先判断能否在一个DDL系统内部进行推理,然后再判断能否在两个D3L系统间进行推理,最后通过CD3L在多个D3L系统中进行推理。与D3L相比,新提出的CD3L弥补了传统桥规则描述逻辑系统的不足,为信息系统集成和语义网提供了更为合理的逻辑基础。
关键词
描述
逻辑
(
d
l
)
动态
描述
逻辑
(
d
d
l
)
分布式
动态
描述
逻辑
(
d
3
l
)
桥规则
链式桥规则
Keywords
d
escription
l
ogic （
d
l
）,
d
ynamic
d
escription
l
ogic （
d
d
l
）,
d
istribute
d
d
ynamic
d
escription
l
ogic（
d
3
l
） , bri
d
ge ru
l
e, bri
d
ge ru
l
e chain
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
链式桥规则导致的D3L知识传播及推理
被引量：
1
3
作者
赵晓非
田东平
史颖欢
史忠植
机构
天津工业大学计算机科学与软件学院
南京大学计算机软件新技术国家重点实验室
中国科学院计算技术研究所智能信息处理重点实验室
出处
《计算机学报》
EI
CSCD
北大核心
2014年第12期2419-2426,共8页
基金
国家自然科学基金重点项目(61035003)
国家自然科学基金面上项目(61072085,60970088)
南京大学计算机软件新技术国家重点实验室开放课题项目资助~~
文摘
作为分布式、模块化本体的逻辑基础,分布式动态描述逻辑(D3L)使得通过有向语义映射连接的多个动态描述逻辑本体之上的推理成为可能.文中针对复合桥规则的知识传播进行了研究.作者发现当桥规则构成合取链的情况下,D3L的原始语义不能保证本体元素的局部语义关系正确传播到目标本体.通过引入合取映射桥规则,作者对D3L进行了扩展.由于对合取映射对应的目标元素属性进行了约束,新的桥规则可以支持局部语义关系在分布式本体间的正确传播,并且不改变D3L的原始属性.最后提出了合取映射桥规则到传统桥规则的转换语义,并证明了基于该语义的Tableaux推理算法的正确性.扩展后的D3L更好地实现了在本体间导入和重用知识的思想,因此可以为语义Web提供较完备的逻辑基础.
关键词
分布式
动态
描述
逻辑
(
d
3
l
)
知识传播
合取映射
链式桥规则
Keywords
d
istribute
d
d
ynamic
d
escription
l
ogics （
d
3
l
）
know
l
e
d
ge propagation
conjunctivemapping
bri
d
ge ru
l
e chain
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
D3L(ccy)的属性及分布式Tableaux推理算法的研究
赵晓非
田东平
张文波
史忠植
《计算机研究与发展》
EI
CSCD
北大核心
2014
1
在线阅读
下载PDF
职称材料
2
支持链式桥规则的分布式动态描述逻辑
张建华
史忠植
岳金朋
齐保元
蒋运承
王晓峰
《高技术通讯》
CAS
CSCD
北大核心
2014
0
在线阅读
下载PDF
职称材料
3
链式桥规则导致的D3L知识传播及推理
赵晓非
田东平
史颖欢
史忠植
《计算机学报》
EI
CSCD
北大核心
2014
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
