> Claude calls this "pattern containment" or "query subsumption".
Ask Claude what it thinks these terms mean.
Seems like "will pattern T1, return a superset of the triples returned
by T2". i.e variable names don't matter but they must be consistently
used if they occur more than once.
Andy
On 05/03/2026 23:53, Justin Dowdy wrote:
It seems like one query is "isomorphic" to another query if and only if
they produce the same bindings when evaluated against all possible data
sets.
If you want to do this in the general case you might need a way to simulate
all possible data sets then evaluate the queries against them, right?
On Thu, Mar 5, 2026, 2:37 PM Martynas Jusevičius <[email protected]>
wrote:
Hi,
What would be the way to check programatically using Jena that
{ <http://localhost/> rdf:type ?x }
is a substitution of a binding (?s = <http://localhost/>) or VALUES (?s)
{ <
http://localhost/> }
on
{ ?s rdf:type ?type }
but
{ <http://localhost/> another:property ?x }
is not?
Basically check if a query is "isomorphic" to a given query template?
Claude calls this "pattern containment" or "query subsumption".
Martynas
