PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Of course, a partial order is a relation on a set (in this case, I think it would be the theoretical universal set U s.t. all sets $A \in U$), which is reflexive, antisymmetric and transitive.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com