Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, the extensive usage of multiple distributed ontologies requires the capability for expressing different forms of mappings, which extend the semantic relations between concepts studied so far. In this paper, we propose an extension of the formalism of Distributed Description Logic (DDL) to represent mappings between concepts as well as mappings between relations, and an effective decision procedure for reasoning with multiple ontologies bridged with these mappings.