Rewriting OWL Ontologies into SHACL Constraints for Efficient Validation
A new paper on arXiv (2608.14104) proposes a method to internalize OWL axioms into SHACL constraints, allowing validation of RDF graphs with OWL ontologies using any SHACL core validator. The approach targets OWL EL^- ontologies, a fragment of OWL EL, and constructs a rewriting that produces SHACL constraints equivalent to the original shapes and ontology. This eliminates the need for separate reasoning and validation steps, improving efficiency and reducing errors. The paper is an extended version and is available on arXiv.
Key facts
- The paper is titled 'Rewrite Once, Validate Anywhere: Producing OWL-Aware SHACL Constraints (Extended Version)'.
- It is available on arXiv with ID 2608.14104.
- The paper addresses the challenge of validating RDF graphs that come with OWL ontologies.
- It proposes a rewriting that internalizes OWL axioms into SHACL constraints.
- The rewriting works for OWL EL^- ontologies, a fragment of OWL EL.
- The resulting SHACL constraints can be evaluated by any validator supporting SHACL core.
- This approach avoids the need for separate reasoning and validation steps.
- The paper is classified as a cross announcement on arXiv.
Entities
Institutions
- W3C
- arXiv