Saturation: A data transformation within a format and structure that only adds data derivable (according to some semantics) or otherwise computable from the source data

This is sometimes also called derivation, however in IN5800 we have used this only with respect to reasoning and semantics. But saturation is more than just semantic derivation, e.g.: