PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • While this is unlikely to help with your question, what you are asking is a special case of computing the upward closure of elements in a lattice, and I wonder if there are results from there that might be useful.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com