Modular ontologies - A formal investigation of semantics and expressivity