PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • [previous comment continued] I understand that the current system of dimensional analysis is not able to weed out such invalid equations, so my question is whether there is an extension that does capture the fact that laws have to be independent of whatever point we call zero, or whatever angle, and other symmetries.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com