Alexander Borgida, Luciano Serafini: Distributed Description Logics: First results. Description Logics 2002