Comparative expressiveness of ShEx and SHACL (Early working draft) - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

Comparative expressiveness of ShEx and SHACL (Early working draft)

Iovka Boneva

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.
Fichier principal
Vignette du fichier
paper.pdf (181.01 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01288285 , version 1 (14-03-2016)

Licence

Copyright

Identifiers

  • HAL Id : hal-01288285 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More