PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • For the case when the base is a field, you should also include the generalization when the ???curve??? is only assumed to be an algebraic space. (This special case is already useful when setting up etale cohomology for algebraic spaces, by adapting the proofs given for schemes.) And roughly what do you have in mind for ???linear algebraic groups????
http://www.w3.org/ns/prov#wasQuotedFrom
  • columbia.edu