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).

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 2. Advisor: Prof. Dr. Kai Eckert, Stuttgart Media University---PhD Thesis Download http://dx.doi.org/10.5445/IR/1000056458Publications* Complete set of publications: publicationsResearch 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-validationValidation 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-validationChapter 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-exampleChapter 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-implementationsChapter 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.ttlChapter 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-implementationsChapter 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/implementationsAppendix*** Link to appendix: http://dx.doi.org/10.5445/IR/1000054062