Isomorphic query patterns

[Martynas Jusevičius]

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