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

Bridge rule chain supporting distributed dynamic descriptions logic

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

机构地区：[1]中国科学院计算技术研究所智能信息处理重点实验室,北京100190 [2]中国科学院大学,北京100049 [3]华南师范大学计算机学院,广州510631 [4]中国科学院计算技术研究所无线传感器网络实验室,北京100190

出　　处：《高技术通讯》2014年第5期452-457,共6页Chinese High Technology Letters

基　　金：973计划(2013CB329502);国家自然科学基金(61035003;60933004;61202212;61072085;);863计划(2012AA011003);;国家科技支撑计划(2012BA107B02);中国信息安全测评中心课题(CNITSEC-KY-2012-006/1)资助项目

摘　　要：研究了链式桥规则在分布式动态描述逻辑(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.

关 键 词：描述逻辑(DL) 动态描述逻辑(DDL) 分布式动态描述逻辑(D3L) 桥规则 链式桥规则 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]