PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • If E is a set and U an open ball, then>what does EU mean?My immediate guess (without bothering to look at the actual paper) is that it is the old notation (i.e., juxtaposition) for "set product, the old phrase for intersection.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org