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

Bridge rule chain supporting distributed dynamic descriptions logic

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