I've attempted to put into the single system all types of formal verification I can think for ISO 15926 related ontologies, reference and project data. See the file attached.
In my opinion the most important level today is pattern definition verification. But it is impossible to fully implement it without preceding levels, as I've tried to explain.
Hope this systematisation will be useful to some. I'll myself use it as a roadmap for the development of verification functionality in my tools. Aspects which we've in some ways already supported or implemented are highlighted grey in the file.