The University of Southampton
University of Southampton Institutional Repository

SHACL constraints with inference rules

SHACL constraints with inference rules
SHACL constraints with inference rules
The Shapes Constraint Language (SHACL) has been recently introduced as a W3C recommendation to define constraints that can be validated against RDF graphs. Interactions of SHACL with other Semantic Web technologies, such as ontologies or reasoners, is a matter of ongoing research. In this paper we study the interaction of a subset of SHACL with inference rules expressed in datalog. On the one hand, SHACL constraints can be used to define a "schema" for graph datasets. On the other hand, inference rules can lead to the discovery of new facts that do not match the original schema. Given a set of SHACL constraints and a set of datalog rules, we present a method to detect which constraints could be violated by the application of the inference rules on some graph instance of the schema, and update the original schema, i.e, the set of SHACL constraints, in order to capture the new facts that can be inferred. We provide theoretical and experimental results of the various components of our approach.
0302-9743
539-557
Springer
Pareti, Paolo
c4337eaa-f206-4639-afd2-3bcbfe734cdb
Konstantinidis, Georgios
f174fb99-8434-4485-a7e4-bee0fef39b42
Norman, Timothy
663e522f-807c-4569-9201-dc141c8eb50d
Şensoy, Murat
769b0b6a-705b-456a-ab3d-123bca9cc66a
Ghidini, Chiara
Hartig, Olaf
Maleshkova, Maria
Svátek, Vojtech
Cruz, Isabel
Hogan, Aidan
Song, Jie
Lefrançois, Maxime
Gandon, Fabien
Pareti, Paolo
c4337eaa-f206-4639-afd2-3bcbfe734cdb
Konstantinidis, Georgios
f174fb99-8434-4485-a7e4-bee0fef39b42
Norman, Timothy
663e522f-807c-4569-9201-dc141c8eb50d
Şensoy, Murat
769b0b6a-705b-456a-ab3d-123bca9cc66a
Ghidini, Chiara
Hartig, Olaf
Maleshkova, Maria
Svátek, Vojtech
Cruz, Isabel
Hogan, Aidan
Song, Jie
Lefrançois, Maxime
Gandon, Fabien

Pareti, Paolo, Konstantinidis, Georgios, Norman, Timothy and Şensoy, Murat (2019) SHACL constraints with inference rules. Ghidini, Chiara, Hartig, Olaf, Maleshkova, Maria, Svátek, Vojtech, Cruz, Isabel, Hogan, Aidan, Song, Jie, Lefrançois, Maxime and Gandon, Fabien (eds.) In The Semantic Web – ISWC 2019 - 18th International Semantic Web Conference, Proceedings. vol. 11778 LNCS, Springer. pp. 539-557 . (doi:10.1007/978-3-030-30793-6_31).

Record type: Conference or Workshop Item (Paper)

Abstract

The Shapes Constraint Language (SHACL) has been recently introduced as a W3C recommendation to define constraints that can be validated against RDF graphs. Interactions of SHACL with other Semantic Web technologies, such as ontologies or reasoners, is a matter of ongoing research. In this paper we study the interaction of a subset of SHACL with inference rules expressed in datalog. On the one hand, SHACL constraints can be used to define a "schema" for graph datasets. On the other hand, inference rules can lead to the discovery of new facts that do not match the original schema. Given a set of SHACL constraints and a set of datalog rules, we present a method to detect which constraints could be violated by the application of the inference rules on some graph instance of the schema, and update the original schema, i.e, the set of SHACL constraints, in order to capture the new facts that can be inferred. We provide theoretical and experimental results of the various components of our approach.

Text
_Pure_ISWC__SHACL_Constraint_Expansion_with_Inference_Rules - Accepted Manuscript
Download (298kB)

More information

Accepted/In Press date: 3 July 2019
e-pub ahead of print date: 17 October 2019
Published date: 2019
Venue - Dates: The 18th International Semantic Web Conference (ISWC), University of Auckland, Auckland, New Zealand, 2019-10-26 - 2019-10-30

Identifiers

Local EPrints ID: 432306
URI: http://eprints.soton.ac.uk/id/eprint/432306
ISSN: 0302-9743
PURE UUID: 6037b847-9c03-4dc4-ac59-141bfd2403ff
ORCID for Timothy Norman: ORCID iD orcid.org/0000-0002-6387-4034

Catalogue record

Date deposited: 09 Jul 2019 16:30
Last modified: 06 Jun 2024 04:15

Export record

Altmetrics

Contributors

Author: Paolo Pareti
Author: Georgios Konstantinidis
Author: Timothy Norman ORCID iD
Author: Murat Şensoy
Editor: Chiara Ghidini
Editor: Olaf Hartig
Editor: Maria Maleshkova
Editor: Vojtech 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

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.

×