PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In other words, two non-active-state saturation counter values (N and M) may be implied, where N is a positive integer and represents a minimal value enabling transition to the requested target power-state, and M is a positive integer greater than or equal to N, and represents the value at which the counter may saturate as it is being incremented.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com