| 张建华,史忠植,岳金朋,齐保元,蒋运承,王晓峰.支持链式桥规则的分布式动态描述逻辑[J].高技术通讯(中文),2014,24(5):452~457 |
| 支持链式桥规则的分布式动态描述逻辑 |
|
| |
| DOI： |
| 中文关键词: 描述逻辑（DL）, 动态描述逻辑（DDL）, 分布式动态描述逻辑（D3L）, 桥规则, 链式桥规则 |
| 英文关键词: |
| 基金项目: |
| 作者 | 单位 | | 张建华 | 中国科学院计算技术研究所智能信息处理重点实验室
中国科学院大学 | | 史忠植 | 中国科学院计算技术研究所智能信息处理重点实验室 | | 岳金朋 | 中国科学院计算技术研究所智能信息处理重点实验室
中国科学院大学 | | 齐保元 | 中国科学院计算技术研究所智能信息处理重点实验室
中国科学院大学 | | 蒋运承 | 华南师范大学计算机学院广州 | | 王晓峰 | 中国科学院计算技术研究所无线传感器网络实验室 |
|
| 摘要点击次数: 2935 |
| 全文下载次数: 2141 |
| 中文摘要: |
| 研究了链式桥规则在分布式动态描述逻辑（D3L）中的应用,旨在使得现有的分布式动态描述逻辑可以在多个系统中进行推理和发挥其在信息集成中的重要作用。在动态描述逻辑（DDL）推理和D3L推理的基础上，提出了支持链式桥规则的分布式动态描述逻辑（CD3L）推理算法。该算法首先判断能否在一个DDL系统内部进行推理，然后再判断能否在两个D3L系统间进行推理，最后通过CD3L在多个D3L系统中进行推理。与D3L相比，新提出的CD3L弥补了传统桥规则描述逻辑系统的不足，为信息系统集成和语义网提供了更为合理的逻辑基础。 |
| 英文摘要: |
| |
|
查看全文
查看/发表评论 下载PDF阅读器 |
| 关闭 |
|
|
|
