-
Notifications
You must be signed in to change notification settings - Fork 8
Clarify section about triple terms and reification #214
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
Conversation
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I like the direction of the PR.
Co-authored-by: Andy Seaborne <andy@apache.org>
Co-authored-by: Andy Seaborne <andy@apache.org>
I'd like to combine the first two suggestions by @afs and the first by @franconi, and furthermore join the resulting first and second paragraphs into one; resulting in: <p>A <a>triple term</a> is an [=RDF triple=] used as an [=RDF term=]
in another triple. This usage is a reference to a <a>proposition</a>. For this
triple to also be asserted, it must appear in a graph as an <a>asserted
triple</a>. This allows for statements to be made about statements
independent of their assertion within an <a>RDF graph</a>.
</p> |
Co-authored-by: Andy Seaborne <andy@apache.org>
which is a triple denoting a proposition.
I like @niklasl #214 (comment), with one tweak to change |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I consider my first comment (about "IRI and bnode denoting a reifier") as blocking, but the rest should not block merging.
Co-authored-by: Pierre-Antoine Champin <github-100614@champin.net>
Co-authored-by: Pierre-Antoine Champin <github-100614@champin.net>
I've done the updates, and also think this is good to go. (Let's give it some more time for e.g. editorial adjustments; perhaps aim for merge in conjunction with Thursday's meeting.) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Sorry to chime in late with a request for change. I think the ambiguity in my first comment really needs to be fixed. My 2nd comment is more a matter of opinion, but I would like to discuss it.
and not the reifying triple in which it appears. Co-authored-by: Pierre-Antoine Champin <github-100614@champin.net>
Co-authored-by: Ted Thibodeau Jr <tthibodeau@openlinksw.com>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There's always something...
Co-authored-by: Ted Thibodeau Jr <tthibodeau@openlinksw.com>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think I can live with this.
Discussions has indicated that the introduction of triple terms and reification needs some clarification.
Mainly, this proposal:
Explains triple terms as references to propositions, and clarifying that these as references are not asserted.
Replaces the problematic formulation:
and moves the theory of that note to the end of the section (and with it the mention of "contradictory").
Keeps the details about using reifiers in one paragraph of the introduction. That also adds the notion of "triple annotation" alongside "reifying triple", and relates to both in the comment about concrete syntaxes, and from the diagrams.
Puts the comment about concrete syntaxes in a distinct paragraph preceding the diagrams.
Finally, it:
Preview | Diff