Skip to content

Add the Iri content type#18

Merged
vaitkus merged 1 commit intoCOMCIFS:mainfrom
vaitkus:add-iri-type-contents
Feb 26, 2026
Merged

Add the Iri content type#18
vaitkus merged 1 commit intoCOMCIFS:mainfrom
vaitkus:add-iri-type-contents

Conversation

@vaitkus
Copy link
Collaborator

@vaitkus vaitkus commented Feb 23, 2026

Closes issue #17.

For now, I opted for a more restrictive definition allows only full IRIs and not relative IRIs. Alternatively, we could phrase it in the same way as the URI definition to allow both full and relative IRIs (identifier vs. identifier reference), however, I am unsure if this is currently needed.

@vaitkus vaitkus linked an issue Feb 23, 2026 that may be closed by this pull request
@vaitkus vaitkus force-pushed the add-iri-type-contents branch from 5ebc951 to 289a985 Compare February 24, 2026 08:43
@vaitkus
Copy link
Collaborator Author

vaitkus commented Feb 24, 2026

Since we are happy with the proposed definition, I will preemptively add this new content type to the validator and then merge this PR.

@vaitkus vaitkus force-pushed the add-iri-type-contents branch from 289a985 to 29a8099 Compare February 25, 2026 12:05
@vaitkus vaitkus merged commit 966e464 into COMCIFS:main Feb 26, 2026
5 of 6 checks passed
@vaitkus vaitkus deleted the add-iri-type-contents branch February 26, 2026 08:43
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.

Introduce the Iri content type

2 participants