A Mechanism for Verification of Knowledge Base Scheme Specifications