Time Ontology in SHACL

This repository contains the SHACL shapes (SHACLshapesTimeOntology.shacl) and SHACL-SPARQL rules (SHACLrulesTimeOntology.shacl) introduced and described in the paper "On the interplay between validation and inference in SHACL: an investigation on the Time Ontology", submitted to the Semantic Web Journal.

The shapes and rules were designed based on the version of the Time Ontology retrieved on September 10, 2025. Future updates to the Time Ontology may not be fully compatible with the implementation provided here.

The following Java file is provided to execute the SHACL shapes and SHACL-SPARQL rules on time-ontology-retrieved-10.09.2025.ttl:

• InferAndValidateThroughSHACL.java — executes the shapes and rules on the file specified as a parameter and prints the validation results.

The Java files can be compiled and run on Windows using the scripts compile.bat and run.bat, respectively. You can modify run.bat to change the input parameter for InferAndValidateThroughSHACL. Users are encouraged to experiment with the validation framework to explore and better understand its functionality.