The University of Southampton
University of Southampton Institutional Repository

Type checking program code using SHACL

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).
Springer
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
Ghidini, Chiara
Hartig, Olaf
Maleshkova, Maria
Svátek, Vojtěch
Cruz, Isabel
Hogan, Aidan
Song, Jie
Lefrançois, Maxime
Gandon, Fabien
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
Ghidini, Chiara
Hartig, Olaf
Maleshkova, Maria
Svátek, Vojtěch
Cruz, Isabel
Hogan, Aidan
Song, Jie
Lefrançois, Maxime
Gandon, Fabien

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
Restricted to Repository staff only until 17 October 2020.
Request a copy

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, 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
ORCID for Steffen Staab: ORCID iD orcid.org/0000-0002-0780-4154

Catalogue record

Date deposited: 05 Jul 2019 16:30
Last modified: 27 Jan 2020 13:48

Export record

Altmetrics

Contributors

Author: Martin Leinberger
Author: Philipp Seifer
Author: Claudia Schon
Author: Ralf Lämmel
Author: Steffen Staab ORCID iD
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

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×