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

need name for ~ separating iri/BlankNode production and reifier that follows #63

Open
TallTed opened this issue Aug 14, 2024 · 1 comment

Comments

@TallTed
Copy link
Member

TallTed commented Aug 14, 2024

Originally posted by @TallTed and @gkellogg in w3c/rdf-concepts#98 (comment)

[@TallTed] When talking about reifiers in text, we must distinguish between the "optional iri production or BlankNode production" and the tilde that precedes them, because when we later want to talk about the reifier, we will mean only the iri production or the BlankNode production; we will not mean the ~ plus the iri production or BlankNode production.

...And we should distinguish between the angle brackets < > or parentheses ( ) or even just spaces in which we wrap an IRI, and the IRI itself; i.e., <http://example.com/> is not an IRI — it's an < >-wrapped (or < >-delimited) IRI — the IRI is just http://example.com/, around which we often put some (optional!) wrapper (or delimiter) to make it more human-friendly, as it is thus more visibly distinct from the text in which it appears. This is entirely distinct from and unlike the required ~ in triple reification, which is as much (if not more) for the machine as it is for the human, as we have made it a mandatory separator between the object and the reifier.

[@gkellogg] Please consider creating an issue on Turtle for these points. I don't think I agree with your reasoning, as other productions such as IRIREF and LANG_DIR (and many others) include delimiters which are not part of the semantic entity.

@gkellogg
Copy link
Member

There are many places in the grammar where the term coming out of the syntax includes delimiters. I don't see why the tilde in reifier is any different from the @ in LANG_DIR or < > in IRIREF.

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

No branches or pull requests

2 participants