Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Comparative expressiveness of ShEx and SHACL (Early working draft)

Iovka Boneva 1
1 LINKS - Linking Dynamic Data
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Abstract : Contributions • We propose a simple formal language for graph shapes that subsumes both ShEx and SHACL. The semantics of the language is based on the semantics of Datalog, and also equivalently defined in terms of Monadic Second Order Logic with Presburger constraints. • We propose a formal semantics of SHACL as a translation to this language. Thanks to this translation, we show that SHACL can be extended with well-defined stratified recursion. • We show how ShEx can be translated to this language. • We explore the necessary restrictions on ShEx so that it can be translated to SHACL, and also the possible modifications of SHACL so that it can capture a bigger fragment of ShEx.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [2 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01288285
Contributor : Iovka Boneva <>
Submitted on : Monday, March 14, 2016 - 6:14:31 PM
Last modification on : Friday, March 22, 2019 - 1:34:43 AM
Document(s) archivé(s) le : Wednesday, June 15, 2016 - 3:30:36 PM

Files

paper.pdf
Files produced by the author(s)

Licence


Copyright

Identifiers

  • HAL Id : hal-01288285, version 1

Collections

Citation

Iovka Boneva. Comparative expressiveness of ShEx and SHACL (Early working draft). 2016. ⟨hal-01288285⟩

Share

Metrics

Record views

421

Files downloads

668