DOI: 10.35097/1608
title: Validation Framework for RDF-based Constraint Languages - PhD Thesis Research Data

description: 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).
description: # 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)