The following pages link to Community:References/Modularisation of domain ontologies implemented in description logics and related formalisms including owl: