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.

Sign up for GitHub

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

Jump to bottom

IRI builtin that turns a string into an IRI #570

Closed
mmarx opened this issue Dec 14, 2024 · 0 comments · Fixed by #589
Closed

IRI builtin that turns a string into an IRI #570

mmarx opened this issue Dec 14, 2024 · 0 comments · Fixed by #589
Labels
builtins Issue related to built-in functions

Comments

@mmarx
Copy link
Member

mmarx commented Dec 14, 2024 •
edited
Loading

A builtin that turns IRI("https://example.org") into <https://example.org>.

It turns out this is not actually required for #569, since resource takes a string, not an iri, but it could still be useful to have.
@mmarx mmarx mentioned this issue Dec 14, 2024
Closed
5 tasks
@github-project-automation github-project-automation bot moved this to Todo in nemo Dec 14, 2024
@mmarx mmarx added the builtins Issue related to built-in functions label Dec 14, 2024
@aannleax aannleax mentioned this issue Jan 13, 2025
Merged
@github-project-automation github-project-automation bot moved this from Todo to Done in nemo Jan 13, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
builtins Issue related to built-in functions
Projects
nemo
Archived in project
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Feature/570 builtin iri knowsys/nemo
1 participant
@mmarx