On the decidability of role mappings between modular ontologies