Für das Vokabular aus Blatt4.rdf ist im folgenden eine einfache Interpretation I definiert,
die alle Tripel aus Blatt4.rdf zu wahr auswertet.


@prefix rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns# .
@prefix rdfs: http://www.w3.org/2000/01/rdf-schema# .
@prefix vsw: http://isweb.uni-koblenz.de/Teaching/WS0708/SemWeb07# .


IR = {i8, i9, ..., e1} U IP U LV


IP = {vsw1, vsw2, vsw3, ..., rdf1,  rdfs1}


LV = {gut, Schueler, Di 8h,  1,
0815, 0816, 0817,
Heinz Hiwi, Heiner Mueller, Hans Schulze,
UebRDFS_Instance_10, UebRDFS_Instance_11,
...
}


I_s(vsw:UebRDFS_Instance_8) = i8
I_s(vsw:UebRDFS_Instance_9) = i9
...
I_s(vsw:UebRDFS_Instance_14) =  i14
I_s(vsw:findet) = vsw1
I_s(vsw:ueber) = vsw2
I_s(vsw:sagt) = vsw3
I_s(vsw:gehaltenVon) = vsw4
I_s(vsw:Uebungsstunde) = vsw5
I_s(vsw:Uebungsgruppe) = vsw6
I_s(vsw:Server) = vsw7
I_s(vsw:name) = vsw8
I_s(vsw:Teilnehmer) = vsw9

...
I_s(rdf:type) = rdf1
I_s(rdfs:label) = rdfs1


dom(I_L) = {}//keine getypten Literale


I_EXT(rdf1) = {(i9,vsw9), (i10,vsw5), (i11,vsw6), (i12,vsw7), ...} // rdf:type
I_EXT(rdfs1) = {(i10,UebRDFS_Instance_10), (i11,UebRDFS_Instance_11), ...} // rdfs:label
I_EXT(vsw1) = {(e1,gut)}
I_EXT(vsw2) = {(e1,i10)}
I_EXT(vsw3) = {(i9,e1)}
I_EXT(vsw4) = {(i10,Schueler)}
...
I_EXT(vsw8) = {(i9,Hans Schulze)}
...


A(_:id1) = e1


Sind die Tripel wahr?
Beispiel:

I+A(_id1 findet "gut") = wahr,
da I+A(_:id1) = e1, I+A("gut") = gut und (e1, gut) Element von  I_EXT(vsw1)
I+A(_id1 vsw:ueber vsw:UebRDFS_Instance_10) = wahr,
da I+A(_:id1) = e1, I+A(vsw:UebRDFS_Instance_10) = i10 und (e1, i10) Element von  I_EXT(vsw2)
I+A(vsw:UebRDFS_Instance_9 vsw:sagt   _:id1) = wahr,
da (i9, e1) Element von  I_EXT(vsw3)
I+A(vsw:UebRDFS_Instance_10 vsw:gehaltenVon "Schueler") = wahr,
da (i10, Schueler) Element von  I_EXT(vsw4)
...