PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • If the function were a Morse function (in particular, smooth) this would follow from Morse theory???maybe that is enough for your? (Could the level sets not be path connected in your situation?)
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net