Beispiel-Auspraegungen im Retrieval-Modell
------------------------------------------
haupttitelPraefDeutsch(konferenzband#1)= "Deutscher Dokumentartag 1994"
nebentitelPraefDeutsch(konferenzband#1)= {"Blick Europa!", "Informations- und 
  Dokumentationsmanagement"}
titel(konferenzband#1)                 = {
  ("Deutscher Dokumentartag 1994","Titel","deutsch"),
  ("Blick Europa!", "Untertitel", "deutsch"),
  ("Informations- und Dokumentationsmanagement","2. Untertitel","deutsch")} 
listeProduzentenNamen(konferenzband#1) = [("Wolfram Neubauer","Herausgeber"),
  ("Deutsche Gesellschaft f&u:r Dokumentation","Verlag")]
produzentenNamen(konferenzband#1)      = {"Wolfram Neubauer",
  "Deutsche Gesellschaft f&u:r Dokumentation"}
erscheinungsjahr(konferenzband#1)      = {1994}
erscheinungsmonat(konferenzband#1)     = {}
erscheinungstag(konferenzband#1)       = {}
isbn(konferenzband#1)                  = {"3-925474-26-9"}
issn(konferenzband#1)                  = {"0721-1058"}
nsWortInTiteln(konferenzband#1)        = {"deutscher","dokumentartag","blick",
  "europa","informations-","dokumentationsmanagement"}
nsWortInProduzentenNamen(konferenzband#1)= {"wolfram","neubauer","deutsche",
  "gesellschaft","dokumentation"}
nsWortInBeliebig(konferenzband#1)      = {"deutscher", "dokumentartag",
  "blick", "europa", "informations-", "dokumentationsmanagement", "Wolfram",
  "Neubauer","deutsche", "gesellschaft", "dokumentation"}
dokumentart(konferenzband#1)           = dokumentart#7
dokumentartText(konferenzband#1)       = "Konferenzband"
tagung(konferenzband#1)                = tagung#1

haupttitelPraefDeutsch(artikel#2)      = "Semantisches Information Retrieval"
nebentitelPraefDeutsch(artikel#2)      = {}
titel(artikel#2)                       = {
  ("Semantisches Information Retrieval","Titel","deutsch")}
listeProduzentenNamen(artikel#2)       = [("Gerhard Rahmsdorf","Autor")]
erscheinungsjahr(artikel#2)            = {1994}
erscheinungsmonat(artikel#2)           = {9}
erscheinungstag(artikel#2)             = {}
isbn(artikel#2)                        = {}
issn(artikel#2)                        = {}
nsWortInTiteln(artikel#2)              = {"sematisches","information",
  "retrieval"}
nsWortInProduzentenNamen(artikel#2)    = {"Gerhard","Rahmsdorf"}
dokumentart(artikel#2)                 = dokumentart#2
dokumentartText(artikel#2)             = "Artikel"
erschienenIn(artikel#2)                = {(konferenzband#1,"S. 237-260","")}
abstractTextPraefDeutsch(artikel#2)    = {"Der Ansatz des semantischen
  Information Retrieval kann gekennzeichnet werden durch die Verwendung
  von Ausdr&u:cken nat&u:rlicher Sprachen zu ..."}
nsWortInAbstracts(artikel#2)           = {"ansatz","semantischen",
  "information","retrieval","gekennzeichnet","verwendung",...}
literaturhinweis(artikel#2)            = {(artikel#3,"",""),...}

konferenz(tagung#1)                    = konferenz#1
titel(tagung#1)                        = "Deutscher Dokumentartag 1994"
ort(tagung#1)                          = {"Universit&a:t Trier"}
tag(tagung#1)                          = {27}
monat(tagung#1)                        = {9}
jahr(tagung#1)                         = {1994}
durchfuehrer(tagung#1)                 = {}

titel(konferenz#1)                     = "Deutscher Dokumentartag"
verantwortlich(konferenz#1)            = {}
tagungen(konferenz#1)                  = {tagung#1}

text(dokumentart#7)                    = "Konferenzband"
text(dokumentart#2)                    = "Artikel"

text(wort#1)                           = "dokumentartag"
soundex(wort#1)                        = 1234
soundexAehnlich(wort#1)                = {wort#4711,wort#342}

soundexAehnlich("")                    = {}
regExAbleitung("")                     = {}

[] = Liste (geordnet)
{} = Menge (leere Menge fuer 'Nullwerte' verwendet)
"" = String

Abbildung der Schnittstellen-Syntax auf Anfrage-Syntax
-----------------------------------------------------
feldname[N] = F

feldname([n = N, name = ],D) <--
  add resultList(N,FunctionName(D)).

bedingung[N].attribut = A
bedingung[N].wert = W
bedingung[N].praedikat = P
bedingung[N].funktion = F

objekt([n=N, attribut=A, wert=W, praedikat=gleich, funktion=id],D) <--
  add condition(N,W = A(D)).

objekt([n=N, attribut=A, wert=W, praedikat=in, funktion=id],D) <--
  add condition(N,B in F(D)).

objekt([n=N, attribut=A, wert=W, praedikat=inOderNull, funktion=id],D) <--
  add condition(N,(W in A(D) or A(D) = {})).

objekt([n=N, attribut=A, wert=W, praedikat=kleiner, funktion=id],D) <--
  add condition(N,A(D) < Belegung).

objekt([n=N, attribut=A, wert=W, praedikat=kleinerOderNull, funktion=id],D) <--
  add condition(N,((A(D) = {_X}, _X < W) or A(D) = {})).

objekt([n=N, attribut=A, wert=W, praedikat=in, funktion=regEx],D) <--
  add condition(N,(_X in A(D), _X in regExAbleitung(W))).

objekt([n=N, attribut=A, wert=W, praedikat=gleich, funktion=regEx],D) <--
  add condition(N,(_X = A(D), _X in regExAbleitung(W))).

objekt([n=N, attribut=A, wert=W, praedikat=in, funktion=soundex],D) <--
  add condition(N,(_X in A(D), _X in soundexAehnlich(W))).