Type checking program code using SHACL
Type checking program code using SHACL
It is a strength of graph-based data formats, like RDF, that they are very flexible with representing data. To avoid run-time errors, program code that processes highly-flexible data representations exhibits the difficulty that it must always include the most general case, in which attributes might be set-valued or possibly not available. The Shapes Constraint Language (SHACL) has been devised to enforce constraints on otherwise random data structures. We present our approach, Type checking using SHACL (TyCuS), for type checking code that queries RDF data graphs validated by a SHACL shape graph. To this end, we derive SHACL shapes from queries and integrate data shapes and query shapes as types into a λ -calculus. We provide the formal underpinnings and a proof of type safety for TyCuS. A programmer can use our method in order to process RDF data with simplified, type checked code that will not encounter run-time errors (with usual exceptions as type checking cannot prevent accessing empty lists).
Leinberger, Martin
a660c10c-241c-4e0e-8cd1-f03cc8d98bd2
Seifer, Philipp
cf4777a9-262b-4de1-bda4-46e4a989bfbc
Schon, Claudia
168b14b3-9af6-4578-b264-7100764f3ea8
Lämmel, Ralf
88466e78-a512-4c70-ad31-7d50c4006b7f
Staab, Steffen
bf48d51b-bd11-4d58-8e1c-4e6e03b30c49
October 2019
Leinberger, Martin
a660c10c-241c-4e0e-8cd1-f03cc8d98bd2
Seifer, Philipp
cf4777a9-262b-4de1-bda4-46e4a989bfbc
Schon, Claudia
168b14b3-9af6-4578-b264-7100764f3ea8
Lämmel, Ralf
88466e78-a512-4c70-ad31-7d50c4006b7f
Staab, Steffen
bf48d51b-bd11-4d58-8e1c-4e6e03b30c49
Leinberger, Martin, Seifer, Philipp, Schon, Claudia, Lämmel, Ralf and Staab, Steffen
(2019)
Type checking program code using SHACL.
Ghidini, Chiara, Hartig, Olaf, Maleshkova, Maria, Svátek, Vojtěch, Cruz, Isabel, Hogan, Aidan, Song, Jie, Lefrançois, Maxime and Gandon, Fabien
(eds.)
In The Semantic Web – ISWC 2019.
vol. 11778,
Springer.
399 pp
.
(doi:10.1007/978-3-030-30793-6_23).
Record type:
Conference or Workshop Item
(Paper)
Abstract
It is a strength of graph-based data formats, like RDF, that they are very flexible with representing data. To avoid run-time errors, program code that processes highly-flexible data representations exhibits the difficulty that it must always include the most general case, in which attributes might be set-valued or possibly not available. The Shapes Constraint Language (SHACL) has been devised to enforce constraints on otherwise random data structures. We present our approach, Type checking using SHACL (TyCuS), for type checking code that queries RDF data graphs validated by a SHACL shape graph. To this end, we derive SHACL shapes from queries and integrate data shapes and query shapes as types into a λ -calculus. We provide the formal underpinnings and a proof of type safety for TyCuS. A programmer can use our method in order to process RDF data with simplified, type checked code that will not encounter run-time errors (with usual exceptions as type checking cannot prevent accessing empty lists).
Text
paper_271
- Accepted Manuscript
More information
Accepted/In Press date: 18 June 2019
e-pub ahead of print date: 17 October 2019
Published date: October 2019
Venue - Dates:
The 18th International Semantic Web Conference: Poster and Demo Track at the 18th International Semantic Web Conference, , Auckland, New Zealand, 2019-10-26 - 2019-10-30
Identifiers
Local EPrints ID: 432256
URI: http://eprints.soton.ac.uk/id/eprint/432256
PURE UUID: 975fbf20-5d18-436d-9ffa-1785a8a69f37
Catalogue record
Date deposited: 05 Jul 2019 16:30
Last modified: 17 Mar 2024 05:14
Export record
Altmetrics
Contributors
Author:
Martin Leinberger
Author:
Philipp Seifer
Author:
Claudia Schon
Author:
Ralf Lämmel
Author:
Steffen Staab
Editor:
Chiara Ghidini
Editor:
Olaf Hartig
Editor:
Maria Maleshkova
Editor:
Vojtěch Svátek
Editor:
Isabel Cruz
Editor:
Aidan Hogan
Editor:
Jie Song
Editor:
Maxime Lefrançois
Editor:
Fabien Gandon
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics