http://www.w3.org/ns/prov#value | - (b') if ?? is true at t, then t is a period and there is a maximal period p(t is a subset of p) such that ?? is true at p and there are minimal subperiods of p where ?? is true and for all subperiods p' of p ?? is true means that there is at least a minimal subperiod p'' of p' at which ?? is true
|