1. A method for determining a mapping between a first artifact and a second artifact, each artifact comprising at least one constituent, each at least one constituent comprising at least one feature, wherein each at least one feature is selected from a feature group consisting of: a relationship feature and a characteristic feature, the mapping comprising at least one constituent match comprising a correspondence between at least one constituent of the first artifact and at least one constituent of the second artifact, the method comprising steps of: using an input/output interface, a) receiving as input the first and second artifacts, and a description of the first and second artifacts, constituents, and the features of the constituents; and using a processor device performing steps of: b) performing advanced inexact matching, comprising steps of selecting the mapping, the mapping comprising the at least one constituent match; using search algorithms for formulating a candidate solution, wherein a space of possible solutions comprises a space of all possible mappings, wherein a value of the candidate solution is a probability of a candidate mapping, and wherein the probability of the candidate mapping is a product of an individual probability of correspondence of constituent matches it comprises; and determining a correspondence probability of the at least one constituent match by Bayesian inference over a joint probability distribution concerning a number of types of evidence; and c) producing as output the mapping determined from the step of performing advanced inexact matching.