Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-2320
Main Title: Formal Modelling and Application of Graph Transformations in the Resource Description Framework
Author(s): Braatz, Benjamin
Advisor(s): Ehrig, Hartmut
Granting Institution: Technische Universität Berlin, Fakultät IV - Elektrotechnik und Informatik
Type: Doctoral Thesis
Language: English
Language Code: en
Abstract: In dieser Arbeit wird eine Verbindung zwischen zwei Forschungsbereichen entwickelt. Auf der einen Seite ist das Resource Description Framework (RDF) die Basis des Semantic Web. Auf der anderen Seite hat die algebraische Graphtransformation eine lange Tradition darin, formal fundierte Modifikationskonzepte für Graphen und graphähnliche Strukturen zur Verfügung zu stellen. Durch den Entwurf eines algebraischen Transformationskonzepts für RDF werden die reichhaltigen theoretischen Ergebnisse der algebraischen Graphtransformation für die RDF-Welt nutzbar. Um dieses Ziel zu erreichen, wird zunächst die formale abstrakte Syntax und Semantik von RDF in der Sprache der Kategorientheorie, die bei Graphtransformationen intensiv genutzt wird, reformuliert. Dann wird ein abstraktes, kategorielles Transformations-Framework entwickelt, welches geeignet ist, anschließend durch RDF-Strukturen instanziiert zu werden. Dies ist notwendig, da keines der existierenden Frameworks in unmodifizierter Form anwendbar ist. Die hauptsächlichen theoretischen Ergebnisse sind eine sequenzielle Kompositionsoperation für Transformationsregeln und Theoreme, die die Möglichkeit zeigen, Transformationen entlang dieser sequenziell komponierten Regeln zu analysieren und synthetisieren. Diese Ergebnisse sind weiterhin ebenfalls für Transformationsregeln mit negativen Anwendungsbedingungen verfügbar. Die Anwendbarkeit des resultierenden Konzeptes für RDF-Graphtransformationen wird durch zwei Anwendungsszenarien gezeigt. Das eine ist eine klassische Semantic-Web-Anwendung, die bibliographische Metadaten verwaltet, während die andere RDF als abstrakte Syntax für domänenspezifische Modellierungssprachen verwendet.
In this thesis, a connection between two areas of research is developed. On the one hand, the Resource Desription Framework (RDF) is the basis of the Semantic Web. On the other hand, algebraic graph transformation has a long history of providing formally well-founded modification concepts for various graph and graph-like structures. By designing an algebraic transformation approach for RDF, the rich theoretical results of algebraic graph transformation are made available to the RDF world. To achieve this goal, the formal abstract syntax and semantics of RDF is first reformulated in the language of category theory which is used heavily in graph transformation. Then, an abstract, categorical transformation framework is developed which is suitable for being afterwards instantiated by RDF structures. This is necessary since the existing frameworks are not applicable in an unmodified form. The main theoretical results are a sequential composition operation for transformation rules and theorems showing the possibility to analyse and synthesise transformations for these sequentially composed rules. Moreover, these results are also available for transformation rules with negative application conditions. The applicability of the resulting concept of RDF graph transformations is shown by two application scenarios. One is a classical Semantic Web application managing bibliographical metadata, while the other uses RDF as an abstract syntax for domain-specific modelling languages.
URI: urn:nbn:de:kobv:83-opus-24941
http://depositonce.tu-berlin.de/handle/11303/2617
http://dx.doi.org/10.14279/depositonce-2320
Exam Date: 20-Nov-2009
Issue Date: 16-Dec-2009
Date Available: 16-Dec-2009
DDC Class: 620 Ingenieurwissenschaften und zugeordnete Tätigkeiten
Subject(s): Domänenspezifische Sprache
Graph-Transformation
Resource Description Framework
Semantic Web
Domain-Specific Language
Graph Transformation
Resource Description Framework
Semantic Web
Creative Commons License: https://creativecommons.org/licenses/by-nc-nd/2.0/
Appears in Collections:Technische Universität Berlin » Fakultäten & Zentralinstitute » Fakultät 4 Elektrotechnik und Informatik » Institut für Softwaretechnik und Theoretische Informatik » Publications

Files in This Item:
File Description SizeFormat 
Dokument_29.pdf942.32 kBAdobe PDFThumbnail
View/Open


Items in DepositOnce are protected by copyright, with all rights reserved, unless otherwise indicated.