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