PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Also, because Q is a dense subset of R and U is open, any x in U is an element of I_q for some q in V (consider an open ball around x, and a rational number q within that ball), so we conclude that the union of all I_q equals U.
http://www.w3.org/ns/prov#wasQuotedFrom
  • wordpress.com