40901 - Theoretische Informatik

Autor bzw. Ersteller	Thomas Hartmann
Schlagwörter	RDF Data Validation, RDF Data Quality, RDF Constraint Types, Constraint Formulation, Constraint Languages
Klassifizierungen	DFG: 40901 - Theoretische Informatik
Art der Forschungsdaten	Collection
Erstellungsjahr	2016
Herausgeber	KIT Bibliothek
Jahr der Veröffentlichung	2017
DOI	10.5445/BWDD/11
Abstract	Research data, research results, and publications of the PhD thesis entitled 'Validation Framework for RDF-based Constraint Languages', submitted to the Department of Economics and Management at the Karlsruhe Institute of Technology (KIT). Als Markdown rendern Research data, research results, and publications of the PhD thesis entitled 'Validation Framework for RDF-based Constraint Languages', submitted to the Department of Economics and Management at the Karlsruhe Institute of Technology (KIT).
Lizenz	CC BY 3.0
Liesmich	# PhD Thesis --- * Title: [Validation Framework for RDF-based Constraint Languages](http://dx.doi.org/10.5445/IR/1000056458) * Author: [Thomas Hartmann](http://www.dr-thomashartmann.de/) * Examination Date: 08.07.2016 * University: [Karlsruhe Institute of Technology (KIT)](https://www.kit.edu/english/) * Chair: [Institute of Applied Informatics and Formal Description Methods](http://www.aifb.kit.edu/web/Hauptseite/en) * Department: [Department of Economics and Management](http://www.wiwi.kit.edu/english/index.php) * 1. Advisor: [Prof. Dr. York Sure-Vetter](http://www.aifb.kit.edu/web/York_Sure-Vetter/en), Karlsruhe Institute of Technology * 2. Advisor: [Prof. Dr. Kai Eckert](https://www.hdm-stuttgart.de/forschung_transfer/forschungsthemen/metadatenmanagement/team/eckert), Stuttgart Media University --- *PhD Thesis Download* * [http://dx.doi.org/10.5445/IR/1000056458](http://dx.doi.org/10.5445/IR/1000056458) *Publications* * Complete set of publications: [publications](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/publications) *Research Data, Research Results, and Publications* * Link to the KIT research data repository: [http://dx.doi.org/10.5445/BWDD/11](http://dx.doi.org/10.5445/BWDD/11) --- *RDF Validation Requirements Database* * [http://purl.org/net/rdf-validation](http://purl.org/net/rdf-validation) *Validation Environment* * Demo: [http://purl.org/net/rdfval-demo](http://purl.org/net/rdfval-demo) * Source code: [software/rdf-validator](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/software/rdf-validator) --- *Chapter 2: Foundations for RDF Validation* * XML validation: [chapter/chapter-2/xml-validation](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-2/xml-validation) *Chapter 3: Vocabularies for Representing Research Data and Related Metadata* * RDF vocabularies commonly used to represent different types of research data and related metadata: [chapter/chapter-3/common-vocabularies](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-3/common-vocabularies) * Complete running example in RDF: [chapter/chapter-3/common-vocabularies/running-example](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-3/common-vocabularies/running-example) *Chapter 4: RDFication of XML Enabling to use RDF Validation Technologies* * Evaluation results: [chapter/chapter-4/evaluation](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-4/evaluation) *Chapter 6: Consistent Validation across RDF-based Constraint Languages* * Constraint languages implementations: [chapter/chapter-6/constraint-languages-implementations](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-6/constraint-languages-implementations) *Chapter 7: Validation Framework for RDF-based Constraint Languages* * Formal specification, HTML documentation, and UML class diagram of the RDF Constraints Vocabulary (RDF-CV): [chapter/chapter-7/rdf-constraints-vocabulary](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-7/rdf-constraints-vocabulary) * Generic SPIN mappings for constraint types: [chapter/chapter-7/generic-SPIN-mappings/RDF-CV-2-SPIN.ttl](https://github.com/github-thomas-hartmann/phd-thesis/blob/master/chapter/chapter-7/generic-SPIN-mappings/RDF-CV-2-SPIN.ttl) *Chapter 8: The Role of Reasoning for RDF Validation* * Implementations for all constraint types expressible by OWL 2 QL, OWL 2 DL, and DSP as well as for major constraint types representable by ReSh and ShEx: [chapter/chapter-8/constraint-types-implementations](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-8/constraint-types-implementations) * Implementation of reasoning capabilities for all reasoning constraint types for which OWL 2 QL and OWL 2 DL reasoning may be performed: [chapter\chapter-8\reasoning-constraint-types-implementations/OWL2-Reasoning-2-SPIN.ttl](https://github.com/github-thomas-hartmann/phd-thesis/blob/master/chapter/chapter-8/reasoning-constraint-types-implementations/OWL2-Reasoning-2-SPIN.ttl) * Validation and reasoning implementations of constraint types: [chapter/chapter-8/constraint-types-implementations](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-8/constraint-types-implementations) *Chapter 9: Evaluating the Usability of Constraint Types for Assessing RDF Data Quality* * Implementations of all 115 constraints: [chapter/chapter-9/constraints](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-9/constraints) * Evaluation results for each QB data set grouped by SPARQL endpoint: [chapter/chapter-9/evaluation/data-sets/QB](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-9/evaluation/data-sets/QB) * Vocabulary implementations: [chapter/chapter-9/vocabularies/implementations](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-9/vocabularies/implementations) *Appendix* * Link to appendix: [http://dx.doi.org/10.5445/IR/1000054062](http://dx.doi.org/10.5445/IR/1000054062) Als Markdown rendern PhD Thesis Title: Validation Framework for RDF-based Constraint Languages Author: Thomas Hartmann Examination Date: 08.07.2016 University: Karlsruhe Institute of Technology (KIT) Chair: Institute of Applied Informatics and Formal Description Methods Department: Department of Economics and Management Advisor: Prof. Dr. York Sure-Vetter, Karlsruhe Institute of Technology Advisor: Prof. Dr. Kai Eckert, Stuttgart Media University *PhD Thesis Download* http://dx.doi.org/10.5445/IR/1000056458 *Publications* Complete set of publications: publications *Research Data, Research Results, and Publications* Link to the KIT research data repository: http://dx.doi.org/10.5445/BWDD/11 *RDF Validation Requirements Database* http://purl.org/net/rdf-validation *Validation Environment* Demo: http://purl.org/net/rdfval-demo Source code: software/rdf-validator *Chapter 2: Foundations for RDF Validation* XML validation: chapter/chapter-2/xml-validation *Chapter 3: Vocabularies for Representing Research Data and Related Metadata* RDF vocabularies commonly used to represent different types of research data and related metadata: chapter/chapter-3/common-vocabularies Complete running example in RDF: chapter/chapter-3/common-vocabularies/running-example *Chapter 4: RDFication of XML Enabling to use RDF Validation Technologies* Evaluation results: chapter/chapter-4/evaluation *Chapter 6: Consistent Validation across RDF-based Constraint Languages* Constraint languages implementations: chapter/chapter-6/constraint-languages-implementations *Chapter 7: Validation Framework for RDF-based Constraint Languages* Formal specification, HTML documentation, and UML class diagram of the RDF Constraints Vocabulary (RDF-CV): chapter/chapter-7/rdf-constraints-vocabulary Generic SPIN mappings for constraint types: chapter/chapter-7/generic-SPIN-mappings/RDF-CV-2-SPIN.ttl *Chapter 8: The Role of Reasoning for RDF Validation* Implementations for all constraint types expressible by OWL 2 QL, OWL 2 DL, and DSP as well as for major constraint types representable by ReSh and ShEx: chapter/chapter-8/constraint-types-implementations Implementation of reasoning capabilities for all reasoning constraint types for which OWL 2 QL and OWL 2 DL reasoning may be performed: chapter\chapter-8\reasoning-constraint-types-implementations/OWL2-Reasoning-2-SPIN.ttl Validation and reasoning implementations of constraint types: chapter/chapter-8/constraint-types-implementations *Chapter 9: Evaluating the Usability of Constraint Types for Assessing RDF Data Quality* Implementations of all 115 constraints: chapter/chapter-9/constraints Evaluation results for each QB data set grouped by SPARQL endpoint: chapter/chapter-9/evaluation/data-sets/QB Vocabulary implementations: chapter/chapter-9/vocabularies/implementations *Appendix* Link to appendix: http://dx.doi.org/10.5445/IR/1000054062

