Shape expressions: An RDF validation and transformation language

Eric Prud'hommeaux, Jose Emilio Labra Gayo, Harold Solbrig

Research output: Contribution to conferencePaperpeer-review

61 Scopus citations


RDF is a graph based data model which is widely used for semantic web and linked data applications. In this paper we describe a Shape Expression definition language which enables RDF validation through the declaration of constraints on the RDF model. Shape Expressions can be used to validate RDF data, communicate expected graph patterns for interfaces and generate user interface forms. In this paper we describe the syntax and the formal semantics of Shape Expressions using inference rules. Shape Expressions can be seen as domain specific language to define Shapes of RDF graphs based on regular expressions. Attached to Shape Expressions are semantic actions which provide an extension point for validation or for arbitrary code execution such as those in parser generators. Using semantic actions, it is possible to augment the validation expressiveness of Shape Expressions and to transform RDF graphs in a easy way. We have implemented several validation tools that check if an RDF graph matches against a Shape Expressions schema and infer the corresponding Shapes. We have also implemented two extensions, called GenX and GenJ that leverage the predictability of the graph traversal and create ordered, closed content, XML/Json documents, providing a simple, declarative mapping from RDF data to XML and Json documents.

Original languageEnglish (US)
Number of pages9
StatePublished - Sep 4 2014
Externally publishedYes
Event10th International Conference on Semantic Systems, SEMANTiCS 2014 - Leipzig, Germany
Duration: Sep 4 2014Sep 5 2014


Other10th International Conference on Semantic Systems, SEMANTiCS 2014


  • Graphs
  • RDF
  • Transformation
  • Validation

ASJC Scopus subject areas

  • Software
  • Human-Computer Interaction
  • Computer Vision and Pattern Recognition
  • Computer Networks and Communications


Dive into the research topics of 'Shape expressions: An RDF validation and transformation language'. Together they form a unique fingerprint.

Cite this