2 Module name
| (require rdf/core/name) | package: rdf-core |
Figure 1 in the introduction included a both a PrefixName and LocalName datatype, but these are actually more commonly used in combination, and with the datatype Namespace. Figure 2 introduces the type PrefixedName which is a tuple of prefix and local-name, and the type NamespacedName which is a tuple of namespace IRI and local-name. Prefixed names can be translated into namespaced names by substituting the prefix name with the corresponding namespace in a NamespaceMap.
Name Module Overview
The value space for a local name is sometimes different in RDF implementations, depending on their age and representation support. The definitions used in this package are those defined by SPARQL and adopted by Turtle, for more information see Appendix: Names Defined.
predicate
(local-name-string? v) → boolean?
v : string?
> (require rdf/core/name) > (local-name-string? "a-valid-name") #t
> (local-name-string? 'another-valid-name) #f
> (local-name-string? "?") #t
> (local-name-string? "") #f
struct
(struct local-name () #:constructor-name string->local-name)
> (require racket/list racket/string)
> (let ((long-name (string-join (map (lambda (_) "this-is-a-long-name") (range 1 200)) "-also-"))) (time (local-name-string? long-name)) (let ((name (string->local-name long-name))) (time (local-name? name))))
cpu time: 66 real time: 66 gc time: 33
cpu time: 0 real time: 0 gc time: 0
#t
procedure
v : local-name?
> (require rdf/core/name) > (local-name->string (string->local-name "a-valid-name")) "a-valid-name"
The following table shows how different combinations of namespace, prefix, local name, and IRI can be constructed.
function |
| from |
| add |
| into |
| map? |
|
|
|
| No | ||||
|
|
|
| Yes | ||||
|
|
|
| No | ||||
|
|
|
| No | ||||
|
|
|
| Yes | ||||
|
|
|
| Yes | ||||
|
|
|
| Yes | ||||
|
|
|
| Yes | ||||
|
|
|
| Yes |