Ontify
Structure-preserving map between two (algebraic, relational or mixed) structures of the same signature.