PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • F_N[ ][ ] associates an integer value to each pair (p,A) where p is a condition node in G and A is an attribute node in G. F_N[p][A]=0 indicates that the attribute A is false-necessary for the condition node p.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com