Abstract
In recent papers, we have proposed an extension of the formalism of Distributed Description Logic (DDL) to represent a wide set of homogeneous and heterogeneous mappings involving relations and concepts. Here we investigate in depth how to provide an effective reasoning algorithm for reasoning within this logic in the case of homogeneous mappings. © Springer-Verlag Berlin Heidelberg 2008.