Composing Modular Onotlogies with Distributed Description Logics