| http://www.w3.org/ns/prov#value | - If all elements are closed, then (5) is void, i.e. nothing is added.} (3) Is the cornerstone of the axiom-set: It defines a predicate ?? that combines blocks and subsets of points, and delivers true when they match the conditions. (3.1) is more technical: any local subset of a pre-geodesic is a pre-geodesic. (3.2) and (3.3) express partially the requirements for Linear Spaces: any point is on some
|