Autor bzw. Ersteller

Thomas Hartmann

Schlagwörter

RDF Data Validation, RDF Data Quality, RDF Constraint Types, Constraint Formulation, Constraint Languages

Klassifizierungen

DFG: 40901 - Theoretische Informatik

Art der Forschungsdaten

Collection

Erstellungsjahr

2016

Herausgeber

KIT Bibliothek

Jahr der Veröffentlichung

2017

DOI

10.5445/BWDD/11

Abstract

Research data, research results, and publications of the 
PhD thesis entitled 'Validation Framework for RDF-based Constraint Languages', 
submitted to the Department of Economics and Management at the Karlsruhe Institute of Technology (KIT).

Als Markdown rendern

Research data, research results, and publications of the PhD thesis entitled 'Validation Framework for RDF-based Constraint Languages', submitted to the Department of Economics and Management at the Karlsruhe Institute of Technology (KIT).

Lizenz

CC BY 3.0

Liesmich

# PhD Thesis

---

* Title: **[Validation Framework for RDF-based Constraint Languages](http://dx.doi.org/10.5445/IR/1000056458)**
* Author: **[Thomas Hartmann](http://www.dr-thomashartmann.de/)**
* Examination Date: 08.07.2016
* University: [Karlsruhe Institute of Technology (KIT)](https://www.kit.edu/english/)
* Chair: [Institute of Applied Informatics and Formal Description Methods](http://www.aifb.kit.edu/web/Hauptseite/en)
* Department: [Department of Economics and Management](http://www.wiwi.kit.edu/english/index.php)
* 1. Advisor: [Prof. Dr. York Sure-Vetter](http://www.aifb.kit.edu/web/York_Sure-Vetter/en), Karlsruhe Institute of Technology
* 2. Advisor: [Prof. Dr. Kai Eckert](https://www.hdm-stuttgart.de/forschung_transfer/forschungsthemen/metadatenmanagement/team/eckert), Stuttgart Media University

---

***PhD Thesis Download***
* [http://dx.doi.org/10.5445/IR/1000056458](http://dx.doi.org/10.5445/IR/1000056458)

***Publications***
* Complete set of publications: [publications](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/publications)

***Research Data, Research Results, and Publications***
* Link to  the KIT research data repository: [http://dx.doi.org/10.5445/BWDD/11](http://dx.doi.org/10.5445/BWDD/11)

---

***RDF Validation Requirements Database***
* [http://purl.org/net/rdf-validation](http://purl.org/net/rdf-validation)

***Validation Environment***
* Demo: [http://purl.org/net/rdfval-demo](http://purl.org/net/rdfval-demo)
* Source code: [software/rdf-validator](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/software/rdf-validator)

---

***Chapter 2: Foundations for RDF Validation***
* XML validation: [chapter/chapter-2/xml-validation](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-2/xml-validation)

***Chapter 3: Vocabularies for Representing Research Data and Related Metadata***
* RDF vocabularies commonly used to represent different types of research data and related metadata: [chapter/chapter-3/common-vocabularies](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-3/common-vocabularies)
* Complete running example in RDF: [chapter/chapter-3/common-vocabularies/running-example](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-3/common-vocabularies/running-example)

***Chapter 4: RDFication of XML Enabling to use RDF Validation Technologies***
* Evaluation results: [chapter/chapter-4/evaluation](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-4/evaluation)
 
***Chapter 6: Consistent Validation across RDF-based Constraint Languages***
* Constraint languages implementations: [chapter/chapter-6/constraint-languages-implementations](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-6/constraint-languages-implementations)

***Chapter 7: Validation Framework for RDF-based Constraint Languages***
*  Formal specification, HTML documentation, and UML class diagram of the RDF Constraints Vocabulary (RDF-CV): [chapter/chapter-7/rdf-constraints-vocabulary](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-7/rdf-constraints-vocabulary)
* Generic SPIN mappings for constraint types: [chapter/chapter-7/generic-SPIN-mappings/RDF-CV-2-SPIN.ttl](https://github.com/github-thomas-hartmann/phd-thesis/blob/master/chapter/chapter-7/generic-SPIN-mappings/RDF-CV-2-SPIN.ttl)

***Chapter 8: The Role of Reasoning for RDF Validation***
* Implementations for all constraint types expressible by OWL 2 QL, OWL 2 DL, and DSP as well as for major constraint types representable by ReSh and ShEx:
  [chapter/chapter-8/constraint-types-implementations](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-8/constraint-types-implementations)
* Implementation of reasoning capabilities for all reasoning constraint types for which OWL 2 QL and OWL 2 DL reasoning may be performed: [chapter\chapter-8\reasoning-constraint-types-implementations/OWL2-Reasoning-2-SPIN.ttl](https://github.com/github-thomas-hartmann/phd-thesis/blob/master/chapter/chapter-8/reasoning-constraint-types-implementations/OWL2-Reasoning-2-SPIN.ttl)
* Validation and reasoning implementations of constraint types:  [chapter/chapter-8/constraint-types-implementations](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-8/constraint-types-implementations)

***Chapter 9: Evaluating the Usability of Constraint Types for Assessing RDF Data Quality***
* Implementations of all 115 constraints: [chapter/chapter-9/constraints](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-9/constraints)
* Evaluation results for each QB data set grouped by SPARQL endpoint: [chapter/chapter-9/evaluation/data-sets/QB](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-9/evaluation/data-sets/QB)
* Vocabulary implementations: [chapter/chapter-9/vocabularies/implementations](https://github.com/github-thomas-hartmann/phd-thesis/tree/master/chapter/chapter-9/vocabularies/implementations)

***Appendix***
* Link to appendix: [http://dx.doi.org/10.5445/IR/1000054062](http://dx.doi.org/10.5445/IR/1000054062)

Als Markdown rendern

PhD Thesis

Title: Validation Framework for RDF-based Constraint Languages
Author: Thomas Hartmann
Examination Date: 08.07.2016
University: Karlsruhe Institute of Technology (KIT)
Chair: Institute of Applied Informatics and Formal Description Methods
Department: Department of Economics and Management
1. Advisor: Prof. Dr. York Sure-Vetter, Karlsruhe Institute of Technology
1. Advisor: Prof. Dr. Kai Eckert, Stuttgart Media University

PhD Thesis Download

http://dx.doi.org/10.5445/IR/1000056458

Publications

Complete set of publications: publications

Research Data, Research Results, and Publications

Link to the KIT research data repository: http://dx.doi.org/10.5445/BWDD/11

RDF Validation Requirements Database

http://purl.org/net/rdf-validation

Validation Environment

Demo: http://purl.org/net/rdfval-demo
Source code: software/rdf-validator

Chapter 2: Foundations for RDF Validation

XML validation: chapter/chapter-2/xml-validation

Chapter 3: Vocabularies for Representing Research Data and Related Metadata

RDF vocabularies commonly used to represent different types of research data and related metadata: chapter/chapter-3/common-vocabularies
Complete running example in RDF: chapter/chapter-3/common-vocabularies/running-example

Chapter 4: RDFication of XML Enabling to use RDF Validation Technologies

Evaluation results: chapter/chapter-4/evaluation

Chapter 6: Consistent Validation across RDF-based Constraint Languages

Constraint languages implementations: chapter/chapter-6/constraint-languages-implementations

Chapter 7: Validation Framework for RDF-based Constraint Languages

Formal specification, HTML documentation, and UML class diagram of the RDF Constraints Vocabulary (RDF-CV): chapter/chapter-7/rdf-constraints-vocabulary
Generic SPIN mappings for constraint types: chapter/chapter-7/generic-SPIN-mappings/RDF-CV-2-SPIN.ttl

Chapter 8: The Role of Reasoning for RDF Validation

Implementations for all constraint types expressible by OWL 2 QL, OWL 2 DL, and DSP as well as for major constraint types representable by ReSh and ShEx: chapter/chapter-8/constraint-types-implementations
Implementation of reasoning capabilities for all reasoning constraint types for which OWL 2 QL and OWL 2 DL reasoning may be performed: chapter\chapter-8\reasoning-constraint-types-implementations/OWL2-Reasoning-2-SPIN.ttl
Validation and reasoning implementations of constraint types: chapter/chapter-8/constraint-types-implementations

Chapter 9: Evaluating the Usability of Constraint Types for Assessing RDF Data Quality

Implementations of all 115 constraints: chapter/chapter-9/constraints
Evaluation results for each QB data set grouped by SPARQL endpoint: chapter/chapter-9/evaluation/data-sets/QB
Vocabulary implementations: chapter/chapter-9/vocabularies/implementations

Appendix

Link to appendix: http://dx.doi.org/10.5445/IR/1000054062

Zugriffszähler	3094
Downloadzähler	495

Zugriffszähler

3094

Downloadzähler

495

Name	Dateigröße	Hochgeladen	Prüfsumme (MD5)
phd-thesis-master.zip	24.18 MiB	08.02.17 11:52:29	f5a829176aefc40eb120e75d6dcfd4f2

Name

Dateigröße

Hochgeladen

Prüfsumme (MD5)

phd-thesis-master.zip

24.18 MiB

08.02.17 11:52:29

f5a829176aefc40eb120e75d6dcfd4f2

Validation Framework for RDF-based Constraint Languages - PhD Thesis Research Data

Als Markdown rendern

Als Markdown rendern

PhD Thesis

Statistiken

Dateien

+ Daten aus dem Archiv transferieren und dann herunterladen

BagIt

+ Daten aus dem Archiv transferieren und dann als Zip herunterladen

Dateiliste (1)