
88 Foundations of Semantic Web Technologies
I
S
: rdf:Property 7→ π
rdf:XMLLiteral 7→ ρ
0
rdf:nil 7→ ρ
1
rdf:List 7→ ρ
2
rdf:Statement 7→ ρ
3
rdf:subject 7→ ρ
4
rdf:predicate 7→ ρ
5
rdf:object 7→ ρ
6
rdf:first 7→ ρ
7
rdf:rest 7→ ρ
8
rdf:Seq 7→ ρ
9
rdf:Bag 7→ ρ
10
rdf:Alt 7→ ρ
11
rdf:value 7→ ρ
12
rdf:_n 7→ δ
n
for all n ∈ N
FIGURE 3.7: Example of an RDF-interpretation
Note that we now also need to adjust IR and IP to take the new elements
into account. We set them as follows.
IR = {a, c, i, n, p, s, t, v, d, e, h, b, m, o, r, y, π, ρ
k
, δ
j
| k ∈ {0, . . . , 12}, j ∈ N}
IP = {d, e, h, b, m, o, r, y, ρ
4
, . . . , ρ
8
, ρ
12
, δ
k
| k ∈ N}
Finally, set I
EXT
(ρ
4
) = I
EXT
(ρ
5
) = I
EXT
(ρ
6
) = I
EX