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

RDF term equality definitions #154

Open
afs opened this issue Feb 5, 2025 · 2 comments
Open

RDF term equality definitions #154

afs opened this issue Feb 5, 2025 · 2 comments

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.

@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/

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