Modularisation of domain ontologies implemented in description logics and related formalisms including OWL