On separability of ontological constraints