Schriftliche Ausarbeitung - Alexander Willner | Masterarbeit

Auszug aus der D-GRDL für das InstantGrid-Projekt 5
3.2 Ressourcen und deren Klassen
Eine Ressource wird in D-GRDL durch ein XML-Element ” “ beschrieben.
Dieses hat obligatorisch einen (eindeutigen) Bezeichner (URI) und
ist einer Ressourcenklasse, benannt durch einen (abstrakten) Bezeichner (URI),
zugeordnet (OfClass). Des weiteren kann eine Ressourcenbeschreibung optional
über einen Namen (Name) sowie über eine Beschreibung (Description) verfügen.
Weitere optionale Teile der Beschreibung sind Angaben über Ressourceneigenschaften
und darüber, welche Ressourcen aggregiert werden (Provides).
Schließlich kann eine Ressourcenbeschreibungen optional nicht weiter unterstützte
oder semantisch interpretierte Beschreibungen in XML enthalten (Unsupported):
Resource −> ’’
OfClass
Name?
Description ?
SimpleProperty∗
Provides?
’’
Integritätsbedingung: Ist eine Menge von Ressourcenbeschreibungen R gegeben,
so müssen deren Bezeichner eindeutig sein. Semantisch bedeutet dies,
dass zwei Beschreibungen gleich sein müssen, wenn es ihre URIs sind:
∀x ∀y : (x ∈ R ∧ y ∈ R
=⇒ x = y .
∧ x/resource[1]/@uri = y/resource[1]/@uri)
Die Zugehörigkeit einer beschriebenen Ressource zu einer Klasse, wird mit dem
Konstrukt
OfClass −> ’’
ausgedrückt. Es besagt, dass die Ressource ein Element der (abstrakten) Menge
ist, die durch den Klassenbezeichner benannt ist. Ferner sollen die Ressourcenund
die Klassenbezeichner disjunkt sein.
Integritätsbedingungen: Die Bezeichner der Ressourcen und ihrer Klassen
müssen disjunkt sein, d. h. für eine gegebene Menge von Ressourcenbeschreibungen
R muss gelten:
∀x ∀y : (x ∈ R ∧ y ∈ R)
=⇒ x/resource[1]/ofClass[1]/@uri = y/resource[1]/@uri .
Formale Semantik: Beschriebene Ressourcen sind Elemente der genannten
Klassen, welche wiederum Teilmengen der Ressourcen sind. — Für jede Menge