Bridge Rule Based D3 L Reasoning

The semantic mapping in Distributed Dynamic Description Logic (D
³
L) 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 D
³
L is just studied for simple cases, in which only two DDL systems are considered. By using the compositional consistency theory, D
³
L makes the knowledge propagate along bridge rule chains as we expect. Compared with D
³
L, compositional consistency theory supported D
³
L overcomes the insufficiency of the D
³
L. In this paper, we present a reasoning algorithm which provides a more reasonable logic foundation for information integration of semantic web.