Bridge Rule Based D3 L Reasoning

Abstract

The semantic mapping in Distributed Dynamic Description Logic (D3L) is an extension of Dynamic Description Logic (DDL), which makes it easy to deal with distributed and heterogeneous situation. Existing work on knowledge propagation in D3L is just studied for simple cases, in which only two DDL systems are considered. By using the compositional consistency theory, D3L makes the knowledge propagate along bridge rule chains as we expect. Compared with D3L, compositional consistency theory supported D3L overcomes the insufficiency of the D3L. In this paper, we present a reasoning algorithm which provides a more reasonable logic foundation for information integration of semantic web.