http://www.w3.org/ns/prov#value | - Bird & co call this the labelled variant of the original datatype; if the original is a polymorphic datatype for some binary shape functor , then the labelled variant is where ???whatever labels may or may not have specified are ignored, and precisely one label per node is provided.
|