Skip to content

Conversation

@ColinHDev
Copy link
Member

Summary of the discussion

As discussed in #2106, some characteristics of some RO properties weren't correctly imported:

  • causally upstream of or within should be defined as the inverse of causally downstream of or within
  • Both should be flagged as "transitive"

Type of change (CHANGELOG.md)

Update

  • causally upstream of or within
    • flagged as transitive
    • defined as the inverse of causally downstream of or within
  • causally downstream of or within
    • flagged as transitive

Workflow checklist

Automation

Closes #2106

PR-Assignee

Reviewer

  • 🐙 Follow the Reviewer Guide
  • 🐙 Provided feedback and show sufficient appreciation for the work done

@stap-m stap-m added this to Issues Jul 12, 2025
@github-project-automation github-project-automation bot moved this to Review in progress in Issues Jul 12, 2025
@ColinHDev ColinHDev requested a review from stap-m July 12, 2025 13:34
@ColinHDev
Copy link
Member Author

Should this small change also be mentioned in the changelog and term tracker annotation?

@stap-m
Copy link
Contributor

stap-m commented Jul 22, 2025

Yes please.

@ColinHDev
Copy link
Member Author

Yes please.

Done!

@github-project-automation github-project-automation bot moved this from Review in progress to Reviewer approved in Issues Sep 15, 2025
@stap-m stap-m merged commit ec89336 into dev Sep 25, 2025
3 checks passed
@github-project-automation github-project-automation bot moved this from Reviewer approved to Done in Issues Sep 25, 2025
@stap-m stap-m deleted the feature-2106-missing_ro_property_characteristics branch September 25, 2025 08:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Missing characteristics of causally upstream of or within and causally downstream of or within

4 participants