SMS: Modular ontologies