A formal model for RDF dataset constraints

Harold Solbrig, Eric Prud'Hommeaux, Christopher Chute, Jim Davies

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages244-260
Number of pages17
Volume8388 LNCS
ISBN (Print)9783319068251
DOIs
Publication statusPublished - 2014
Externally publishedYes
Event3rd Joint International Semantic Technology Conference, JIST 2013 - Seoul, Korea, Republic of
Duration: Nov 28 2013Nov 30 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8388 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other3rd Joint International Semantic Technology Conference, JIST 2013
CountryKorea, Republic of
CitySeoul
Period11/28/1311/30/13

    Fingerprint

Keywords

  • Formal schema
  • Invariants
  • RDF
  • RDF Dataset
  • RDF Graph
  • RDF validation
  • Validation
  • Z specification language

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Solbrig, H., Prud'Hommeaux, E., Chute, C., & Davies, J. (2014). A formal model for RDF dataset constraints. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8388 LNCS, pp. 244-260). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8388 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-06826-8_19