Preprint
Aug 2026
Rewrite Once, Validate Anywhere: Producing OWL-Aware SHACL Constraints (Extended Version)
This work constructs a rewriting which takes as input both shapes and an OWL EL$^-$ ontology -- a fragment of OWL EL restricting the usage of existential restrictions -- and produces SHACL constraints, providing a powerful tool which simplifies combining reasoning with validation.
Anouk Oudshoorn, Piotr Gorczyca, D. Arndt
· 0 citations