Integrated distributed description logics