A formal model for RDF dataset constraints

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

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


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 publicationSemantic Technology - Third Joint International Conference, JIST 2013, Revised Selected Papers
PublisherSpringer Verlag
Number of pages17
ISBN (Print)9783319068251
StatePublished - 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)0302-9743
ISSN (Electronic)1611-3349


Other3rd Joint International Semantic Technology Conference, JIST 2013
Country/TerritoryKorea, Republic of


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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'A formal model for RDF dataset constraints'. Together they form a unique fingerprint.

Cite this