SMS dit: Modular ontologies