http://www.w3.org/ns/prov#value | - Before you say that this only applies to dynamically-typed languages, even some langauges that we think of being statically-typed, such as C++ and Java, have runtime type dispatch, for example in the implementation of virtual methods, and thus they can benefit from runtime type feedback.
|