Published February 6, 2026 | Version paper_v2
Software Open

paolo7/SHACL2FOL: SHACL Validation under Graph Updates v2

Authors/Creators

  • 1. University of Southampton

Description

This is an updated version of the code presented in the the paper Shqiponja Ahmetaj, George Konstantinidis, Magdalena Ortiz, Paolo Pareti and Mantas Šimkus. SHACL Validation under Graph Updates. International Semantic Web Conference (2025), extended to include support for variables.

Please see https://github.com/paolo7/SHACL2FOL/ for the latest updates and bugfixes.

Files

paolo7/SHACL2FOL-paper_v2.zip

Files (33.5 MB)

Name Size Download all
md5:0fe03ddd979081a66a2af3e0dadc73c2
33.5 MB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/paolo7/SHACL2FOL/tree/paper_v2 (URL)

Software

Repository URL
https://github.com/paolo7/SHACL2FOL