Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources