PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • perhaps some thing is missing in your question? assume that G=H act on a set with only one fixed point. then the left side of your equality is a single point while the right side is the whole set!
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net