Building Heterogeneous Multi-context Systems by Semantic Bindings

We propose a framework for heterogeneous multi-context systems, in which a special kind of semantic/implicit bridge rules are introduced. Traditional bridge rules in heterogeneous multi-context systems may make the syntax and the semantics of a context more complex, e.g., in the approach of [3] an agent may have to facing a context composed by a description logic systems and a logic program with default negations. In this paper we hide the bridge rules by semantic binding on foreign knowledge fragment, and track the semantic property of a belief/knowledge in one context by a mirror-image of it in the other context. This framework can manage heterogeneous multi-contexts in a simple way, and it keeps the original reasoning properties of the context so that the original reasoning tools are still useful.