PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • How about this for postcondition syntax: def foo(a): assert a > 0 #etc... finally (result): assert result > 0... although actually, I think that only some small subset of this proposal should be implemented: as it stands the proposal is a major change to the overall feel of python
http://www.w3.org/ns/prov#wasQuotedFrom
  • artima.com