PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In Sadeq's answer, the question is interpreted as given an instance, output the answer on that instance if it is in the partition, otherwise reject, if the problem is a decision problem, this becomes decide the partition.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com