@inproceedings{9fe1441805384d36aed881c955c35b05,
title = "A formal model for RDF dataset constraints",
abstract = "Linked Data has forged new ground in developing easy-to-use, distributed databases. The prevalence of this data has enabled a new genre of social and scientific applications. At the same time, Semantic Web technology has failed to significantly displace SQL or XML in industrial applications, in part because it offers no equivalent schema publication and enforcement mechanisms to ensure data consistency. The RDF community has recognized the need for a formal mechanism to publish verifiable assertions about the structure and content of RDF Graphs, RDF Datasets and related resources. We propose a formal model that could serve as a foundation for describing the various types invariants, pre- and post-conditions for RDF datasets and then demonstrate how the model can be used to analyze selected example constraints.",
keywords = "Formal schema, Invariants, RDF, RDF Dataset, RDF Graph, RDF validation, Validation, Z specification language",
author = "Harold Solbrig and Eric Prud'Hommeaux and Chute, {Christopher G.} and Jim Davies",
year = "2014",
doi = "10.1007/978-3-319-06826-8_19",
language = "English (US)",
isbn = "9783319068251",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "244--260",
booktitle = "Semantic Technology - Third Joint International Conference, JIST 2013, Revised Selected Papers",
note = "3rd Joint International Semantic Technology Conference, JIST 2013 ; Conference date: 28-11-2013 Through 30-11-2013",
}