PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Similarly, a strategy for Player II is a rule that tells him what countable subset of $X$ to choose on turn $n$ based on the previous moves in the game, and it???s a winning strategy if Player II is guaranteed to win when he plays according to that rule.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com