 [semidet]rdf_global_id(?IRISpec, 
:IRI)Convert between Prefix:Local and full IRI (an atom). If IRISpec 
is an atom, it is simply unified with IRI. This predicate 
fails silently if IRI is an RDF literal.
[semidet]rdf_global_id(?IRISpec, 
:IRI)Convert between Prefix:Local and full IRI (an atom). If IRISpec 
is an atom, it is simply unified with IRI. This predicate 
fails silently if IRI is an RDF literal.
Note that this predicate is a meta-predicate on its output argument. 
This is necessary to get the module context while the first argument may 
be of the form (:)/2. The above mode description is correct, but should 
be interpreted as (?,?).
- Errors
- existence_error(rdf_prefix, Prefix)
- See also
- - rdf_equal/2 provides a compile 
time alternative 
 - The rdf_meta/1 directive asks for 
compile time expansion of arguments.
- bug
- Error handling is incomplete. In its current implementation the same 
code is used for compile-time expansion and to facilitate runtime 
conversion and checking. These use cases have different requirements.