Research on collaborative reasoning for distributed reasoner

This paper investigates an extension to description logic based knowledge reasoning by means of decomposing and rewriting complicated hybrid concepts into partitions. An approach which automatically decomposes the whole knowledge base into description logic compatible and constraints solver, is presented. System architecture for knowledge reasoning is two-fold. First, complex description logics with powerful representation ability and Second, how to reason with the combination of inferences from distributed heterogeneous reasoner.