ObjectLogic formula IDs are mapped to RIF annotation IDs. While ObjectLogic allows functional terms as formula ID, RIF annotation IDs must be constants of type rif:iri. Any constant used as ObjectLogic formula ID not of type rif:iri will be encoded with a special URI while functional terms will be formatted as a string and handled as if they would be an xsd:string constant with the corresponding value.