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.
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
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. In SHACL Constraints with Inference Rules. Springer. 17 pp .

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

e-pub ahead of print date: 3 July 2019
Venue - Dates: The 18th International Semantic Web Conference (ISWC), Auckland, New Zealand, 2019-10-26 - 2019-10-30

Identifiers

Local EPrints ID: 432306
URI: https://eprints.soton.ac.uk/id/eprint/432306
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: 10 Jul 2019 00:29

Export record

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 https://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.

×