支持链式桥规则的分布式动态描述逻辑

• 作者: 史忠植 岳金朋 张建华 王晓峰 蒋运承 齐保元
• 来源期刊: 高技术通讯
• 关键词: 描述逻辑(DL) 动态描述逻辑(DDL) 分布式动态描述逻辑(D3L) 桥规则 链式桥规则
• 年，卷（期）: 2014,（5）
• 所属期刊栏目: 计算机与通信技术
• 页码范围: 452-457
• 页数: 6页
• 字数: 5455字
• 语种: 中文
• DOI: 10.3772/j.issn.1002-0470.2014.05.002

摘要

研究了链式桥规则在分布式动态描述逻辑(D3L)中的应用,旨在使得现有的分布式动态描述逻辑可以在多个系统中进行推理和发挥其在信息集成中的重要作用.在动态描述逻辑(DDL)推理和D3L推理的基础上,提出了支持链式桥规则的分布式动态描述逻辑(CD3L)推理算法.该算法首先判断能否在一个DDL系统内部进行推理,然后再判断能否在两个D3L系统间进行推理,最后通过CD3L在多个D3L系统中进行推理.与D3L相比,新提出的CD3L弥补了传统桥规则描述逻辑系统的不足,为信息系统集成和语义网提供了更为合理的逻辑基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	史忠植	中国科学院计算技术研究所智能信息处理重点实验室	232	9166	52.0	89.0
2	蒋运承	华南师范大学计算机学院	22	57	5.0	5.0
3	张建华	中国科学院计算技术研究所智能信息处理重点实验室	18	162	7.0	12.0
7	齐保元	中国科学院计算技术研究所智能信息处理重点实验室	5	69	3.0	5.0
11	岳金朋	中国科学院计算技术研究所智能信息处理重点实验室	4	6	1.0	2.0