section 8 introduction generalised to OMS (not just ontologies)