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

the term identity comparison must be defined for triple terms #144

Open
lisp opened this issue Jan 21, 2025 · 3 comments
Open

the term identity comparison must be defined for triple terms #144

lisp opened this issue Jan 21, 2025 · 3 comments

Comments

@lisp
Copy link

lisp commented Jan 21, 2025

the sparql 1.2 document delegates to this one for a query processor's definition of term equality.
the sections in this document for iri and literals include the expected definitions.
that definition is missing from the section on triple terms (https://www.w3.org/TR/rdf12-concepts/#section-triple-terms).

@franconi
Copy link

Identity for IRIs and literals is defined from a pure syntactic point of view, e.g.:
IRI equality: Two IRIs are the same if and only if they consist of the same sequence of Unicode code points
I'd say that term equality between triple terms is defined by the notion of graph isomorphism recasted for triple terms.

@franconi
Copy link

...and the notion of graph equality (also based on graph isomorphism) should consider the SAME mapping M used for establishing triple term equality.

@pfps
Copy link
Contributor

pfps commented Jan 22, 2025

I'd say that term equality between triple terms is defined by the notion of graph isomorphism recasted for triple terms.

Except that it is easer, because there is no choice involved.

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

3 participants