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.
539-557
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
2019
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
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.
.
(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
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
Catalogue record
Date deposited: 09 Jul 2019 16:30
Last modified: 16 Mar 2024 07:59
Export record
Altmetrics
Contributors
Author:
Paolo Pareti
Author:
Georgios Konstantinidis
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
