Schriftliche Ausarbeitung - Alexander Willner | Masterarbeit

Auszug aus der D-GRDL für das InstantGrid-Projekt 11
gelten, wobei
sei.
ICprovidesExists(R, $P) ≡ {
∀x ∀α ∃y : (x ∈ R ∧ y ∈ R
∧ α ∈ x/resource/provides/$P)
=⇒ α/@uri = y/resource[1]/@uri }
Formale Semantik: Wie besagt, definiert die Aggregation eine binäre Relation
provides auf Ressourcen: Ist eine Menge von Ressourcenbeschreibungen R
gegeben, dann gilt
wobei
und
sei.
evalProvides(x)
:=
∀x : x ∈ R =⇒ evalProvides(x) ,
α∈x/resource/provides/resourceRef
evalSimpleProvides(x, α)
evalSimpleProvides(x, y) := x/resource[1]/@uri provides y/@uri
Beispiel: Zur Semantik der Relation provides ein erläuterndes Beispiel, bei dem
drei Ressourcenbeschreibungen gegeben sind:
h ≡
harlekin
harlekin PC at Fraunhofer FIRST in room 128
c ≡
cat
the cat program