3.9: Ontology Verification

Verify its valid use, also at iteration PI

Work in progress, not part of 1.0 version of the handbook