[data-shapes] Pull Request: Guidance for possible import closure incompatibility due owl:versionIRI

mgberg has just submitted a new pull request for https://github.com/w3c/data-shapes:

== Guidance for possible import closure incompatibility due owl:versionIRI ==
<!--
# Pull request instructions
(Note that text between the HTML comments will be recorded in this pull request's source for future editing, but will not render on Github.  Text is suggested with portions needing substitution enclosed in curly braces.  The curly braces also need to be removed when substituting.)

Please use "Closing keywords" for the associated Issue if this PR should close the Issue once merged.
https://docs.github.com/en/issues/tracking-your-work-with-issues/using-issues/linking-a-pull-request-to-an-issue#linking-a-pull-request-to-an-issue-using-a-keyword

If this PR edits a document, please consider including a "Live render."  The non-comment template text suggests one mechanism.  If including the link line(s), please test-load the link(s) while drafting the PR.
-->

[See this document rendered online here](https://raw.githack.com/w3c/data-shapes/owl-versionIRI-guidance/shacl12-core/index.html)

Now that `owl:versionIRI` support has been added for shapes graph imports, it was proposed that the spec should address potential incompatibilities that can arise in the import closure. The [OWL 2 Imports specification](https://www.w3.org/TR/owl2-syntax/#Imports) defines constraints on import closures, specifically around conflicting versions and `owl:incompatibleWith` declarations. This is added as part of checking whether the shapes graph is "well-formed", which currently is not strictly required by the spec. Furthermore, the proposed checks are farily simple to perform on the shapes graph after closure is complete so the implementation overhead should not be significant.

This PR includes the following specific changes:


### 1. Expanded well-formed shapes graph definition

Restructured the well-formed/ill-formed definitions so that a shapes graph is well-formed if:
1. It contains no ill-formed nodes (the prior definition of a well-formed shapes graph), AND
2. Its import closure satisfies the constraints defined by OWL 2, namely that no two shapes graphs that are different versions of the same series or where one declares `owl:incompatibleWith` the other.

### 2. Informative note in the Shapes Graph section

Added a note near the `owl:versionIRI` import example warning that versioned imports may introduce incompatibilities.

### 3. Simplified `sh:shapesGraphWellFormed` description

Updated the description to defer to the `well-formed` definition rather than only referencing the syntax rules appendix.


See https://github.com/w3c/data-shapes/pull/876


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Thursday, 30 April 2026 16:40:16 UTC