Progressive ontology alignment for meaning coordination: an information-theoretic foundation