Validation Framework for RDF-based Constraint Languages - PhD Thesis Research Data
Additional titles:
-
Description:
(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).
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).
(Technical Remarks)
# 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/eng...
# 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)
Hartmann, Thomas
(2023): Validation Framework for RDF-based Constraint Languages - PhD Thesis Research Data.
Karlsruhe Institute of Technology.
DOI: 10.35097/1608
RADAR is an online service for the archival and publication of research data resulting from completed scientific studies and projects. RADAR is operated by FIZ Karlsruhe - Leibniz Institute for Information Infrastructure GmbH (hereinafter referred to as "we" or "us"). Using RADAR third parties ("data providers") may compile research data into datasets, annotate these datasets with metadata, store them permanently and make them publicly available. Review of the content and quality of the datasets is the sole responsibility of the data provider.
The relationship between you ("data user") and us exists solely in relation to the download of datasets or metadata. We reserve the right to restrict the use or terminate the provision of RADAR completely at any time.
If you are registered as a data user or are authorised by Shibboleth, the data provider may also grant you access to archived datasets.
A full explanation as to how we protect your personal data is provided in our privacy policy.
We assume no responsibility or liability for the accuracy, or reliability of the content or whether the content is up to date, except in the case of legally mandated liability.
Access to RADAR as well as the ability to search and download datasets will be provided to you, the data user, without cost.
You must comply with the conditions of the license connected with the dataset used.