This algorithm, invoked via the IRI Compaction algorithm, makes use of an
active context's inverse context to find the term that is best used to
compact an IRI. Other information about a value associated with the IRI
is given, including which container mappings and which type mapping or
language mapping would be best used to express the value.