Skip to content

Update relationship for mentions - #446

Merged
cthoyt merged 1 commit into
mainfrom
update-mentions
Oct 10, 2025
Merged

Update relationship for mentions#446
cthoyt merged 1 commit into
mainfrom
update-mentions

Conversation

@cthoyt

@cthoyt cthoyt commented Oct 10, 2025

Copy link
Copy Markdown
Member

Reuse MITO for relating a term to a document that mentions it. Replace the ad-hoc RO relation I made up

@cthoyt
cthoyt merged commit 477adb8 into main Oct 10, 2025
10 checks passed
@cthoyt
cthoyt deleted the update-mentions branch October 10, 2025 12:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant