东篱科研大数据发现系统（DRDS）

位置：成果数据库 > 期刊 > 期刊详情页

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

ISSN号：1002-0470
期刊名称：《高技术通讯》
时间：0
分类：TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
作者机构：[1]中国科学院计算技术研究所智能信息处理重点实验室,北京100190, [2]中国科学院大学,北京100049, [3]华南师范大学计算机学院,广州510631, [4]中国科学院计算技术研究所无线传感器网络实验室,北京100190
相关基金：973计划（2013CB329502）,国家自然科学基金（61035003,60933004,61202212,61072085,）863计划（2012AA011003）,国家科技支撑计划（2012BA107B02）和中国信息安全测评中心课题（CNITSEC-KY-2012-006/1）资助项目.

作者：张建华[1,2], 史忠植[1], 岳金朋[1,2], 齐保元[1,2], 蒋运承[3], 王晓峰[4]

关键词：描述逻辑(DL), 动态描述逻辑(DDL), 分布式动态描述逻辑(D3L), 桥规则, 链式桥规则, description logic （DL）, dynamic description logic （DDL）, distributed dynamic description logic（D3L） , bridge rule, bridge rule chain

中文摘要：

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

英文摘要：

The technique of applying the bridge rule chain to a distributed dynamic description logic （D3L） was studied to make the existing D3L perform reasoning in multiple D3L systems and play its important role in information integration. Based on the dynamic description logic （DDL） reasoning and D3L reasoning,a bridge rule chain supporting distributed dynamic description logic （CD3L） reasoning algorithm was proposed. This algorithm first determines if it can do reasoning in one DDL system, and then considers two D3L systems ,at last reasons among multiple D3L systems through the CD3L. Compared with D3L, the CD3L can overcome the insufficiency of the D3L, and provide a more reasonable logic foundation for information integration and semantic webs.