[data-shapes] Pull Request: #222: New (better) definition of node expressions

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

== #222: New (better) definition of node expressions ==
I have revisited my earlier branch and believe this one here is a better starting point for node expressions.

In particular, this definition no longer makes property paths a subset of node expressions but leaves the two concepts separate. However, the values of sh:path can either be property paths or node expressions.

This design means that there is less confusion between node expressions and property path syntaxes:
- IRIs would otherwise either be constant node expressions or serve as IRI property paths
- rdf:Lists would otherwise either be list node expressions or sequence paths.

The node expressions spec should introduce a node expression type [ sh:path XY ] that allows the use of property paths as node expressions, creating a much cleaner design.

This is now a PR, open for review and comments. There are a couple of TODOs that can be addressed later.

Summary of changes:

- Moved non-validating property shape properties to a separate section at the end
- Added a top-level section SHACL Expressions
- Moved definition of property paths into that new section (basically unchanged from 1.0)
- Added sub-section on Node Expressions
- Generalized sh:targetNode to allow Node Expressions instead of just constants
- Generalized sh:path to allow property paths OR node expressions (in that order, to make sure that IRIs and Lists are handled as paths, not node expressions)
- Updated the definition of values nodes for the extended semantics of sh:path

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


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

Received on Tuesday, 25 February 2025 09:22:35 UTC