Towards an RDF Validation Language Based on Regular Expression Derivatives

There is a growing interest in the validation of RDF based solutions where one can express the topology of an RDF graph using some schema language that can check if RDF documents comply with it. Shape Expressions have been proposed as a simple, intuitive language that can be used to describe expected graph patterns and to validate RDF graphs against those patterns. The syntax and semantics of Shape Expressions are designed to be familiar to users of regular expressions. In this paper, we propose an implementation of Shape Expressions inspired by the regular expression derivatives but adapted to RDF graphs.

[1]  Arthur G. Ryman,et al.  OSLC Resource Shape: A language for defining constraints on Linked Data , 2013, LDOW.

[2]  Johan Jeuring,et al.  Inductive representations of RDF graphs , 2014, Sci. Comput. Program..

[3]  Jens Lehmann,et al.  Test-driven evaluation of linked data quality , 2014, WWW.

[4]  Eric van der Vlist.  RELAX NG - a simpler schema language for XML , 2004 .

[5]  Wouter Gelade,et al.  Succinctness of regular expressions with interleaving, intersection and counting , 2008, Theor. Comput. Sci..

[6]  Harold R. Solbrig,et al.  Shape expressions: an RDF validation and transformation language , 2014, SEM '14.

[7]  Oasis.  RELAX NG Specification , 2001 .

[8]  Jose María Álvarez Rodríguez,et al.  Validating and Describing Linked Data Portals using RDF Shape Expressions , 2014, LDQ@SEMANTICS.

[9]  Wouter Gelade.  Succinctness of regular expressions with interleaving, intersection and counting , 2010, Theor. Comput. Sci..

[10]  Jiao Tao,et al.  Integrity Constraints in OWL , 2010, AAAI.

[11]  Martin Sulzmann,et al.  POSIX Regular Expression Parsing with Derivatives , 2014, FLOPS.

[12]  Iovka Boneva,et al.  Complexity and Expressiveness of ShEx for RDF , 2015, ICDT.

[13]  Murali Mani,et al.  Taxonomy of XML schema languages using formal language theory , 2005, TOIT.

[14]  David Darais,et al.  Parsing with derivatives: a functional pearl , 2011, ICFP.

[15]  Janusz A. Brzozowski,et al.  Derivatives of Regular Expressions , 1964, JACM.

[16]  Dario Colazzo,et al.  Efficient inclusion for a class of XML types with interleaving and counting , 2009, Inf. Syst..

[17]  Aaron Turon,et al.  Regular-expression derivatives re-examined , 2009, Journal of Functional Programming.

[18]  Boris Motik,et al.  Adding Integrity Constraints to OWL , 2007, OWLED.

[19]  Jose Emilio Labra Gayo.  Validating statistical index data represented in RDF using SPARQL queries , 2013 .

[20]  J. Clark,et al.  RELAX NG specification , 2001 .