Knowledge verification refers to the process of making sure that the knowledge shared between knowledge bases of two parties is correctly understood on both sides. Domain ontologies developed out of a foundation ontology have a potential to improve the knowledge verification methods. This can be done by following concepts in domain ontologies to their origin and constituent conceptualisations in the foundation ontology. This is possible when matching ontologies belonging to two different domains but developed out of a single foundation ontology. Along with the concepts, a prescribed way of using these concepts by domain ontology builders also needs to be included in the foundation ontology. This prescribed way can exist in the form of an ontology of constraints which governs and shapes the building of domain ontologies according to the needs of the verification system and thus makes them more interoperable.