Add sets of Existential (SomeValuesFrom) restrictions along a given property (or properties) to a number of classes easily using a matrix.
Closure can be managed for all properties chosen in the matrix - ie a closure axiom will be created if none exists or updated if one can be found that matches the original fillers.
A closure axiom is in the form of a Universal (AllValuesFrom) restriction that acts along the given property. It has a filler of the union of all the Existential restriction fillers along the same property.