In this paper, we investigate state-of-the-art technologies in the area of modular ontologies and corresponding logical formalisms. We compare the strengths and weaknesses of different formalisms for modular ontologies in ...