PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Then you should be able to determine the $n$'th partial sum of this series explicitly, and easily evaluate the sum (these types of series will be called telescopic in your textbook, for obvious reasons).
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com