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

RDF term equality definitions #154

Open
afs opened this issue Feb 5, 2025 · 3 comments · May be fixed by #161
Open

RDF term equality definitions #154

afs opened this issue Feb 5, 2025 · 3 comments · May be fixed by #161

Comments

@afs
Copy link
Contributor

afs commented Feb 5, 2025

There are definitions for IRI equality and literal term equality.

There aren't definitions for "blank node equality", "triple term equality" or a general "RDF term equality".

Would it be useful to add these?

SPARQL needs definitions for term equality in sameTerm and other places.

SPARQL 1.1 has it's own definition, and while this could updated to referring to RDF Concepts for IRI and literals and otherwise keeping the current text, if RDF Concepts has "RDF term equality", SPARQL 1.2 ought to use that.
@afs afs mentioned this issue Feb 5, 2025
Open
@domel
Copy link
Contributor

domel commented Feb 5, 2025

I am not sure about "blank node equality," but I will definitely go with "triple term equality."

@afs
Copy link
Contributor Author

afs commented Feb 6, 2025

"blank node equality" is "same object" i.e. identity in the set of all blank nodes

I think it's implicitly there, just there isn't a reference.

"the set of possible blank nodes is arbitrary." sets are defined by elements identity.

They are arguments to mappings in https://www.w3.org/TR/rdf12-semantics/

@afs afs mentioned this issue Feb 13, 2025
Closed
@hartig
Copy link
Contributor

hartig commented Feb 18, 2025

I can see that a more explicit definition of "RDF term equality" may be useful for providing a more explicit definition of sameTerm in SPARQL, and for the sake of consistency between the RDF-Concepts sections about the different kinds of RDF terms, I am also fine with adding explicit definitions of "blank node equality" and of "triple term equality."

I was about to start working on a PR for it, but then I realized that this would conflict with the changes in PR #158 (which, apparently, removes the whole 'Triple Terms' subsection; currently, Sec.3.5). So, let's with the PR until #158 is merged.

@afs afs mentioned this issue Feb 18, 2025
Merged
@hartig hartig linked a pull request Feb 25, 2025 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Adds RDF term equality definitions w3c/rdf-concepts
3 participants
@afs @domel @hartig