A refined architecture for terminological systems: Terminology = schema + views