Previous topic  Top  Next topic  Print this Topic

Annotations and Formula IDs


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.