Techniques for mapping from one or more source information sets to one or more target information sets are provided. Mapping ontologies associate a first declarative expression with a first information set from which to read first information, and a second declarative expression with a second information set to which second information determined based upon the read first information is written. A mapping graph having a nodes arranged according to an execution flow for obtaining the one or more target information sets is generated, at least some of these nodes representing respective ones of the mapping ontologies. The one or more target information sets are generated, each including information determined from the one or more source information sets, by traversing the mapping graph according to the execution flow. Each of the first and second declarative expressions may be associated with a mapping resolver for accessing one or more information sets.