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.