On the interplay between validation and inference in SHACL - an investigation on the Time Ontology

Tracking #: 3704-4918

This paper is currently under review
Livio Robaldo
Sotiris Batsakis

Responsible editor: 
Katja Hose

Submission type: 
Full Paper
This paper presents a novel framework to validate the Time Ontology (a.k.a. OWL Time, https://www.w3.org/TR/ owl-time), which is currently a W3C candidate recommendation draft for representing temporal data in the Semantic Web. The framework is based on SHACL shapes and SHACL-SPARQL rules. These are used together to invalidate knowledge graphs that OWL is unable to identify as such due to its lack of expressivity, specifically its lack of operators to compare and work with temporal data. Besides providing a useful tool to process temporal data encoded in RDF within applications, our research work also sheds some light on how using SHACL shapes and SHACL-SPARQL rules together, in order to capture the proper interplay between validation and inference on knowledge graphs. The SHACL shapes and the SHACL-SPARQL rules that define the proposed framework are freely available on the GitHub repository https://github.com/liviorobaldo/TimeOntologyInSHACL, together with Java programs and clear instructions to process them.
Full PDF Version: 
Under Review