PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Another example (Serre) is to take a nonsingular affine variety of dimension 1 and consider the ring of globally regular functions ; the localizations at closed points are DVRs, so the ring is a Dedekind domain.
http://www.w3.org/ns/prov#wasQuotedFrom
  • wordpress.com