Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Adding w3id context #36

Merged
merged 3 commits into from
Feb 21, 2023
Merged

Adding w3id context #36

merged 3 commits into from
Feb 21, 2023

Conversation

cmungall
Copy link
Member

@cmungall cmungall commented Dec 19, 2022

Add a w3id context.

This is obtained by simply scraping the list of directories at the top level of https://github.com/perma-id/w3id.org/

There is undoubtedly some junk in there, so this context is designed to be merged near the end of a list of more trusted sources, for completeness. However, it is at least guaranteed to never give an incorrect mapping from URI to CURIE. We may want to consider more advanced prioritization in merging rules, such that one sources can be trusted more in one direction than another.

Note this currently doesn't check to ensure the prefix is a valid NCName, but we already relax this constraint, and for now we trust the w3id.org maintainers not to add oddities.

@cmungall cmungall requested a review from cthoyt December 19, 2022 16:52
@cmungall cmungall merged commit 862cf35 into main Feb 21, 2023
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