[data-shapes] Support marker for transitive properties (for inference and display purposes) (#454)

HolgerKnublauch has just created a new issue for https://github.com/w3c/data-shapes:

== Support marker for transitive properties (for inference and display purposes) ==
It would be good to introduce a boolean property sh:transitive that can be applied to sh:PropertyShapes.

For example, skos:broader and rdfs:subClassOf could be marked transitive.

Inference engines could use this generically to determine whether the intermediate (indirect) triples should be inferred.

Display engines can use this info to decide whether values should be rendered in a tree hierarchy.

I am sure there are more use cases.

There is owl:TransitiveProperty but that's a global flag, and it would require using a different namespace and with different semantics than sh:transitive.

As this is shared across multiple use cases, it may make sense to add this to Core similar to properties like sh:order and sh:group.

Please view or discuss this issue at https://github.com/w3c/data-shapes/issues/454 using your GitHub account


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

Received on Wednesday, 30 July 2025 06:46:11 UTC